JDK 9 RFR of JDK-8164524: Correct inconsistencies in floating-point abs spec

[Martin Buchholz]

On Sat, Aug 20, 2016 at 12:32 PM, Martin Buchholz <martinrb at google.com>
wrote:

>
> Quibble: "guaranteed" may be true in practice, but longBitsToDouble is
> technically permitted to reset the sign bit back to 1 if the hardware is
> hostile.  Because of this, I would simply remove the word "guaranteed".
>

After reading IEEE 754 2008 6.2.1. , I now believe signalling NaNs have to
use the significand bits; the sign bit is free to use; and so I retract my
quibble, and am happy with the word "guaranteed".