--- /dev/null
+T(RN, 0x0p+0, 0x0p+0, 0x0p+0, 0x0p+0, 0x0p+0, 0)
+T(RN, -0x0p+0, -0x0p+0, -0x0p+0, 0x0p+0, 0x0p+0, 0)
+T(RN, -0x0p+0, -0x0p+0, 0x0p+0, 0x0p+0, 0x0p+0, 0)
+T(RN, -0x0p+0, 0x0p+0, -0x0p+0, -0x0p+0, 0x0p+0, 0)
+T(RN, 0x0p+0, -0x0p+0, -0x0p+0, -0x0p+0, 0x0p+0, 0)
+T(RN, -0x0p+0, 0x0p+0, 0x0p+0, 0x0p+0, 0x0p+0, 0)
+T(RN, 0x0p+0, -0x0p+0, 0x0p+0, 0x0p+0, 0x0p+0, 0)
+T(RN, 0x0p+0, 0x0p+0, -0x0p+0, 0x0p+0, 0x0p+0, 0)
+T(RN, 0x0p+0, 0x0p+0, nan, nan, 0x0p+0, 0)
+T(RN, 0x0p+0, nan, 0x0p+0, nan, 0x0p+0, 0)
+T(RN, nan, 0x0p+0, 0x0p+0, nan, 0x0p+0, 0)
+T(RN, 0x0p+0, 0x0p+0, inf, inf, 0x0p+0, 0)
+T(RN, 0x0p+0, inf, 0x0p+0, nan, 0x0p+0, INVALID)
+T(RN, inf, 0x0p+0, 0x0p+0, nan, 0x0p+0, INVALID)
+T(RN, 0x0p+0, 0x0p+0, -inf, -inf, 0x0p+0, 0)
+T(RN, 0x0p+0, -inf, 0x0p+0, nan, 0x0p+0, INVALID)
+T(RN, -inf, 0x0p+0, 0x0p+0, nan, 0x0p+0, INVALID)
+T(RN, 0x1p+0, inf, inf, inf, 0x0p+0, 0)
+T(RN, 0x1p+0, inf, -inf, nan, 0x0p+0, INVALID)
+T(RN, 0x1p+0, -inf, -inf, -inf, 0x0p+0, 0)
+T(RN, 0x1p+0, -inf, inf, nan, 0x0p+0, INVALID)
+T(RN, -0x1p+0, inf, inf, nan, 0x0p+0, INVALID)
+T(RN, -0x1p+0, inf, -inf, -inf, 0x0p+0, 0)
+T(RN, -0x1p+0, -inf, -inf, nan, 0x0p+0, INVALID)
+T(RN, -0x1p+0, -inf, inf, inf, 0x0p+0, 0)
+T(RN, 0x1p+0, 0x1p+0, inf, inf, 0x0p+0, 0)
+T(RN, 0x1p+0, 0x1p+0, -inf, -inf, 0x0p+0, 0)
+T(RN, inf, -inf, 0x1p+0, -inf, 0x0p+0, 0)
+T(RN, -inf, -inf, 0x1p+0, inf, 0x0p+0, 0)
+T(RN, inf, inf, nan, nan, 0x0p+0, 0)
+T(RN, inf, nan, inf, nan, 0x0p+0, 0)
+T(RN, nan, inf, inf, nan, 0x0p+0, 0)
+// TODO: invalid is optional
+T(RN, inf, 0x0p+0, nan, nan, 0x0p+0, INVALID)
+T(RN, 0x0p+0, inf, nan, nan, 0x0p+0, INVALID)
+T(RN, -inf, 0x0p+0, nan, nan, 0x0p+0, INVALID)
+T(RN, 0x0p+0, -inf, nan, nan, 0x0p+0, INVALID)