// TODO(bob): Need to support non-ints!
@Def("(is File) writeDouble(is Int)")
@Doc("Writes the given number to this File.")
public static class WriteDouble implements Intrinsic {
public Obj invoke(Context context, Obj left, Obj right) {
FileWriter writer = (FileWriter)left.getValue();
try {
writer.writeDouble(right.asInt());
return right;
} catch (IOException e) {
throw context.error("IOError", "Could not write.");
}
}