[plt-dev] Inexact integers

What you're pointing out with these obvious claims is that the  
proposal deserves some deliberation.

(I do sometimes wonder whether we should parameterize the language  
over the numeric tower. It is my understanding that the tower  
consumers a large amount of 'footprint' and I bet there are  
applications where machine integers are just enough. But that's just a  
dream probably.)




On May 25, 2010, at 3:31 AM, Michael Sperber 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) => ?
>
> etc.
>
> -- 
> Cheers =8-} Mike
> Friede, Völkerverständigung und überhaupt blabla
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev