[r6rs-discuss] Confusion over |p
sperber at informatik.uni-tuebingen.de
Thu Jun 28 01:37:41 EDT 2007
Alan Watson <alan at alan-watson.org> writes:
> Supposed an implementation uses IEEE double-precision numbers for all
> inexact reals. What should the implementation do when presented with
> 1.1|24? I can think of at least three reasonable options:
> (a) Find the IEEE double-precision number that is closest to 1.1. That
> is, treat it as 1.1|53.
> (b) Find the binary floating-point number with 24 bits of precision that
> is closest to 1.1 and represent this as an IEEE double-precision number.
> That is, perform a correctly-rounded conversion to 24-bits of precision.
> (c) Find the IEEE double-precision number that is closest to 1.1, round
> the result to 24 bits of precision, and represent the result as an IEEE
> double-precision number. That is, potentially, perform double rounding.
I believe it requires (b). I can't find any ambiguous wording on the
subject--if you think it's ambiguous, please let me know where exactly
so I can fix it.
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
More information about the r6rs-discuss