Double FFFFFFFFFFFFFFFF is *a* IEEE 754 NaN. Anything of the form [7F]FFFxxxxxxxxxxxx where "x" is nonzero is a NaN.

There are at least two kinds of NaN: signaled and quiet. IEEE 754 doesn't define the how to encode them, but recommends using the most significant bit of "x" (0 for signaled).