0x1.000000c5cba87p0
0x1.000001883003bp0
0x1.00000dfb2b675p0
