- HEX: 1.ffff,ffff,ffff,fp1023 >integer ; inline
-CONSTANT: log-2 HEX: 1.62e42fefa39efp-1
-CONSTANT: log10-2 HEX: 1.34413509f79ffp-2
+ 0x1.ffff,ffff,ffff,fp1023 >integer ; inline
+CONSTANT: log-2 0x1.62e42fefa39efp-1
+CONSTANT: log10-2 0x1.34413509f79ffp-2