"Hexadecimal float literals are also supported. These consist of a hexadecimal literal with a decimal point and an optional base-two exponent expressed as a decimal number after " { $snippet "p" } " or " { $snippet "P" } ":"
{ $example
- "8.0 HEX: 1.0p3 = ."
+ "8.0 0x1.0p3 = ."
"t"
}
{ $example
- "1024.0 HEX: 1.0P10 = ."
+ "1024.0 0x1.0P10 = ."
"t"
}
{ $example
- "10.125 HEX: 1.44p3 = ."
+ "10.125 0x1.44p3 = ."
"t"
}
"The normalized hex form " { $snippet "HEX: ±1.MMMMMMMMMMMMMp±EEEE" } " allows any floating-point number to be specified precisely. The values of MMMMMMMMMMMMM and EEEE map directly to the mantissa and exponent fields of IEEE 754 representation."