T(RN, -0x1p+0, -inf, 0x0p+0, DIVBYZERO)
T(RN, 0x1.0001p+0, nan, 0x0p+0, INVALID)
T(RN, -0x1.0001p+0, nan, 0x0p+0, INVALID)
+T(RN, 0x1p-66, 0x1p-66, 0x0p+0, INEXACT)
+T(RN, 0x1p-100, 0x1p-100, 0x0p+0, INEXACT)
+T(RN, 0x1p-128, 0x1p-128, 0x0p+0, INEXACT|UNDERFLOW)
+T(RN, -0x1p-128, -0x1p-128, 0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1p+127, nan, 0x0p+0, INVALID)