0x3ff0000000000000
0x7ff0000000000000
0xfff0000000000000
0x7ff800007ff80000
0x3ff6a09e667f3bcd
One of the expected warning messages has been caught.
One of the expected warning messages has been caught.
0x40133dedc855935f
