Why are are so many float/double values reserved for NaN?

1
votes

Just another one of those things in programming that have been bothering me a lot.

My Problem

So I have been toying around with this IEEE-754 Floating Point Converter for a while now and I found that, when the exponent is set to its maximum value, a mantissa value of zero will result in positive or negative Infinity (depending on what the sign is set to), and all non-zero mantissa values will result in NaN (aka Not a Number).

However, is there any specific reason for there being so many NaN values? Honestly, it just looks like an unnecessary waste of range to me. I get why NaN exists, but it's just a singular value and I've never seen a differentiation between "different kinds" of NaN anywhere.

My Idea

How about this: If both the exponent and the mantissa are at their maximum values, treat the value as Infinity (whether positive or negative still depends on the sign). This would get rid of the NaN values and almost double the range of the float and double types.

But now, where do we put the NaN value? Well, there is one other thing in IEEE-754 Floating Point types that can be achieved by different values: Zero. There is +0 and -0. They are always treated the same way, so why not discard -0 and consider that to be NaN? Of course, that would require the processor to always remove the sign whenever something results in 0, but I think that would make close to no difference in performance.

I know the standard will most likely not change anytime soon, but is there any specific reason why this system wouldn't be better? And to come back to the original question: Is there a reason for such a large chunk of values to be considered NaN?

1
floating-pointnanieee-754
-0 and +0 are used to differentiate various things like n/-0.0 and n/+0.0 which are -inf and +inf respectively. Negative denormals will become -0 if denormals are not supported - phuclv
@phuclv Except, +inf and -inf are not differentiated using n/+0.0 and n/-0.0, but using +n/0.0 and -n/0.0 (at least in the programming languages I know). - Nyde
then those languages don't use IEEE-754, because IEEE-754 requires 1/-0.0 = -∞ and 1/0.0 = +∞. Demo for Java, C++. See also Why is negative zero important? - phuclv
Demo for C#, JavaScript, PowerShell, Pascal - phuclv
@phuclv I'm pretty sure C# uses IEEE-754. - Nyde

1 Answers

1
votes

The NaN is not a singular value.

First, at the level of floating-point data (Level 2 in Table 3.1 of IEEE 754-2008), there are two NaNs, a quiet NaN and a signaling NaN. These also appear at the level of representations of floating-point data (Level 3).

Second, as bit strings that encode floating-point data (Level 4), the first bit of the significand field encodes whether the NaN is quiet (1) or signaling (0), and the remaining bits may be used for diagnostic information (as long as they are not all zero for a signaling NaN, as that would represent +∞), per IEEE 754-2008 6.2.1:

When encoded, all NaNs have a sign bit and a pattern of bits necessary to identify the encoding as a NaN and which determines its kind (sNaN vs. qNaN). The remaining bits, which are in the trailing significand field, encode the payload, which might be diagnostic information (see above).

For example, the bits could be set to the address of the instruction that generated the NaN (or a hash of it). Or an array of floating-point objects might be initialized to NaNs with particular significand bits, and then any NaNs in program results could indicate whether they came from this initial data or were generated during execution.

I vaguely recall one of the IEEE-754 committee members had some other creative use for the payload field, but I do not recall what it was.