T(RN,                0x1.8p+1,                  0x1p+2,                0x1.4p+2,          0x0p+0, 0)
T(RN,               -0x1.8p+1,                  0x1p+2,                0x1.4p+2,          0x0p+0, 0)
T(RN,                  0x1p+2,                0x1.8p+1,                0x1.4p+2,          0x0p+0, 0)
T(RN,                  0x1p+2,               -0x1.8p+1,                0x1.4p+2,          0x0p+0, 0)
T(RN,               -0x1.8p+1,                 -0x1p+2,                0x1.4p+2,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,                  0x0p+0, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,                 -0x0p+0, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RN,               0x1p-1074,                  0x0p+0,               0x1p-1074,          0x0p+0, 0)
T(RN,               0x1p-1074,                 -0x0p+0,               0x1p-1074,          0x0p+0, 0)
T(RN,                     inf,                  0x1p+0,                     inf,          0x0p+0, 0)
T(RN,                  0x1p+0,                     inf,                     inf,          0x0p+0, 0)
T(RN,                     inf,                     nan,                     inf,          0x0p+0, 0)
T(RN,                     nan,                     inf,                     inf,          0x0p+0, 0)
T(RN,                    -inf,                  0x1p+0,                     inf,          0x0p+0, 0)
T(RN,                  0x1p+0,                    -inf,                     inf,          0x0p+0, 0)
T(RN,                    -inf,                     nan,                     inf,          0x0p+0, 0)
T(RN,                     nan,                    -inf,                     inf,          0x0p+0, 0)
T(RN,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
T(RN,                  0x1p+0,                     nan,                     nan,          0x0p+0, 0)