Use of SNaN
Vincent Lefèvre wrote:
Sorry, I should have been more accurate. I meant that it can be
possible in languages (at least in C), partly based on the fact
that IEEE 754 specifies the sNaN encoding. In C, this can be
done by storing a sequence of bytes using a union. Of course,
this can only be implementation-defined because IEEE 754 specifies
the encoding only as a bit-string (not as a sequence of bytes).
Unfortunately sNaN encoding is specified only for DFP by 754-2008.
For BFP the encoding is only suggested: the 1st bit of the trailing
significand SHOULD be 1 for qNaN and 0 for sNaN. That's because
there is existing hardware (HP's PA-RISC, I believe) that uses the
I just re-read 6.2.1 and noticed that even the position of the bit
is only a SHOULD, never mind the polarity. But I think everybody
does use the same bit. (This is why stds-754 is CCed.)
---Sent: 17:08:01 UTC