Re: Numeric Semantics

[Mark J. Reed]

I believe mod should be defined in the conventional way: x mod y = x -
floor(x/y) * y, which does yield 0.8 for 3.2 mod 2.4.  However, for
3.2 mod - 2.4 it yields -1.6.  To get 0.8 you would have to round
toward zero instead of taking the floor, and that complicates any
computation that crosses zero.