William D Clinger <will at ccs.neu.edu> writes:
> If x is an external representation of an inexact
> real number object that contains no vertical bar, it
> should be treated as if specified with a mantissa
> width of 53.
>
> If x is an external representation of an inexact
> real number object and contains no vertical bar and
> no exponent marker other than e, the inexact real
> number object it represents is a flonum (see library
> section on "Flonums"). Some or all of the other
> external representations of inexact real number
> objects may also represent flonums, but that is not
> required by this report.
>
> That means 1.0 "should" be treated the same as 1.0|53,
> which means 1.0 is not necessarily a flonum. It would
> appear that, in the R5.96RS draft, there is no portable
> way for a programmer to write 1.0 as a flonum.
I don't think it says that. First of all, the first paragraph is a
"should" wherease the second paragraph contains no qualification. So I
would think the second quoted paragraph trumps the first. Moreover,
"treated as if specified with a mantissa width of 53" is not the same as
"1.0 is synonymous 1.0|53", at least by my understanding. I'm reluctant
to make more than minimal changes to the wording, and thus relucant to
delete the first paragraph. Can you suggest something that makes it
clearer that doesn't risk changing the substance?
--
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Sat Jun 30 2007 - 11:41:37 UTC