9.9999999999999989e-01 0x1.fffffffffffffp-1
1.0000000000000000e+00 0x1p+0
1.0000000000000002e+00 0x1.0000000000001p+0