1T(RN,                0x1.8p+1,                  0x1p+2,                0x1.4p+2,          0x0p+0, 0)
2T(RN,               -0x1.8p+1,                  0x1p+2,                0x1.4p+2,          0x0p+0, 0)
3T(RN,                  0x1p+2,                0x1.8p+1,                0x1.4p+2,          0x0p+0, 0)
4T(RN,                  0x1p+2,               -0x1.8p+1,                0x1.4p+2,          0x0p+0, 0)
5T(RN,               -0x1.8p+1,                 -0x1p+2,                0x1.4p+2,          0x0p+0, 0)
6T(RN, 0x1.fffffffffffffp+1023,                  0x0p+0, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
7T(RN, 0x1.fffffffffffffp+1023,                 -0x0p+0, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
8T(RN,               0x1p-1074,                  0x0p+0,               0x1p-1074,          0x0p+0, 0)
9T(RN,               0x1p-1074,                 -0x0p+0,               0x1p-1074,          0x0p+0, 0)
10T(RN,                     inf,                  0x1p+0,                     inf,          0x0p+0, 0)
11T(RN,                  0x1p+0,                     inf,                     inf,          0x0p+0, 0)
12T(RN,                     inf,                     nan,                     inf,          0x0p+0, 0)
13T(RN,                     nan,                     inf,                     inf,          0x0p+0, 0)
14T(RN,                    -inf,                  0x1p+0,                     inf,          0x0p+0, 0)
15T(RN,                  0x1p+0,                    -inf,                     inf,          0x0p+0, 0)
16T(RN,                    -inf,                     nan,                     inf,          0x0p+0, 0)
17T(RN,                     nan,                    -inf,                     inf,          0x0p+0, 0)
18T(RN,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
19T(RN,                  0x1p+0,                     nan,                     nan,          0x0p+0, 0)
20