24252627282930
class RealToken extends Fun { public RealToken(double i) { super("realToken", new Real(i)); }
5556575859606162636465
{ T = new Int((long) r); } else { T = new Real(r); } } catch (NumberFormatException e) {} }
9899100101102103104105
default: IO.errmes("bad arithmetic operation <" + op + "> on " + x + " and " + y); return 0; } Num R = Math.floor(r) == r ? (Num) new Int((long) r) : (Num) new Real(r); return putArg(3, R, p); }