+T(RN, 0x1p-1023, 0x1p+0, 0x1p-1023, 0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1p+0, 0x1p+1023, 0x1p-1023, 0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.8p+0, 0x1p+1023, 0x1.8p-1023, 0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.8p+0, -0x1p+1023, 0x1.921fb54442d18p+1, 0x0p+0, INEXACT)