1.00000000e+00   0x3F800000   sign 0, exponent 127, mantissa 0x000000
9.99999940e-01   0x3F7FFFFF   sign 0, exponent 126, mantissa 0x7FFFFF
9.99999881e-01   0x3F7FFFFE   sign 0, exponent 126, mantissa 0x7FFFFE
9.99999821e-01   0x3F7FFFFD   sign 0, exponent 126, mantissa 0x7FFFFD
9.99999762e-01   0x3F7FFFFC   sign 0, exponent 126, mantissa 0x7FFFFC
9.99999702e-01   0x3F7FFFFB   sign 0, exponent 126, mantissa 0x7FFFFB
9.99999642e-01   0x3F7FFFFA   sign 0, exponent 126, mantissa 0x7FFFFA
9.99999583e-01   0x3F7FFFF9   sign 0, exponent 126, mantissa 0x7FFFF9
9.99999523e-01   0x3F7FFFF8   sign 0, exponent 126, mantissa 0x7FFFF8
9.99999464e-01   0x3F7FFFF7   sign 0, exponent 126, mantissa 0x7FFFF7
.STOPPING EARLY
.
Total: 2 tests (808 ticks, 0.001 sec), 1000 assertions
Pass: 2, fail: 0, skip: 0.