T(RN, 0x1p+1023, -2097, 0x1p-1074, 0x0p+0, 0)
T(RN, 0x1p-1074, 2097, 0x1p+1023, 0x0p+0, 0)
T(RN, 0x1.001p+0, -1074, 0x1p-1074, 0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.7ffffffffffffp-1, -1073, 0x1p-1074, 0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.000000000000bp-1, -1024, 0x1.0000000000008p-1025, 0x0p+0, INEXACT|UNDERFLOW)