UNIVERSAL false 9 false false 12 false 2 0 false 4 Too big REAL exponent block for decoding, hex only true 09 7F FF FF FF FF FF FF FF FB false 5 5 * 2^{09 7F FF FF FF FF FF FF FF FB}