[r6rs-discuss] Confusion over |p

From: Michael Sperber <sperber>
Date: Thu, 28 Jun 2007 07:37:41 +0200

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
Received on Thu Jun 28 2007 - 01:37:41 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC