0x1.fffffp+127
