2.5.172 Xnum

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