[plt-dev] Inexact integers

On Tue, May 25, 2010 at 12:31 AM, Michael Sperber
<sperber at deinprogramm.de> wrote:
>
> Well, but the decision to have (integer? -17.0) => #t is rooted in the
> design of the numerical tower.  In particular, I would think it has
> implications for:
>
> (= -17.0 -17) => ?
> (rational? -17.0) => ?

I don't see why. For example:

> (exact? 17.5)
#f
> (= (/ 35 2) 17.5)
#t
> (rational? pi)
#t

Right now, all real? numbers are rational, and all inexact numbers k
are `=' to (inexact->exact k).  I don't see what that has to do with
integers in particular.
-- 
sam th
samth at ccs.neu.edu