2.5.33 Xnum

A 64-bit binary floating-point number, as defined in [IEEE754]. This value MUST NOT be infinity, denormalized, not-a-number (NaN), or negative zero.