# [plt-dev] Inexact integers

Sam Tobin-Hochstadt <samth at ccs.neu.edu> writes:
>* On Mon, May 24, 2010 at 11:51 PM, Michael Sperber
*>* <sperber at deinprogramm.de> wrote:
*>>*
*>>* Sam Tobin-Hochstadt <samth at ccs.neu.edu> writes:
*>>*
*>>>* but it seems entirely orthogonal to the idea of getting rid of inexect
*>>>* integers.
*>>*
*>>* How so?
*>*
*>* The concept of inexact integers is just a decision about what the
*>* `integer?' predicate produces for values such as -17.0. It says
*>* nothing about whether there should be inexact numbers in general, or
*>* generic arithmetic operations, or any of the other issues your paper
*>* discusses.
*
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