> 1.000000000000001e0 - 1e0
0