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)