floor() function and mathematical integers

[Harald Hanche-Olsen]

+ "Tim Peters" <tim.one at home.com>:

| Indeed, I don't know of any language that defines floor() in any
| other way.

Oh, but Common Lisp does it differently:

* (expt 2.0 60)

1.1529215e+18
* (floor (expt 2.0 60))

1152921504606846976
0.0

(The second result (0.0) is the remainder.)  But CL also has ffloor,
which behaves more like python's (and C's) floor.

-- 
* Harald Hanche-Olsen     <URL:http://www.math.ntnu.no/~hanche/>
- Yes it works in practice - but does it work in theory?