0x1p63
0x1p63
0x1p63
0x0.fffffffffffff8p63
0x0.fffffffffffff8p63
0x1p64
0x1p64
0x1p64
0x1.fffffffffffffp63
0x1.fffffffffffffp63
0x1.b0f5c00737b63p103
True
0x1p28
0x1.fffffep31
0x1p32
0x1.fffffep35
0x1p36
0x1.fffffcp59
0x1p60
0x1.fffffep59
0x1p60
0x1.fffffcp63
0x1p64
0x1.fffffep63
0x1p64
True