Re: new module 'isfinite'

[Eric Blake]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

According to Bruno Haible on 10/24/2007 4:51 AM:
> Hi Ben,
> 
> Paul Eggert wrote:
>>>         * Is it acceptable for isfinite to raise an exception on
>>>           a signaling NaN?
>> Yes.
> 
> I disagree. We know what the relevant standards say: [1]
> Also there is the issue with numbers outside the IEEE spec: [2]
> Since this is a classification function, IMO it must not raise an exception,
> since this function is often used like this:

FWIW, I agree with Bruno - the classification macros (fpclassify,
isfinite, isnan, isinf, isnormal, signbit) and comparison macros
(isgreater, isgreaterequal, isless, islessequal, islessgreater,
isunordered) must not fail on signalling NaNs, and should return
reasonable results (most likely, treat the argument as NaN) for bit
patterns that are invalid.

- --
Don't work too hard, make some time for fun as well!

Eric Blake             address@hidden
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Cygwin)
Comment: Public key at home.comcast.net/~ericblake/eblake.gpg
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFHHznw84KuGfSFAYARAu6VAKCFf76Uju8CrNN/ndpF7KlbvOUzGACgwloW
8zOjt7N/NQYo8DgGJ0ef+OM=
=yg1U
-----END PGP SIGNATURE-----