IEEE 754 should be IEEE 854;  give precise reference for
comparisons involving NaNs.
1 file changed