[Cleanup] 0x3F7FFFFF == 0x1.fffffep-1f

0x3F7FFFFE != 0x1.fffffep-1f