0x0000000000000000 0x7ff0000000000000 0x7ff0000000000000
0x8000000000000000 0xfff0000000000000 0xfff0000000000000
0x3ff0000000000000 0x3fefff0000000000 0x3feffe8000000000
0x4000000000000000 0x3fdfff0000000000 0x3fe69fa000000000
0x3fd5555555555555 0x40080042e0000000 0x3ffbb6f860000000
0x0010000000000000 0x47efffffe0000000 0x5fdffe8000000000
0x0000000000000001 0x47efffffe0000000 0x617ffe8000000000
0x7fefffffffffffff 0x0000000000000000 0x1ff000082c000000
0x7ff0000000000000 0x0000000000000000 0x0000000000000000
0xfff0000000000000 0x8000000000000000 0x7ff8000000000000
0x7ff0000000000001 0x7ff8000000000001 0x7ff8000000000001
0x7ff8000012345678 0x7ff8000012345678 0x7ff8000012345678
0xbff0000000000000 0xbfefff0000000000 0x7ff8000000000000
0x4010000000000000 0x3fcfff0000000000 0x3fdffe8000000000
