[r6rs-discuss] The definition of flonum is in the wrong place
Paul Schlie
schlie at comcast.net
Sun Oct 8 18:27:33 EDT 2006
> Marcin 'Qrczak' Kowalczyk wrote:
>> Paul Schlie wrote:
>> [although the draft is seemingly silent on (fl<= +nan.0 +inf.0)]
>
> IEEE arithmetic says #f, and I consider bropken any language which
> tries to do otherwise.
then presumably scheme is broken defining:
(fl= +nan.0 +nan.0) => #f ; being that ieee defines it as #t
or
(flexpt -1.0 +inf.0) => NaN (hopefully); as ieee defines it as oddly 1.0
among a few of ieee oddities which scheme need/should not conform to; as
ieee 754 is more a result of political compromise based on then current
historical implementations, than mathematical consistency; and need not
be viewed as anything more sacred than this. (in my opinion)
More information about the r6rs-discuss
mailing list