FLOAT64_NAN

A NaN (bit pattern 0x7FF7FFFFFFFFFFFF) as a float64; test for it with isnan.

FLOAT64_NAN :: 0h7FF7FFFF_FFFFFFFF