T(RN, -inf, 2147483647, -inf, 0x0p+0, 0)
T(RN, 0x1p+1023, -2097, 0x1p-1074, 0x0p+0, 0)
T(RN, 0x1p-1074, 2097, 0x1p+1023, 0x0p+0, 0)
T(RN, -inf, 2147483647, -inf, 0x0p+0, 0)
T(RN, 0x1p+1023, -2097, 0x1p-1074, 0x0p+0, 0)
T(RN, 0x1p-1074, 2097, 0x1p+1023, 0x0p+0, 0)