@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.");
}
}