Changes between Version 18 and Version 19 of FlonumsCowan
 Timestamp:
 09/14/16 16:54:37 (8 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

FlonumsCowan
v18 v19 1 1 == Abstract == 2 2 3 ''Flonums'' are a subset of the inexact real numbers provided by a Scheme implementation. In most Schemes, the flonums and the inexact reals are the same. It is required that if two flonums are equal in the sense of `=`, they are also equal in the sense of `eqv?`. That is, if 12.0f0 is a 32bit inexact number, and 12.0 is a 64bit inexact number, they cannot both be flonums. In this situation, it is recommended that the 64bit numbers be flonums.3 ''Flonums'' are a subset of the inexact real numbers provided by a Scheme implementation. In most Schemes, the flonums and the inexact reals are the same. 4 4 5 5 == Rationale == … … 10 10 11 11 == Specification == 12 13 It is required that if two flonums are equal in the sense of `=`, they are also equal in the sense of `eqv?`. That is, if 12.0f0 is a 32bit inexact number, and 12.0 is a 64bit inexact number, they cannot both be flonums. In this situation, it is recommended that the 64bit numbers be flonums. 12 14 13 15 Flonum operations must be at least as accurate as their generic counterparts applied to flonum arguments. It is an error, except as otherwise noted, for an argument not to be a flonum. In some cases, operations should be more accurate than their naive generic expansions because they have a smaller total roundoff error. If the generic result is a nonreal number, the result is `+nan.0` if the implementation supports that number, or an arbitrary flonum if not.