add generated math tests
[libc-test] / src / math / ucb / pow.h
diff --git a/src/math/ucb/pow.h b/src/math/ucb/pow.h
new file mode 100644 (file)
index 0000000..29bb83e
--- /dev/null
@@ -0,0 +1,1581 @@
+// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue
+// Mountain View, California  94043 All rights reserved.
+//
+// Any person is hereby authorized to download, copy, use, create bug fixes,
+// and distribute, subject to the following conditions:
+//
+//     1.  the software may not be redistributed for a fee except as
+//         reasonable to cover media costs;
+//     2.  any copy of the software must include this notice, as well as
+//         any other embedded copyright notices; and
+//     3.  any distribution of this software or derivative works thereof
+//         must comply with all applicable U.S. export control laws.
+//
+// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED
+// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED
+// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR
+// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO
+// SPECIFICATIONS.
+//
+// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS
+// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY
+// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR
+// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN
+// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE.
+//
+// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED
+// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL,
+// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE
+// POSSIBILITY OF SUCH DAMAGES.
+//
+// This file is provided with no support and without any obligation on the
+// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated
+// companies to assist in its use, correction, modification or
+// enhancement.  Nevertheless, and without creating any obligation on its
+// part, Sun welcomes your comments concerning the software and requests
+// that they be sent to fdlibm-comments@sunpro.sun.com.
+// anything **0 is 1
+T(RN,                  0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RZ,                  0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RZ,                 -0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RZ,                  0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RZ,                 -0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RU,               0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RU,              -0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RU,               0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RU,              -0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RD, 0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RD,-0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RD, 0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RD,-0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                     inf,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                     nan,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                     nan,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                    -inf,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                     nan,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                     nan,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1074,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1042,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+// anything**1 is itself
+T(RN,                  0x0p+0,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1p-1074,                  0x1p+0,               0x1p-1074,          0x0p+0, 0)
+T(RN,               0x1p-1042,                  0x1p+0,               0x1p-1042,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                  0x1p+0,                 -0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                  0x1p+0,              -0x1p-1074,          0x0p+0, 0)
+T(RN,              -0x1p-1042,                  0x1p+0,              -0x1p-1042,          0x0p+0, 0)
+T(RN,               0x1p-1022,                  0x1p+0,               0x1p-1022,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                  0x1p+0,              -0x1p-1022,          0x0p+0, 0)
+T(RN, 0x1.fffffffffffffp+1023,                  0x1p+0, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
+T(RN,-0x1.fffffffffffffp+1023,                  0x1p+0,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
+T(RN,                     inf,                  0x1p+0,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,                  0x1p+0,                    -inf,          0x0p+0, 0)
+// +-0**x
+T(RN,                  0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                0x1.1p+4,                 -0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
+// (-anything) ** (integer) (-1.1**101)
+T(RN,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b25p+13,   -0x1.5e9fbp-5, INEXACT)
+T(RZ,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b24p+13,   0x1.ea1604p-1, INEXACT)
+T(RU,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b24p+13,   0x1.ea1606p-1, INEXACT)
+T(RD,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b25p+13,   -0x1.5e9fbp-5, INEXACT)
+// some integer ** integer
+T(RN,                0x1.3p+4,                0x1.6p+3,    0x1.a7ca020174acp+46,          0x0p+0, 0)
+T(RN,              -0x1.82p+7,                0x1.4p+2,     -0x1.f2c9ed1e08p+37,          0x0p+0, 0)
+T(RN,               0x1.2bp+8,                0x1.8p+2,   0x1.44ef8416dd348p+49,          0x0p+0, 0)
+T(RN,            -0x1.2c4p+10,                  0x1p+2,      0x1.e468b1a8c1p+40,          0x0p+0, 0)
+// random arguments between 0 20
+T(RN,    0x1.d406db2b5006dp+2,    0x1.11f4cfb825911p+4,   0x1.1bc4a3c547fddp+49,  -0x1.b9961ep-4, INEXACT)
+T(RN,    0x1.2cdf309de7505p+4,    0x1.a9253fba96889p+1,    0x1.0ad1678cc548p+14,   0x1.030a1ep-2, INEXACT)
+T(RN,    0x1.d29f3e27084ddp+2,    0x1.336d31b093c41p+3,   0x1.72eabe3c1a592p+27,  -0x1.56be5ep-3, INEXACT)
+T(RN,    0x1.f910ed18455f5p+3,    0x1.28d064a51b239p+4,   0x1.c9cdad82240dep+73,   0x1.cf371ap-8, INEXACT)
+T(RN,    0x1.0a37c1079de4dp+3,    0x1.add483103b871p-2,    0x1.377962e68f1c3p+1,   0x1.aa14eep-2, INEXACT)
+T(RN,    0x1.75331f24163e5p+2,    0x1.4eca21468cce9p+3,   0x1.87bb2eeed10eap+26,   0x1.11d102p-2, INEXACT)
+T(RN,    0x1.35380f258fcbdp+1,    0x1.11f2f1ace7da1p+4,   0x1.b9cce4a0f2106p+21,   0x1.77103ap-3, INEXACT)
+T(RN,    0x1.39f14efde0ed5p-5,    0x1.70c85e8e5e899p-7,    0x1.ed8bccf55b1a1p-1,   0x1.aa004ep-2, INEXACT)
+T(RN,    0x1.5c9021412d02dp+2,    0x1.fa12128273bd1p+3,   0x1.97afb4059cda3p+38,   0x1.6c5548p-2, INEXACT)
+T(RN,    0x1.9bd94e8b7c6c5p+3,    0x1.ddfeb8e193549p+3,   0x1.0a9dafd125991p+55,  -0x1.2c73e6p-3, INEXACT)
+// nan**1
+T(RN,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
+// (anything except 1)**nan is nan
+T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                     inf,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                    -inf,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
+// nan**(anything except 0) is nan
+T(RN,                     nan,                     inf,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                    -inf,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
+//  +-(x > 1) **  +inf is +inf
+T(RN,    0x1.0000000000001p+0,                     inf,                     inf,          0x0p+0, 0)
+T(RN,                     inf,                     inf,                     inf,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+0,                     inf,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,                     inf,                     inf,          0x0p+0, 0)
+//  +-(x > 1) **  -inf is +0
+T(RN,    0x1.0000000000001p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                    -inf,                  0x0p+0,          0x0p+0, 0)
+// +-(|x| < 1) **  +inf is +0
+T(RN,    0x1.fffffffffffffp-1,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1p-1074,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp-1,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
+// +-(|x| < 1) **  -inf is +inf
+T(RN,    0x1.fffffffffffffp-1,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,               0x1p-1074,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,                  0x0p+0,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp-1,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                    -inf,                     inf,          0x0p+0, 0)
+// +1 ** (anthing) is +1
+T(RN,                  0x1p+0,                     nan,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
+// -1 ** +-inf is +1
+T(RN,                 -0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
+// +0 ** (+anything except 0, nan)               is +0
+T(RN,                  0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
+// -0 ** (+anything except 0, nan, odd integer)  is +0
+T(RN,                 -0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
+// +0 ** (-anything except 0, nan)               is +inf
+T(RN,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
+T(RZ,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
+T(RZ,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
+T(RU,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
+T(RU,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
+T(RD,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
+T(RD,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
+// -0 ** (-anything except 0, nan, odd integer)  is +inf
+T(RN,                 -0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,                 -0x1p+1,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
+// -0 ** (odd integer) = -( +0 ** (odd integer) )
+T(RN,                 -0x0p+0,                 -0x1p+0,                    -inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,               -0x1.1p+4,                    -inf,          0x0p+0, DIVBYZERO)
+// +inf ** (+anything except 0,nan) is +inf
+T(RN,                     inf,               0x1p-1074,                     inf,          0x0p+0, 0)
+// +inf ** (-anything except 0,nan) is +0
+T(RN,                     inf,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
+// -inf ** (anything)  = -0 ** (-anything)
+T(RN,                    -inf, 0x1.fffffffffffffp+1023,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,               0x1p-1074,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,-0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                0x1.4p+2,                    -inf,          0x0p+0, 0)
+T(RN,                    -inf,               -0x1.4p+2,                 -0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                0x1.8p+2,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,               -0x1.8p+2,                  0x0p+0,          0x0p+0, 0)
+// (-anything except 0 and inf) ** (non-integer) is nan
+T(RN,                    -inf,    0x1.0000000000001p+1,                     inf,          0x0p+0, 0)
+T(RN,                 -0x1p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1074,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
+// miscellaneous
+T(RN,                    -inf,                  0x1p-1,                     inf,          0x0p+0, 0)
+T(RN,               -0x1.ap+3,               0x1.4dp+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.fffffffffffffp+1023, 0x1.fffff0fffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,         0x1.fffffp+1023,         0x1.fffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RD,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RD,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RD,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RD,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RD,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RD,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RD,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RD,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RD,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RD,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RD,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RD,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RD,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RD,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RD,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RD,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RD,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RD,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RD,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RD,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RD,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RD,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RD,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RD,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RD,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RD,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RD,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
+T(RD,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
+T(RD,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
+T(RD,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
+T(RD,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
+T(RD,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
+T(RD,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
+T(RD,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000002p+4,        -0x1p-52, INEXACT)
+T(RD,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000004p+4,        -0x1p-50, INEXACT)
+T(RD,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
+T(RD,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
+T(RD,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
+T(RD,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
+T(RD,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
+T(RD,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
+T(RD,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
+T(RD,               0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,               0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,               0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD, 0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD, 0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,              -0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,              -0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,              -0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,-0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,-0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
+T(RD,               0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,               0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,               0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,               0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD, 0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD, 0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,               0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD, 0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD, 0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,               0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,               0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,              -0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,              -0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,              -0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,              -0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,              -0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,-0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,              -0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,              -0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RD,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
+T(RD,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
+T(RN,                  0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,                0x1.cp+2,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,            0x1.fffcp+14,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1p-1074,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1074,                  0x1p-1,                0x1p-537,          0x0p+0, 0)
+T(RN,               0x1p-1074,                 -0x1p-1,                0x1p+537,          0x0p+0, 0)
+T(RN,               0x1p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1073,                  0x1p+0,               0x1p-1073,          0x0p+0, 0)
+T(RN,               0x1p-1073,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,             0x1.8p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1072,                  0x1p-1,                0x1p-536,          0x0p+0, 0)
+T(RN,               0x1p-1072,                 -0x1p-1,                0x1p+536,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1024,                 0x1p-10,                  0x1p-1,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-9,                  0x1p-2,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-8,                  0x1p-4,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-7,                  0x1p-8,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-6,                 0x1p-16,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-5,                 0x1p-32,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-4,                 0x1p-64,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-3,                0x1p-128,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-2,                0x1p-256,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p-1,                0x1p-512,          0x0p+0, 0)
+T(RN,               0x1p-1024,                  0x1p+0,               0x1p-1024,          0x0p+0, 0)
+T(RN,               0x1p-1024,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1024,                 -0x1p-1,                0x1p+512,          0x0p+0, 0)
+T(RN,               0x1p-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1023,                  0x1p+0,               0x1p-1023,          0x0p+0, 0)
+T(RN,               0x1p-1023,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1p-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1023,                 -0x1p+0,               0x1p+1023,          0x0p+0, 0)
+T(RN,               0x1p-1023,                    -inf,                     inf,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffcp-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffcp-1023,                  0x1p+0, 0x1.ffffffffffffcp-1023,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffcp-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep-1023,                  0x1p+0, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1022,                  0x1p-1,                0x1p-511,          0x0p+0, 0)
+T(RN,               0x1p-1022,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1p-1022,                 -0x1p-1,                0x1p+511,          0x0p+0, 0)
+T(RN,               0x1p-1022,                 -0x1p+0,               0x1p+1022,          0x0p+0, 0)
+T(RN,               0x1p-1022,                    -inf,                     inf,          0x0p+0, 0)
+T(RN, 0x1.0000000000001p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.0000000000001p-1022,                  0x1p+0, 0x1.0000000000001p-1022,          0x0p+0, 0)
+T(RN, 0x1.0000000000001p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.0000000000002p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.0000000000002p-1022,                  0x1p+0, 0x1.0000000000002p-1022,          0x0p+0, 0)
+T(RN, 0x1.0000000000002p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1021,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1021,                  0x1p+0,               0x1p-1021,          0x0p+0, 0)
+T(RN,               0x1p-1021,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1p-1021,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1021,                 -0x1p+0,               0x1p+1021,          0x0p+0, 0)
+T(RN,               0x1p-1021,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,               0x1p-1020,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1020,                  0x1p-1,                0x1p-510,          0x0p+0, 0)
+T(RN,               0x1p-1020,                  0x1p+0,               0x1p-1020,          0x0p+0, 0)
+T(RN,               0x1p-1020,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p-1020,                 -0x1p-1,                0x1p+510,          0x0p+0, 0)
+T(RN,               0x1p-1020,                 -0x1p+0,               0x1p+1020,          0x0p+0, 0)
+T(RN,                0x1p-537,                  0x1p+1,               0x1p-1074,          0x0p+0, 0)
+T(RN,                0x1p-148,                  0x1p-1,                 0x1p-74,          0x0p+0, 0)
+T(RN,                0x1p-148,                 -0x1p-1,                 0x1p+74,          0x0p+0, 0)
+T(RN,                0x1p-146,                  0x1p-1,                 0x1p-73,          0x0p+0, 0)
+T(RN,                0x1p-146,                 -0x1p-1,                 0x1p+73,          0x0p+0, 0)
+T(RN,                0x1p-128,                  0x1p-1,                 0x1p-64,          0x0p+0, 0)
+T(RN,                0x1p-128,                 -0x1p-1,                 0x1p+64,          0x0p+0, 0)
+T(RN,                0x1p-126,                  0x1p-1,                 0x1p-63,          0x0p+0, 0)
+T(RN,                0x1p-126,                 -0x1p-1,                 0x1p+63,          0x0p+0, 0)
+T(RN,                0x1p-124,                  0x1p-1,                 0x1p-62,          0x0p+0, 0)
+T(RN,                0x1p-124,                 -0x1p-1,                 0x1p+62,          0x0p+0, 0)
+T(RN,                 0x1p-69,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 0x1p-64,                  0x1p-6,                  0x1p-1,          0x0p+0, 0)
+T(RN,                 0x1p-64,                  0x1p-5,                  0x1p-2,          0x0p+0, 0)
+T(RN,                 0x1p-64,                  0x1p-4,                  0x1p-4,          0x0p+0, 0)
+T(RN,                 0x1p-64,                  0x1p-3,                  0x1p-8,          0x0p+0, 0)
+T(RN,                 0x1p-64,                  0x1p-2,                 0x1p-16,          0x0p+0, 0)
+T(RN,                 0x1p-62,                  0x1p-1,                 0x1p-31,          0x0p+0, 0)
+T(RN,                 0x1p-52,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 0x1p-52,                  0x1p+0,                 0x1p-52,          0x0p+0, 0)
+T(RN,                 0x1p-52,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 0x1p-52,                 -0x1p+0,                 0x1p+52,          0x0p+0, 0)
+T(RN,                 0x1p-52,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,                 0x1p-51,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RN,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RN,                 0x1p-16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 0x1p-16,                  0x1p+2,                 0x1p-64,          0x0p+0, 0)
+T(RN,               0x1.2p-15,                  0x1p-1,                0x1.8p-8,          0x0p+0, 0)
+T(RN,                 0x1p-14,                  0x1p-1,                  0x1p-7,          0x0p+0, 0)
+T(RN,                  0x1p-8,                  0x1p-1,                  0x1p-4,          0x0p+0, 0)
+T(RN,                  0x1p-8,                  0x1p+3,                 0x1p-64,          0x0p+0, 0)
+T(RN,                  0x1p-8,                 -0x1p-1,                  0x1p+4,          0x0p+0, 0)
+T(RN,                0x1.2p-5,                  0x1p-1,                0x1.8p-3,          0x0p+0, 0)
+T(RN,                  0x1p-4,                  0x1p-1,                  0x1p-2,          0x0p+0, 0)
+T(RN,                  0x1p-4,                  0x1p+4,                 0x1p-64,          0x0p+0, 0)
+T(RN,                  0x1p-4,                 -0x1p-1,                  0x1p+2,          0x0p+0, 0)
+T(RN,                  0x1p-2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p-2,                  0x1p+0,                  0x1p-2,          0x0p+0, 0)
+T(RN,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RN,                  0x1p-2,                  0x1p+5,                 0x1p-64,          0x0p+0, 0)
+T(RN,                  0x1p-2,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x1p-2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p-2,                 -0x1p+0,                  0x1p+2,          0x0p+0, 0)
+T(RN,                  0x1p-2,                 -0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RN,                  0x1p-2,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,                  0x1p-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p-1,                  0x1p+0,                  0x1p-1,          0x0p+0, 0)
+T(RN,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RN,                  0x1p-1,                  0x1p+6,                 0x1p-64,          0x0p+0, 0)
+T(RN,                  0x1p-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p-1,                 -0x1p+0,                  0x1p+1,          0x0p+0, 0)
+T(RN,                  0x1p-1,                 -0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffap-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffap-1,                  0x1p+0,    0x1.ffffffffffffap-1,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffap-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffbp-1,                  0x1p+0,    0x1.ffffffffffffbp-1,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffcp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffcp-1,                  0x1p+0,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffcp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffep-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffep-1,                  0x1p+0,    0x1.ffffffffffffep-1,          0x0p+0, 0)
+T(RN,    0x1.ffffffffffffep-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.fffffffffffffp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.fffffffffffffp-1,                  0x1p+0,    0x1.fffffffffffffp-1,          0x0p+0, 0)
+T(RN,    0x1.fffffffffffffp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                  0x1p-1,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                0x1.8p+1,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                 -0x1p-1,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                 -0x1p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+0,               -0x1.8p+1,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000001p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000001p+0,                  0x1p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000001p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000002p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000002p+0,                  0x1p+0,    0x1.0000000000002p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000002p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000004p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000004p+0,                  0x1p+0,    0x1.0000000000004p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000004p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000005p+0,                  0x1p+0,    0x1.0000000000005p+0,          0x0p+0, 0)
+T(RN,                  0x1p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+1,                  0x1p+0,                  0x1p+1,          0x0p+0, 0)
+T(RN,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RN,                  0x1p+1,               0x1.fcp+6,                0x1p+127,          0x0p+0, 0)
+T(RN,                  0x1p+1,                  0x1p+7,                0x1p+128,          0x0p+0, 0)
+T(RN,                  0x1p+1,              0x1.ff8p+9,               0x1p+1023,          0x0p+0, 0)
+T(RN,                  0x1p+1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+1,                 -0x1p+0,                  0x1p-1,          0x0p+0, 0)
+T(RN,                  0x1p+1,                 -0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RN,                  0x1p+1,               -0x1.2p+3,                  0x1p-9,          0x0p+0, 0)
+T(RN,                  0x1p+1,              -0x1.2ap+7,                0x1p-149,          0x0p+0, 0)
+T(RN,                  0x1p+1,              -0x1.2cp+7,                0x1p-150,          0x0p+0, 0)
+T(RN,                  0x1p+1,              -0x1.2ep+7,                0x1p-151,          0x0p+0, 0)
+T(RN,                  0x1p+1,            -0x1.0c8p+10,               0x1p-1074,          0x0p+0, 0)
+T(RN,    0x1.0000000000005p+1,                     inf,                     inf,          0x0p+0, 0)
+T(RN,    0x1.0000000000005p+1,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                0x1.8p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                0x1.8p+1,                  0x1p+0,                0x1.8p+1,          0x0p+0, 0)
+T(RN,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RN,                  0x1p+2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+2,                  0x1p-1,                  0x1p+1,          0x0p+0, 0)
+T(RN,                  0x1p+2,                  0x1p+0,                  0x1p+2,          0x0p+0, 0)
+T(RN,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RN,                  0x1p+2,                0x1.6p+2,                 0x1p+11,          0x0p+0, 0)
+T(RN,                  0x1p+2,               0x1.3bp+7,                0x1p+315,          0x0p+0, 0)
+T(RN,                  0x1p+2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                  0x1p+2,                 -0x1p-1,                  0x1p-1,          0x0p+0, 0)
+T(RN,                  0x1p+2,                 -0x1p+0,                  0x1p-2,          0x0p+0, 0)
+T(RN,                  0x1p+2,                 -0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RN,                  0x1p+2,               -0x1.8p+1,                  0x1p-6,          0x0p+0, 0)
+T(RN,                  0x1p+2,               -0x1.fp+4,                 0x1p-62,          0x0p+0, 0)
+T(RN,                  0x1p+3,                  0x1p+3,                 0x1p+24,          0x0p+0, 0)
+T(RN,                  0x1p+3,                 -0x1p+3,                 0x1p-24,          0x0p+0, 0)
+T(RN,                0x1.2p+3,                  0x1p-1,                0x1.8p+1,          0x0p+0, 0)
+T(RN,                  0x1p+4,                 -0x1p+4,                 0x1p-64,          0x0p+0, 0)
+T(RN,                0x1.bp+4,                  0x1p+0,                0x1.bp+4,          0x0p+0, 0)
+T(RN,                  0x1p+5,                  0x1p+0,                  0x1p+5,          0x0p+0, 0)
+T(RN,                  0x1p+5,                 -0x1p+0,                  0x1p-5,          0x0p+0, 0)
+T(RN,                  0x1p+7,               -0x1.2p+3,                 0x1p-63,          0x0p+0, 0)
+T(RN,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RN,               0x1.fep+7,                     inf,                     inf,          0x0p+0, 0)
+T(RN,               0x1.fep+7,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x1p+8,                  0x1p-1,                  0x1p+4,          0x0p+0, 0)
+T(RN,                  0x1p+8,                0x1.8p+0,                 0x1p+12,          0x0p+0, 0)
+T(RN,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RN,                  0x1p+8,                0x1.8p+1,                 0x1p+24,          0x0p+0, 0)
+T(RN,                  0x1p+8,                     inf,                     inf,          0x0p+0, 0)
+T(RN,                  0x1p+8,                 -0x1p-1,                  0x1p-4,          0x0p+0, 0)
+T(RN,                  0x1p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RN,               0x1.01p+8,                     inf,                     inf,          0x0p+0, 0)
+T(RN,               0x1.01p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x1p+9,                  0x1p+0,                  0x1p+9,          0x0p+0, 0)
+T(RN,                  0x1p+9,                 -0x1p+0,                  0x1p-9,          0x0p+0, 0)
+T(RN,                 0x1p+10,                  0x1p-1,                  0x1p+5,          0x0p+0, 0)
+T(RN,                 0x1p+10,                0x1.8p+0,                 0x1p+15,          0x0p+0, 0)
+T(RN,               0x1.2p+11,                  0x1p-1,                0x1.8p+5,          0x0p+0, 0)
+T(RN,             0x1.d8ap+13,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 0x1p+14,                  0x1p-1,                  0x1p+7,          0x0p+0, 0)
+T(RN,            0x1.9f24p+14,                  0x1p-1,               0x1.46p+7,          0x0p+0, 0)
+T(RN,            0x1.b3c4p+14,                  0x1p-1,               0x1.4ep+7,          0x0p+0, 0)
+T(RN,            0x1.d3a4p+14,                  0x1p-1,               0x1.5ap+7,          0x0p+0, 0)
+T(RN,            0x1.f4a4p+14,                  0x1p-1,               0x1.66p+7,          0x0p+0, 0)
+T(RN,            0x1.ffe4p+14,                  0x1p-1,               0x1.6ap+7,          0x0p+0, 0)
+T(RN,                 0x1p+16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 0x1p+16,                  0x1p+0,                 0x1p+16,          0x0p+0, 0)
+T(RN,                 0x1p+16,                 -0x1p+0,                 0x1p-16,          0x0p+0, 0)
+T(RN,               0x1.2p+21,                  0x1p-1,               0x1.8p+10,          0x0p+0, 0)
+T(RN,                 0x1p+47,               -0x1.8p+1,                0x1p-141,          0x0p+0, 0)
+T(RN,                 0x1p+94,               -0x1.8p+0,                0x1p-141,          0x0p+0, 0)
+T(RN,                0x1p+124,                  0x1p-1,                 0x1p+62,          0x0p+0, 0)
+T(RN,                0x1p+124,                 -0x1p-1,                 0x1p-62,          0x0p+0, 0)
+T(RN,                0x1p+126,                  0x1p-1,                 0x1p+63,          0x0p+0, 0)
+T(RN,                0x1p+126,                 -0x1p-1,                 0x1p-63,          0x0p+0, 0)
+T(RN,                0x1p+350,               -0x1.8p+1,               0x1p-1050,          0x0p+0, 0)
+T(RN,                0x1p+700,               -0x1.8p+0,               0x1p-1050,          0x0p+0, 0)
+T(RN,               0x1p+1015,                  0x1p+0,               0x1p+1015,          0x0p+0, 0)
+T(RN,               0x1p+1020,                  0x1p-1,                0x1p+510,          0x0p+0, 0)
+T(RN,               0x1p+1020,                 -0x1p-1,                0x1p-510,          0x0p+0, 0)
+T(RN,               0x1p+1020,                 -0x1p+0,               0x1p-1020,          0x0p+0, 0)
+T(RN,               0x1p+1021,                     inf,                     inf,          0x0p+0, 0)
+T(RN,               0x1p+1021,                 -0x1p+0,               0x1p-1021,          0x0p+0, 0)
+T(RN,               0x1p+1021,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,               0x1p+1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p+1022,                  0x1p-1,                0x1p+511,          0x0p+0, 0)
+T(RN,               0x1p+1022,                  0x1p+0,               0x1p+1022,          0x0p+0, 0)
+T(RN,               0x1p+1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p+1022,                 -0x1p-1,                0x1p-511,          0x0p+0, 0)
+T(RN,               0x1p+1022,                 -0x1p+0,               0x1p-1022,          0x0p+0, 0)
+T(RN,               0x1p+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p+1023,                  0x1p+0,               0x1p+1023,          0x0p+0, 0)
+T(RN,               0x1p+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               0x1p+1023,                 -0x1p+0,               0x1p-1023,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep+1023,                  0x1p+0, 0x1.ffffffffffffep+1023,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN, 0x1.fffffffffffffp+1023,                     inf,                     inf,          0x0p+0, 0)
+T(RN, 0x1.fffffffffffffp+1023,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                     inf,                  0x1p-1,                     inf,          0x0p+0, 0)
+T(RN,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RN,                     inf,               0x1.fep+7,                     inf,          0x0p+0, 0)
+T(RN,                     inf,                  0x1p+8,                     inf,          0x0p+0, 0)
+T(RN,                     inf,               0x1.01p+8,                     inf,          0x0p+0, 0)
+T(RN,                     inf,            0x1.fffcp+14,                     inf,          0x0p+0, 0)
+T(RN,                     inf,                 -0x1p-1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,                 -0x1p+0,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,              -0x1.fep+7,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,                 -0x1p+8,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,              -0x1.01p+8,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,           -0x1.fffcp+14,                  0x0p+0,          0x0p+0, 0)
+T(RN,                     inf,                -0x1p+15,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                0x1.cp+2,                 -0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x0p+0,            0x1.fffcp+14,                 -0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1073,                  0x1p+0,              -0x1p-1073,          0x0p+0, 0)
+T(RN,              -0x1p-1073,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,            -0x1.8p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1024,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1024,                  0x1p+0,              -0x1p-1024,          0x0p+0, 0)
+T(RN,              -0x1p-1024,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                  0x1p+0,              -0x1p-1023,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                 -0x1p+0,              -0x1p+1023,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffcp-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffcp-1023,                  0x1p+0,-0x1.ffffffffffffcp-1023,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffcp-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep-1023,                  0x1p+0,-0x1.ffffffffffffep-1023,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                 -0x1p+0,              -0x1p+1022,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,-0x1.0000000000001p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.0000000000001p-1022,                  0x1p+0,-0x1.0000000000001p-1022,          0x0p+0, 0)
+T(RN,-0x1.0000000000001p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.0000000000002p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.0000000000002p-1022,                  0x1p+0,-0x1.0000000000002p-1022,          0x0p+0, 0)
+T(RN,-0x1.0000000000002p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                  0x1p+0,              -0x1p-1021,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                 -0x1p+0,              -0x1p+1021,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,              -0x1p-1020,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1020,                  0x1p+0,              -0x1p-1020,          0x0p+0, 0)
+T(RN,              -0x1p-1020,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p-1020,                 -0x1p+0,              -0x1p+1020,          0x0p+0, 0)
+T(RN,               -0x1p-537,                  0x1p+1,               0x1p-1074,          0x0p+0, 0)
+T(RN,                -0x1p-69,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                -0x1p-52,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                -0x1p-52,                  0x1p+0,                -0x1p-52,          0x0p+0, 0)
+T(RN,                -0x1p-52,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                -0x1p-52,                 -0x1p+0,                -0x1p+52,          0x0p+0, 0)
+T(RN,                -0x1p-52,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,                -0x1p-51,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RN,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RN,                -0x1p-16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                -0x1p-16,                  0x1p+2,                 0x1p-64,          0x0p+0, 0)
+T(RN,                 -0x1p-8,                  0x1p+3,                 0x1p-64,          0x0p+0, 0)
+T(RN,                 -0x1p-4,                  0x1p+4,                 0x1p-64,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                  0x1p+0,                 -0x1p-2,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                  0x1p+5,                 0x1p-64,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                     inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                 -0x1p+0,                 -0x1p+2,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                 -0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RN,                 -0x1p-2,                    -inf,                     inf,          0x0p+0, 0)
+T(RN,                 -0x1p-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p-1,                  0x1p+0,                 -0x1p-1,          0x0p+0, 0)
+T(RN,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RN,                 -0x1p-1,                  0x1p+6,                 0x1p-64,          0x0p+0, 0)
+T(RN,                 -0x1p-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p-1,                 -0x1p+0,                 -0x1p+1,          0x0p+0, 0)
+T(RN,                 -0x1p-1,                 -0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffap-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffap-1,                  0x1p+0,   -0x1.ffffffffffffap-1,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffap-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffbp-1,                  0x1p+0,   -0x1.ffffffffffffbp-1,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffcp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffcp-1,                  0x1p+0,   -0x1.ffffffffffffcp-1,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffcp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffep-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffep-1,                  0x1p+0,   -0x1.ffffffffffffep-1,          0x0p+0, 0)
+T(RN,   -0x1.ffffffffffffep-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp-1,                  0x1p+0,   -0x1.fffffffffffffp-1,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                  0x1p+0,                 -0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                0x1.8p+1,                 -0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                 -0x1p+0,                 -0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+0,                  0x1p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000002p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000002p+0,                  0x1p+0,   -0x1.0000000000002p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000002p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000004p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000004p+0,                  0x1p+0,   -0x1.0000000000004p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000004p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,   -0x1.0000000000005p+0,                  0x1p+0,   -0x1.0000000000005p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                  0x1p+0,                 -0x1p+1,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RN,                 -0x1p+1,               0x1.fcp+6,               -0x1p+127,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                  0x1p+7,                0x1p+128,          0x0p+0, 0)
+T(RN,                 -0x1p+1,              0x1.ff8p+9,              -0x1p+1023,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                 -0x1p+0,                 -0x1p-1,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                 -0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RN,                 -0x1p+1,               -0x1.2p+3,                 -0x1p-9,          0x0p+0, 0)
+T(RN,                 -0x1p+1,              -0x1.2ap+7,               -0x1p-149,          0x0p+0, 0)
+T(RN,                 -0x1p+1,              -0x1.2cp+7,                0x1p-150,          0x0p+0, 0)
+T(RN,                 -0x1p+1,              -0x1.2ep+7,               -0x1p-151,          0x0p+0, 0)
+T(RN,                 -0x1p+1,            -0x1.0c8p+10,               0x1p-1074,          0x0p+0, 0)
+T(RN,   -0x1.0000000000005p+1,                     inf,                     inf,          0x0p+0, 0)
+T(RN,   -0x1.0000000000005p+1,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,               -0x1.8p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,               -0x1.8p+1,                  0x1p+0,               -0x1.8p+1,          0x0p+0, 0)
+T(RN,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RN,                 -0x1p+2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+2,                  0x1p+0,                 -0x1p+2,          0x0p+0, 0)
+T(RN,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RN,                 -0x1p+2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+2,                 -0x1p+0,                 -0x1p-2,          0x0p+0, 0)
+T(RN,                 -0x1p+2,                 -0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RN,                 -0x1p+2,               -0x1.8p+1,                 -0x1p-6,          0x0p+0, 0)
+T(RN,                 -0x1p+2,               -0x1.fp+4,                -0x1p-62,          0x0p+0, 0)
+T(RN,                 -0x1p+3,                0x1.cp+2,                -0x1p+21,          0x0p+0, 0)
+T(RN,                 -0x1p+3,                  0x1p+3,                 0x1p+24,          0x0p+0, 0)
+T(RN,                 -0x1p+3,               -0x1.cp+2,                -0x1p-21,          0x0p+0, 0)
+T(RN,                 -0x1p+3,                 -0x1p+3,                 0x1p-24,          0x0p+0, 0)
+T(RN,                 -0x1p+4,                 -0x1p+4,                 0x1p-64,          0x0p+0, 0)
+T(RN,               -0x1.bp+4,                  0x1p+0,               -0x1.bp+4,          0x0p+0, 0)
+T(RN,                 -0x1p+5,                  0x1p+0,                 -0x1p+5,          0x0p+0, 0)
+T(RN,                 -0x1p+5,                 -0x1p+0,                 -0x1p-5,          0x0p+0, 0)
+T(RN,                 -0x1p+7,               -0x1.2p+3,                -0x1p-63,          0x0p+0, 0)
+T(RN,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RN,              -0x1.fep+7,                     inf,                     inf,          0x0p+0, 0)
+T(RN,              -0x1.fep+7,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RN,                 -0x1p+8,                0x1.8p+1,                -0x1p+24,          0x0p+0, 0)
+T(RN,                 -0x1p+8,                     inf,                     inf,          0x0p+0, 0)
+T(RN,                 -0x1p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RN,              -0x1.01p+8,                     inf,                     inf,          0x0p+0, 0)
+T(RN,              -0x1.01p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                 -0x1p+9,                  0x1p+0,                 -0x1p+9,          0x0p+0, 0)
+T(RN,                 -0x1p+9,                 -0x1p+0,                 -0x1p-9,          0x0p+0, 0)
+T(RN,            -0x1.d8ap+13,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                -0x1p+16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                -0x1p+16,                  0x1p+0,                -0x1p+16,          0x0p+0, 0)
+T(RN,                -0x1p+16,                 -0x1p+0,                -0x1p-16,          0x0p+0, 0)
+T(RN,                -0x1p+47,               -0x1.8p+1,               -0x1p-141,          0x0p+0, 0)
+T(RN,               -0x1p+350,               -0x1.8p+1,              -0x1p-1050,          0x0p+0, 0)
+T(RN,              -0x1p+1015,                  0x1p+0,              -0x1p+1015,          0x0p+0, 0)
+T(RN,              -0x1p+1020,                 -0x1p+0,              -0x1p-1020,          0x0p+0, 0)
+T(RN,              -0x1p+1021,                     inf,                     inf,          0x0p+0, 0)
+T(RN,              -0x1p+1021,                 -0x1p+0,              -0x1p-1021,          0x0p+0, 0)
+T(RN,              -0x1p+1021,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,              -0x1p+1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p+1022,                  0x1p+0,              -0x1p+1022,          0x0p+0, 0)
+T(RN,              -0x1p+1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p+1022,                 -0x1p+0,              -0x1p-1022,          0x0p+0, 0)
+T(RN,              -0x1p+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p+1023,                  0x1p+0,              -0x1p+1023,          0x0p+0, 0)
+T(RN,              -0x1p+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,              -0x1p+1023,                 -0x1p+0,              -0x1p-1023,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep+1023,                  0x1p+0,-0x1.ffffffffffffep+1023,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,-0x1.fffffffffffffp+1023,                     inf,                     inf,          0x0p+0, 0)
+T(RN,-0x1.fffffffffffffp+1023,                    -inf,                  0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,               0x1.fep+7,                    -inf,          0x0p+0, 0)
+T(RN,                    -inf,                  0x1p+8,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,               0x1.01p+8,                    -inf,          0x0p+0, 0)
+T(RN,                    -inf,            0x1.fff8p+14,                     inf,          0x0p+0, 0)
+T(RN,                    -inf,            0x1.fffcp+14,                    -inf,          0x0p+0, 0)
+T(RN,                    -inf,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
+T(RN,                    -inf,                 -0x1p-1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                 -0x1p+0,                 -0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,              -0x1.fep+7,                 -0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                 -0x1p+8,                  0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,              -0x1.01p+8,                 -0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,           -0x1.fffcp+14,                 -0x0p+0,          0x0p+0, 0)
+T(RN,                    -inf,                -0x1p+15,                  0x0p+0,          0x0p+0, 0)
+T(RN,                  0x0p+0,                 -0x1p-1,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                  0x0p+0,                 -0x1p+0,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                  0x0p+0,                 -0x1p+1,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                  0x0p+0,               -0x1.2p+3,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                  0x0p+0,                 -0x1p+8,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                  0x0p+0,           -0x1.fffcp+14,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                  0x0p+0,                -0x1p+15,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,                 -0x1p-1,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,               -0x1.2p+3,                    -inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,                 -0x1p+8,                     inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,           -0x1.fffcp+14,                    -inf,          0x0p+0, DIVBYZERO)
+T(RN,                 -0x0p+0,                -0x1p+15,                     inf,          0x0p+0, DIVBYZERO)
+T(RN, 0x1.0000000000004p-1024,                 -0x1p+0, 0x1.ffffffffffff8p+1023,        -0x1p-47, INEXACT)
+T(RN, 0x1.ffffffffffffcp-1023,                 -0x1p-1,  0x1.0000000000001p+511,      -0x1.8p-52, INEXACT)
+T(RN, 0x1.ffffffffffffep-1023,                  0x1p-1,  0x1.fffffffffffffp-512,  0x1.000008p-54, INEXACT)
+T(RN, 0x1.ffffffffffffep-1023,                 -0x1p+0, 0x1.0000000000001p+1022,        -0x1p-52, INEXACT)
+T(RN, 0x1.0000000000001p-1022,                 -0x1p+0, 0x1.ffffffffffffep+1021,        -0x1p-51, INEXACT)
+T(RN, 0x1.0000000000002p-1022,                  0x1p-1,  0x1.0000000000001p-511,  0x1.fffff8p-54, INEXACT)
+T(RN, 0x1.0000000000002p-1022,                 -0x1p-1,  0x1.ffffffffffffep+510,      -0x1.8p-51, INEXACT)
+T(RN, 0x1.0000000000002p-1022,                 -0x1p+0, 0x1.ffffffffffffcp+1021,        -0x1p-49, INEXACT)
+T(RN,    0x1.ffffffffffff8p-1,                  0x1p-1,    0x1.ffffffffffffcp-1,         0x1p-50, INEXACT)
+T(RN,    0x1.ffffffffffff8p-1,                 -0x1p-1,    0x1.0000000000002p+0,      -0x1.8p-50, INEXACT)
+T(RN,    0x1.ffffffffffff8p-1,                 -0x1p+0,    0x1.0000000000004p+0,        -0x1p-48, INEXACT)
+T(RN,    0x1.ffffffffffff8p-1,                 -0x1p+1,    0x1.0000000000008p+0,      -0x1.8p-47, INEXACT)
+T(RN,    0x1.ffffffffffff9p-1,                  0x1p-1,    0x1.ffffffffffffcp-1,         -0x1p-1, INEXACT)
+T(RN,    0x1.ffffffffffffap-1,                  0x1p-1,    0x1.ffffffffffffdp-1,       0x1.2p-51, INEXACT)
+T(RN,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
+T(RN,    0x1.ffffffffffffap-1,                 -0x1p+0,    0x1.0000000000003p+0,      -0x1.2p-49, INEXACT)
+T(RN,    0x1.ffffffffffffap-1,                 -0x1p+1,    0x1.0000000000006p+0,      -0x1.bp-48, INEXACT)
+T(RN,    0x1.ffffffffffffcp-1,                  0x1p-1,    0x1.ffffffffffffep-1,  0x1.000002p-52, INEXACT)
+T(RN,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
+T(RN,    0x1.ffffffffffffcp-1,                 -0x1p-1,    0x1.0000000000001p+0,      -0x1.8p-52, INEXACT)
+T(RN,    0x1.ffffffffffffcp-1,                 -0x1p+0,    0x1.0000000000002p+0,        -0x1p-50, INEXACT)
+T(RN,    0x1.ffffffffffffcp-1,                 -0x1p+1,    0x1.0000000000004p+0,      -0x1.8p-49, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,                  0x1p-1,    0x1.ffffffffffffep-1,         -0x1p-1, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,    0x1.fffffffffffffp-1,    0x1.ffffffffffffdp-1,      -0x1.8p-52, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,    0x1.0000000000001p+0,    0x1.ffffffffffffdp-1,       0x1.8p-51, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,    0x1.fffffffffffffp+0,    0x1.ffffffffffffap-1,      -0x1.ep-50, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,    0x1.0000000000001p+1,    0x1.ffffffffffffap-1,  0x1.7ffffep-52, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,    0x1.7fffffffffffep+1,    0x1.ffffffffffff7p-1,     -0x1.98p-48, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,    0x1.8000000000002p+1,    0x1.ffffffffffff7p-1,      -0x1.8p-52, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,   -0x1.fffffffffffffp-1,    0x1.0000000000002p+0,          0x1p-1, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,   -0x1.0000000000001p+0,    0x1.0000000000002p+0,          0x1p-1, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,   -0x1.fffffffffffffp+0,    0x1.0000000000003p+0,      -0x1.5p-50, INEXACT)
+T(RN,    0x1.ffffffffffffdp-1,   -0x1.0000000000001p+1,    0x1.0000000000003p+0,     -0x1.38p-49, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,                  0x1p-1,    0x1.fffffffffffffp-1,  0x1.000008p-54, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,    0x1.ffffffffffffep-1,    0x1.ffffffffffffep-1,        -0x1p-51, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,    0x1.fffffffffffffp-1,    0x1.ffffffffffffep-1,        -0x1p-52, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,    0x1.0000000000001p+0,    0x1.ffffffffffffep-1,  0x1.fffffep-52, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,    0x1.fffffffffffffp+0,    0x1.ffffffffffffcp-1,        -0x1p-50, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,    0x1.0000000000001p+1,    0x1.ffffffffffffcp-1,  0x1.fffffep-52, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,    0x1.7fffffffffffep+1,    0x1.ffffffffffffap-1,      -0x1.cp-49, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,    0x1.8000000000002p+1,    0x1.ffffffffffffap-1,  0x1.fffffep-52, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,   -0x1.ffffffffffffep-1,    0x1.0000000000001p+0,          0x0p+0, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,   -0x1.fffffffffffffp-1,    0x1.0000000000001p+0,        -0x1p-53, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,                 -0x1p+0,    0x1.0000000000001p+0,        -0x1p-52, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,   -0x1.0000000000001p+0,    0x1.0000000000001p+0,        -0x1p-51, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,   -0x1.fffffffffffffp+0,    0x1.0000000000002p+0,        -0x1p-51, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,                 -0x1p+1,    0x1.0000000000002p+0,      -0x1.8p-51, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,   -0x1.0000000000001p+1,    0x1.0000000000002p+0,      -0x1.4p-50, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,   -0x1.7fffffffffffep+1,    0x1.0000000000003p+0,        -0x1p-51, INEXACT)
+T(RN,    0x1.ffffffffffffep-1,   -0x1.8000000000002p+1,    0x1.0000000000003p+0,      -0x1.4p-49, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp-1,        -0x1p-53, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,    0x1.0000000000001p+0,    0x1.fffffffffffffp-1,  0x1.fffffcp-53, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp+0,    0x1.ffffffffffffep-1,      -0x1.8p-52, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,    0x1.0000000000001p+1,    0x1.ffffffffffffep-1,  0x1.7ffffep-52, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,    0x1.7fffffffffffep+1,    0x1.ffffffffffffdp-1,      -0x1.6p-50, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,                0x1.8p+1,    0x1.ffffffffffffdp-1,      -0x1.8p-52, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,    0x1.8000000000002p+1,    0x1.ffffffffffffdp-1,       0x1.4p-51, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,                0x1.2p+3,    0x1.ffffffffffff7p-1,      -0x1.2p-48, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,   -0x1.fffffffffffffp+0,    0x1.0000000000001p+0,        -0x1p-54, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,   -0x1.0000000000001p+1,    0x1.0000000000001p+0,      -0x1.cp-52, INEXACT)
+T(RN,    0x1.fffffffffffffp-1,   -0x1.8000000000002p+1,    0x1.0000000000002p+0,          0x1p-1, INEXACT)
+T(RN,    0x1.0000000000001p+0,                  0x1p-5,                  0x1p+0,         -0x1p-5, INEXACT)
+T(RN,    0x1.0000000000001p+0,                  0x1p-3,                  0x1p+0,         -0x1p-3, INEXACT)
+T(RN,    0x1.0000000000001p+0,                  0x1p-1,                  0x1p+0,         -0x1p-1, INEXACT)
+T(RN,    0x1.0000000000001p+0,    0x1.fffffffffffffp-1,    0x1.0000000000001p+0,  0x1.000004p-53, INEXACT)
+T(RN,    0x1.0000000000001p+0,    0x1.0000000000001p+0,    0x1.0000000000001p+0,        -0x1p-52, INEXACT)
+T(RN,    0x1.0000000000001p+0,    0x1.fffffffffffffp+0,    0x1.0000000000002p+0,          0x0p+0, INEXACT)
+T(RN,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
+T(RN,    0x1.0000000000001p+0,    0x1.0000000000001p+1,    0x1.0000000000002p+0,      -0x1.8p-51, INEXACT)
+T(RN,    0x1.0000000000001p+0,    0x1.7fffffffffffep+1,    0x1.0000000000003p+0,  0x1.000002p-52, INEXACT)
+T(RN,    0x1.0000000000001p+0,                0x1.8p+1,    0x1.0000000000003p+0,      -0x1.8p-51, INEXACT)
+T(RN,    0x1.0000000000001p+0,    0x1.8000000000002p+1,    0x1.0000000000003p+0,      -0x1.cp-50, INEXACT)
+T(RN,    0x1.0000000000001p+0,                  0x1p+3,    0x1.0000000000008p+0,      -0x1.cp-48, INEXACT)
+T(RN,    0x1.0000000000001p+0,                0x1.2p+3,    0x1.0000000000009p+0,      -0x1.2p-47, INEXACT)
+T(RN,    0x1.0000000000001p+0,                  0x1p+5,     0x1.000000000002p+0,      -0x1.fp-44, INEXACT)
+T(RN,    0x1.0000000000001p+0,   -0x1.fffffffffffffp-1,    0x1.ffffffffffffep-1,      -0x1.8p-51, INEXACT)
+T(RN,    0x1.0000000000001p+0,                 -0x1p+0,    0x1.ffffffffffffep-1,        -0x1p-51, INEXACT)
+T(RN,    0x1.0000000000001p+0,   -0x1.0000000000001p+0,    0x1.ffffffffffffep-1,          0x0p+0, INEXACT)
+T(RN,    0x1.0000000000001p+0,   -0x1.fffffffffffffp+0,    0x1.ffffffffffffcp-1,        -0x1p-49, INEXACT)
+T(RN,    0x1.0000000000001p+0,                 -0x1p+1,    0x1.ffffffffffffcp-1,      -0x1.8p-50, INEXACT)
+T(RN,    0x1.0000000000001p+0,   -0x1.0000000000001p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
+T(RN,    0x1.0000000000001p+0,   -0x1.7fffffffffffep+1,    0x1.ffffffffffffap-1,      -0x1.4p-48, INEXACT)
+T(RN,    0x1.0000000000001p+0,   -0x1.8000000000002p+1,    0x1.ffffffffffffap-1,        -0x1p-50, INEXACT)
+T(RN,    0x1.0000000000002p+0,                  0x1p-1,    0x1.0000000000001p+0,  0x1.fffff8p-54, INEXACT)
+T(RN,    0x1.0000000000002p+0,    0x1.fffffffffffffp-1,    0x1.0000000000002p+0,  0x1.000002p-52, INEXACT)
+T(RN,    0x1.0000000000002p+0,    0x1.0000000000001p+0,    0x1.0000000000002p+0,        -0x1p-51, INEXACT)
+T(RN,    0x1.0000000000002p+0,    0x1.fffffffffffffp+0,    0x1.0000000000004p+0,        -0x1p-51, INEXACT)
+T(RN,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
+T(RN,    0x1.0000000000002p+0,    0x1.0000000000001p+1,    0x1.0000000000004p+0,        -0x1p-49, INEXACT)
+T(RN,    0x1.0000000000002p+0,    0x1.7fffffffffffep+1,    0x1.0000000000006p+0,        -0x1p-50, INEXACT)
+T(RN,    0x1.0000000000002p+0,    0x1.8000000000002p+1,    0x1.0000000000006p+0,      -0x1.4p-48, INEXACT)
+T(RN,    0x1.0000000000002p+0,                 -0x1p-1,    0x1.ffffffffffffep-1,      -0x1.8p-51, INEXACT)
+T(RN,    0x1.0000000000002p+0,   -0x1.fffffffffffffp-1,    0x1.ffffffffffffcp-1,      -0x1.4p-49, INEXACT)
+T(RN,    0x1.0000000000002p+0,                 -0x1p+0,    0x1.ffffffffffffcp-1,        -0x1p-49, INEXACT)
+T(RN,    0x1.0000000000002p+0,   -0x1.0000000000001p+0,    0x1.ffffffffffffcp-1,        -0x1p-50, INEXACT)
+T(RN,    0x1.0000000000002p+0,   -0x1.fffffffffffffp+0,    0x1.ffffffffffff8p-1,      -0x1.cp-48, INEXACT)
+T(RN,    0x1.0000000000002p+0,                 -0x1p+1,    0x1.ffffffffffff8p-1,      -0x1.8p-48, INEXACT)
+T(RN,    0x1.0000000000002p+0,   -0x1.0000000000001p+1,    0x1.ffffffffffff8p-1,        -0x1p-48, INEXACT)
+T(RN,    0x1.0000000000002p+0,   -0x1.7fffffffffffep+1,    0x1.ffffffffffff4p-1,        -0x1p-46, INEXACT)
+T(RN,    0x1.0000000000002p+0,   -0x1.8000000000002p+1,    0x1.ffffffffffff4p-1,        -0x1p-47, INEXACT)
+T(RN,    0x1.0000000000003p+0,    0x1.fffffffffffffp-1,    0x1.0000000000003p+0,  0x1.800002p-52, INEXACT)
+T(RN,    0x1.0000000000003p+0,    0x1.0000000000001p+0,    0x1.0000000000003p+0,      -0x1.8p-51, INEXACT)
+T(RN,    0x1.0000000000003p+0,    0x1.fffffffffffffp+0,    0x1.0000000000006p+0,      -0x1.8p-50, INEXACT)
+T(RN,    0x1.0000000000003p+0,    0x1.0000000000001p+1,    0x1.0000000000006p+0,      -0x1.ep-49, INEXACT)
+T(RN,    0x1.0000000000003p+0,    0x1.7fffffffffffep+1,    0x1.0000000000009p+0,      -0x1.ep-49, INEXACT)
+T(RN,    0x1.0000000000003p+0,    0x1.8000000000002p+1,    0x1.0000000000009p+0,     -0x1.38p-47, INEXACT)
+T(RN,    0x1.0000000000003p+0,   -0x1.fffffffffffffp-1,    0x1.ffffffffffffap-1,      -0x1.5p-48, INEXACT)
+T(RN,    0x1.0000000000003p+0,                 -0x1p+0,    0x1.ffffffffffffap-1,      -0x1.2p-48, INEXACT)
+T(RN,    0x1.0000000000003p+0,   -0x1.0000000000001p+0,    0x1.ffffffffffffap-1,      -0x1.8p-49, INEXACT)
+T(RN,    0x1.0000000000003p+0,   -0x1.fffffffffffffp+0,    0x1.ffffffffffff4p-1,      -0x1.ep-47, INEXACT)
+T(RN,    0x1.0000000000003p+0,                 -0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.bp-47, INEXACT)
+T(RN,    0x1.0000000000003p+0,   -0x1.0000000000001p+1,    0x1.ffffffffffff4p-1,      -0x1.5p-47, INEXACT)
+T(RN,    0x1.0000000000003p+0,   -0x1.7fffffffffffep+1,    0x1.fffffffffffeep-1,     -0x1.08p-45, INEXACT)
+T(RN,    0x1.0000000000003p+0,   -0x1.8000000000002p+1,    0x1.fffffffffffeep-1,      -0x1.5p-46, INEXACT)
+T(RN,    0x1.0000000000004p+0,                  0x1p-1,    0x1.0000000000002p+0,  0x1.fffffep-52, INEXACT)
+T(RN,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
+T(RN,    0x1.0000000000004p+0,                 -0x1p-1,    0x1.ffffffffffffcp-1,      -0x1.8p-49, INEXACT)
+T(RN,    0x1.0000000000004p+0,                 -0x1p+0,    0x1.ffffffffffff8p-1,        -0x1p-47, INEXACT)
+T(RN,    0x1.0000000000004p+0,                 -0x1p+1,     0x1.ffffffffffffp-1,      -0x1.8p-46, INEXACT)
+T(RN,    0x1.0000000000005p+0,                  0x1p-1,    0x1.0000000000002p+0,         -0x1p-1, INEXACT)
+T(RN,    0x1.0000000000006p+0,                  0x1p-1,    0x1.0000000000003p+0,       0x1.2p-50, INEXACT)
+T(RN,    0x1.0000000000006p+0,                 -0x1p-1,    0x1.ffffffffffffap-1,      -0x1.bp-48, INEXACT)
+T(RN,    0x1.0000000000008p+0,                  0x1p-5,                  0x1p+0,         -0x1p-2, INEXACT)
+T(RN,    0x1.0000000000008p+0,                  0x1p-3,    0x1.0000000000001p+0,       0x1.cp-51, INEXACT)
+T(RN,    0x1.0000000000008p+0,                  0x1p-1,    0x1.0000000000004p+0,         0x1p-49, INEXACT)
+T(RN,    0x1.0000000000008p+0,                  0x1p+1,     0x1.000000000001p+0,        -0x1p-46, INEXACT)
+T(RN,    0x1.0000000000008p+0,                  0x1p+3,     0x1.000000000004p+0,      -0x1.cp-42, INEXACT)
+T(RN,    0x1.0000000000008p+0,                  0x1p+5,      0x1.00000000001p+0,      -0x1.fp-38, INEXACT)
+T(RN,     0x1.000000000001p+0,                  0x1p-5,                  0x1p+0,         -0x1p-1, INEXACT)
+T(RN,     0x1.000000000001p+0,                  0x1p-3,    0x1.0000000000002p+0,       0x1.cp-49, INEXACT)
+T(RN,     0x1.000000000001p+0,                  0x1p-1,    0x1.0000000000008p+0,         0x1p-47, INEXACT)
+T(RN,     0x1.000000000001p+0,                  0x1p+1,     0x1.000000000002p+0,        -0x1p-44, INEXACT)
+T(RN,     0x1.000000000001p+0,                  0x1p+3,     0x1.000000000008p+0,      -0x1.cp-40, INEXACT)
+T(RN,     0x1.000000000001p+0,                  0x1p+5,      0x1.00000000002p+0,      -0x1.fp-36, INEXACT)
+T(RN,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000002p+4,        -0x1p-52, INEXACT)
+T(RN,    0x1.0000000000001p+2,                0x1.8p+1,    0x1.0000000000003p+6,      -0x1.8p-51, INEXACT)
+T(RN,    0x1.0000000000001p+2,                  0x1p+2,    0x1.0000000000004p+8,      -0x1.8p-50, INEXACT)
+T(RN,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000004p+4,        -0x1p-50, INEXACT)
+T(RN, 0x1.ffffffffffffcp+1021,                 -0x1p-1,  0x1.0000000000001p-511,      -0x1.8p-52, INEXACT)
+T(RN, 0x1.ffffffffffffcp+1021,                 -0x1p+0, 0x1.0000000000002p-1022,        -0x1p-50, INEXACT)
+T(RN, 0x1.ffffffffffffep+1021,                  0x1p-1,  0x1.fffffffffffffp+510,  0x1.000008p-54, INEXACT)
+T(RN, 0x1.ffffffffffffep+1021,                 -0x1p+0, 0x1.0000000000001p-1022,        -0x1p-52, INEXACT)
+T(RN, 0x1.0000000000002p+1022,                  0x1p-1,  0x1.0000000000001p+511,  0x1.fffff8p-54, INEXACT)
+T(RN, 0x1.0000000000002p+1022,                 -0x1p-1,  0x1.ffffffffffffep-512,      -0x1.8p-51, INEXACT)
+T(RN,-0x1.0000000000004p-1024,                 -0x1p+0,-0x1.ffffffffffff8p+1023,         0x1p-47, INEXACT)
+T(RN,-0x1.ffffffffffffep-1023,                 -0x1p+0,-0x1.0000000000001p+1022,         0x1p-52, INEXACT)
+T(RN,-0x1.0000000000001p-1022,                 -0x1p+0,-0x1.ffffffffffffep+1021,         0x1p-51, INEXACT)
+T(RN,-0x1.0000000000002p-1022,                 -0x1p+0,-0x1.ffffffffffffcp+1021,         0x1p-49, INEXACT)
+T(RN,   -0x1.ffffffffffff8p-1,                 -0x1p+0,   -0x1.0000000000004p+0,         0x1p-48, INEXACT)
+T(RN,   -0x1.ffffffffffff8p-1,                 -0x1p+1,    0x1.0000000000008p+0,      -0x1.8p-47, INEXACT)
+T(RN,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
+T(RN,   -0x1.ffffffffffffap-1,                 -0x1p+0,   -0x1.0000000000003p+0,       0x1.2p-49, INEXACT)
+T(RN,   -0x1.ffffffffffffap-1,                 -0x1p+1,    0x1.0000000000006p+0,      -0x1.bp-48, INEXACT)
+T(RN,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
+T(RN,   -0x1.ffffffffffffcp-1,                 -0x1p+0,   -0x1.0000000000002p+0,         0x1p-50, INEXACT)
+T(RN,   -0x1.ffffffffffffcp-1,                 -0x1p+1,    0x1.0000000000004p+0,      -0x1.8p-49, INEXACT)
+T(RN,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
+T(RN,   -0x1.ffffffffffffep-1,                 -0x1p+0,   -0x1.0000000000001p+0,         0x1p-52, INEXACT)
+T(RN,   -0x1.ffffffffffffep-1,                 -0x1p+1,    0x1.0000000000002p+0,      -0x1.8p-51, INEXACT)
+T(RN,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
+T(RN,   -0x1.fffffffffffffp-1,                0x1.8p+1,   -0x1.ffffffffffffdp-1,       0x1.8p-52, INEXACT)
+T(RN,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
+T(RN,   -0x1.0000000000001p+0,                0x1.8p+1,   -0x1.0000000000003p+0,       0x1.8p-51, INEXACT)
+T(RN,   -0x1.0000000000001p+0,                 -0x1p+0,   -0x1.ffffffffffffep-1,         0x1p-51, INEXACT)
+T(RN,   -0x1.0000000000001p+0,                 -0x1p+1,    0x1.ffffffffffffcp-1,      -0x1.8p-50, INEXACT)
+T(RN,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
+T(RN,   -0x1.0000000000002p+0,                 -0x1p+0,   -0x1.ffffffffffffcp-1,         0x1p-49, INEXACT)
+T(RN,   -0x1.0000000000002p+0,                 -0x1p+1,    0x1.ffffffffffff8p-1,      -0x1.8p-48, INEXACT)
+T(RN,   -0x1.0000000000003p+0,                 -0x1p+0,   -0x1.ffffffffffffap-1,       0x1.2p-48, INEXACT)
+T(RN,   -0x1.0000000000003p+0,                 -0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.bp-47, INEXACT)
+T(RN,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
+T(RN,   -0x1.0000000000004p+0,                 -0x1p+0,   -0x1.ffffffffffff8p-1,         0x1p-47, INEXACT)
+T(RN,   -0x1.0000000000004p+0,                 -0x1p+1,     0x1.ffffffffffffp-1,      -0x1.8p-46, INEXACT)
+T(RN,-0x1.ffffffffffffcp+1021,                 -0x1p+0,-0x1.0000000000002p-1022,         0x1p-50, INEXACT)
+T(RN,-0x1.ffffffffffffep+1021,                 -0x1p+0,-0x1.0000000000001p-1022,         0x1p-52, INEXACT)
+T(RN,               0x1p-1074,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1074,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1074,              -0x1.fep+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1074,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1074,           -0x1.fffcp+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1073,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1073,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1073,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1073,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,             0x1.8p-1073,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,             0x1.8p-1073,              -0x1.01p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,             0x1.8p-1073,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,             0x1.8p-1073,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1024,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.0000000000004p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1023,              -0x1.fep+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1023,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1023,           -0x1.fffcp+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.ffffffffffffep-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1022,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1022,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1022,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.0000000000001p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.0000000000001p-1022,              -0x1.01p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.0000000000001p-1022,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.0000000000002p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1021,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1021,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1020,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 0x1p-54,              -0x1.f8p+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 0x1p-52,              -0x1.04p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 0x1p-52,              -0x1.19p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                  0x1p+1,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                  0x1p+2,            0x1.fffep+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                0x1.4p+3,               0x1.35p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                  0x1p+8,             0x1.ffcp+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                  0x1p+8,                 0x1p+11,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 0x1p+16,              0x1.ff8p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 0x1p+16,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1015,                0x1.4p+2,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1022,                0x1.4p+2,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1023,               0x1.fep+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1023,                  0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1023,               0x1.01p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p+1023,            0x1.fffcp+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN, 0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1074,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1074,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1074,              -0x1.01p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1074,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1074,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1073,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1073,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1073,              -0x1.fep+7,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1073,           -0x1.fffcp+14,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,            -0x1.8p-1073,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,            -0x1.8p-1073,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,            -0x1.8p-1073,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,            -0x1.8p-1073,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1024,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.0000000000004p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1023,              -0x1.01p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1023,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1023,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.ffffffffffffep-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1022,              -0x1.fep+7,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1022,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1022,           -0x1.fffcp+14,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.0000000000001p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.0000000000001p-1022,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.0000000000001p-1022,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.0000000000002p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1021,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1021,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p-1020,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                -0x1p-54,              -0x1.f8p+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                -0x1p-52,              -0x1.04p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                -0x1p-52,              -0x1.19p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 -0x1p+1,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               -0x1.4p+3,               0x1.35p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 -0x1p+8,             0x1.ffcp+10,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                 -0x1p+8,                 0x1p+11,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                -0x1p+16,              0x1.ff8p+9,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,                -0x1p+16,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1015,                0x1.4p+2,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1022,                0x1.4p+2,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1023,               0x1.fep+7,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1023,                  0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1023,               0x1.01p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1023,            0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,              -0x1p+1023,            0x1.fffcp+14,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,-0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RN,               0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1074,                0x1.8p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1074,               0x1.fep+7,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1074,            0x1.fff8p+13,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1074,            0x1.fffcp+14,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1073,               0x1.01p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1073,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,             0x1.8p-1073,                  0x1p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,             0x1.8p-1073,            0x1.fff8p+13,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1023,               0x1.fep+7,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1023,            0x1.fff8p+13,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1023,            0x1.fffcp+14,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1022,                0x1.8p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1022,               0x1.01p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1022,            0x1.fff8p+13,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.0000000000001p-1022,                  0x1p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.0000000000001p-1022,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1021,            0x1.fff8p+13,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p-54,               0x1.f8p+7,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p-53,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p-53,               0x1.01p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p-52,               0x1.04p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p-52,               0x1.19p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p-16,                 0x1p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                  0x1p+1,            -0x1.0ccp+10,                  0x0p+0,         -0x1p-1, INEXACT|UNDERFLOW)
+T(RN,                0x1.4p+3,              -0x1.45p+8,                  0x0p+0,  -0x1.4b9da8p-6, INEXACT|UNDERFLOW)
+T(RN,                  0x1p+6,            -0x1.56ap+11,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p+16,             -0x1.ff8p+9,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p+16,                -0x1p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 0x1p+16,            -0x1.004p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1020,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.ffffffffffffcp+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.ffffffffffffep+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.0000000000001p+1022,                 -0x1p+0, 0x1.ffffffffffffep-1023,        -0x1p-52, INEXACT|UNDERFLOW)
+T(RN, 0x1.0000000000001p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,               -0x1.8p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,              -0x1.fep+7,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,                 -0x1p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,              -0x1.01p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,              -0x1.04p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,              -0x1.05p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,           -0x1.fffcp+14,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,               0x1p+1023,                -0x1p+15,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN, 0x1.ffffffffffff8p+1023,                 -0x1p+0, 0x1.0000000000004p-1024,        -0x1p-50, INEXACT|UNDERFLOW)
+T(RN, 0x1.ffffffffffff8p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1074,                0x1.8p+1,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1074,               0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1074,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1074,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1073,                  0x1p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,            -0x1.8p-1073,               0x1.fep+7,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,            -0x1.8p-1073,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,            -0x1.8p-1073,            0x1.fffcp+14,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1023,               0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1023,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1022,                0x1.8p+1,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1022,                  0x1p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1022,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1022,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.0000000000001p-1022,               0x1.fep+7,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.0000000000001p-1022,            0x1.fffcp+14,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1021,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                -0x1p-54,               0x1.f8p+7,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                -0x1p-53,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                -0x1p-53,               0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                -0x1p-52,               0x1.04p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                -0x1p-52,               0x1.19p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                 -0x1p+1,            -0x1.0ccp+10,                 -0x0p+0,          0x1p-1, INEXACT|UNDERFLOW)
+T(RN,               -0x1.4p+3,              -0x1.45p+8,                 -0x0p+0,   0x1.4b9da8p-6, INEXACT|UNDERFLOW)
+T(RN,                 -0x1p+6,            -0x1.56ap+11,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                -0x1p+16,             -0x1.ff8p+9,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                -0x1p+16,                -0x1p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1020,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.ffffffffffffcp+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.ffffffffffffep+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.0000000000001p+1022,                 -0x1p+0,-0x1.ffffffffffffep-1023,         0x1p-52, INEXACT|UNDERFLOW)
+T(RN,-0x1.0000000000001p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,               -0x1.8p+1,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,              -0x1.fep+7,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,                 -0x1p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,              -0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,              -0x1.04p+8,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,              -0x1.05p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,           -0x1.fffcp+14,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,              -0x1p+1023,                -0x1p+15,                  0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
+T(RN,-0x1.ffffffffffff8p+1023,                 -0x1p+0,-0x1.0000000000004p-1024,         0x1p-50, INEXACT|UNDERFLOW)
+T(RN,-0x1.ffffffffffff8p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RN,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
+T(RN,             0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
+T(RN,             0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN, 0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN, 0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 0x1p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 0x1p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,    0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,    0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                  0x1p+0,                     nan,                  0x1p+0,          0x0p+0, 0)
+T(RN,    0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,    0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,    0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,    0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                  0x1p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                  0x1p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,    0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,    0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                  0x1p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                  0x1p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,               0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                     inf,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                     nan,             0x1.8p-1073,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan, 0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1021,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 0x1p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                  0x1p-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                0x1.8p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                0x1.2p+3,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1.fep+7,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                  0x1p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1.01p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,            0x1.fff8p+13,                     nan,          0x0p+0, 0)
+T(RN,                     nan,            0x1.fffcp+14,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
+T(RN,                     nan,            -0x1.8p-1073,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan,-0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1021,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                -0x1p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,  -0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               -0x1.8p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               -0x1.2p+3,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1.fep+7,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1.01p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,           -0x1.fff8p+13,                     nan,          0x0p+0, 0)
+T(RN,                     nan,           -0x1.fffcp+14,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
+T(RN,            -0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
+T(RN,            -0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN,-0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN,-0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                -0x1p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                -0x1p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,  -0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,  -0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x1p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,   -0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x1p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                 -0x1p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                    -inf,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
+T(RN,                     nan,             0x1.8p-1073,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan, 0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p-1021,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 0x1p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                  0x1p-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,    0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                0x1.8p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                0x1.2p+3,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1.fep+7,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                  0x1p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1.01p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,            0x1.fff8p+13,                     nan,          0x0p+0, 0)
+T(RN,                     nan,            0x1.fffcp+14,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               0x1p+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                     inf,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
+T(RN,                     nan,            -0x1.8p-1073,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan,-0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p-1021,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                -0x1p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,  -0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,   -0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               -0x1.8p+1,                     nan,          0x0p+0, 0)
+T(RN,                     nan,               -0x1.2p+3,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1.fep+7,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                 -0x1p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1.01p+8,                     nan,          0x0p+0, 0)
+T(RN,                     nan,           -0x1.fff8p+13,                     nan,          0x0p+0, 0)
+T(RN,                     nan,           -0x1.fffcp+14,                     nan,          0x0p+0, 0)
+T(RN,                     nan,              -0x1p+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                    -inf,                     nan,          0x0p+0, 0)
+T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
+T(RN,              -0x1p-1074,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1074,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1073,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1073,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,            -0x1.4p-1072,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,            -0x1.4p-1072,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,            -0x1.cp-1072,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,            -0x1.cp-1072,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,            -0x1.2p-1071,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,            -0x1.2p-1071,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1024,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1023,                 0x1p-12,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1023,                 0x1p-10,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1023,                  0x1p-8,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1023,                  0x1p-7,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1023,                  0x1p-4,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1023,                  0x1p-2,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.fffffffffffeep-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.fffffffffffeep-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffff2p-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffff2p-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffff8p-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffff8p-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffap-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffap-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffcp-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffcp-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffep-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffep-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffdp-1022,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffdp-1022,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1021,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1p-1021,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000001p-1021,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000001p-1021,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-53,                  0x1p-6,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-53,                  0x1p-5,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-53,                  0x1p-4,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-53,                  0x1p-3,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-53,                  0x1p-2,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-52,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-52,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-51,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-51,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1.8p-51,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,              -0x1.8p-51,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p-14,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p-4,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+0,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+0,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,    0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,    0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,    0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,   -0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,   -0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000001p+0,   -0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,    0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,    0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,    0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,   -0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,   -0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+0,   -0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,    0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,    0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,    0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,   -0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,   -0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000003p+0,   -0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+1,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.0000000000002p+1,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.8000000000004p+1,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.8000000000004p+1,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.ffffffffffffbp+1,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,   -0x1.ffffffffffffbp+1,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+2,                0x1.6p+2,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+2,             0x1.89ep+10,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+2,            0x1.fffep+14,                     nan,          0x0p+0, INVALID)
+T(RN,                 -0x1p+8,                0x1.8p+0,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p+10,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p+10,                0x1.8p+0,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p+14,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,                -0x1p+94,               -0x1.8p+0,                     nan,          0x0p+0, INVALID)
+T(RN,               -0x1p+700,               -0x1.8p+0,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffcp+1021,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.ffffffffffffcp+1021,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000002p+1022,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000002p+1022,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.fffffffffffffp+1022,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.fffffffffffffp+1022,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000002p+1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RN,-0x1.0000000000002p+1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
+T(RU,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RU,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RU,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RU,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RU,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RU,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RU,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RU,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RU,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RU,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RU,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RU,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RU,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RU,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RU,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RU,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RU,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RU,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RU,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RU,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RU,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RU,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RU,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RU,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RU,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RU,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RU,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff5p-1,          0x1p+0, INEXACT)
+T(RU,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff9p-1,          0x1p+0, INEXACT)
+T(RU,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffdp-1,          0x1p+0, INEXACT)
+T(RU,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.fffffffffffffp-1,          0x1p+0, INEXACT)
+T(RU,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000003p+0,          0x1p+0, INEXACT)
+T(RU,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000005p+0,          0x1p+0, INEXACT)
+T(RU,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000009p+0,          0x1p+0, INEXACT)
+T(RU,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000003p+4,          0x1p+0, INEXACT)
+T(RU,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000005p+4,          0x1p+0, INEXACT)
+T(RU,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff5p-1,          0x1p+0, INEXACT)
+T(RU,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff9p-1,          0x1p+0, INEXACT)
+T(RU,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffdp-1,          0x1p+0, INEXACT)
+T(RU,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.fffffffffffffp-1,          0x1p+0, INEXACT)
+T(RU,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000003p+0,          0x1p+0, INEXACT)
+T(RU,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000005p+0,          0x1p+0, INEXACT)
+T(RU,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000009p+0,          0x1p+0, INEXACT)
+T(RU,               0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,               0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,               0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU, 0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU, 0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,              -0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,              -0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,              -0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,-0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,-0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
+T(RU,               0x1p-1074,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,               0x1p-1073,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,               0x1p-1024,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,               0x1p-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU, 0x1.ffffffffffffcp-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU, 0x1.ffffffffffffep-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,               0x1p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU, 0x1.0000000000001p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU, 0x1.0000000000002p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,               0x1p-1021,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,               0x1p-1020,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,              -0x1p-1074,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,              -0x1p-1073,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,              -0x1p-1024,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,              -0x1p-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.ffffffffffffcp-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.ffffffffffffep-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,              -0x1p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.0000000000001p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,-0x1.0000000000002p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,              -0x1p-1021,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,              -0x1p-1020,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
+T(RU,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
+T(RU,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
+T(RZ,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RZ,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RZ,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RZ,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RZ,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RZ,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RZ,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RZ,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RZ,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RZ,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RZ,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RZ,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RZ,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RZ,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
+T(RZ,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
+T(RZ,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
+T(RZ,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
+T(RZ,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
+T(RZ,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
+T(RZ,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
+T(RZ,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
+T(RZ,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
+T(RZ,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
+T(RZ,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
+T(RZ,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
+T(RZ,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
+T(RZ,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
+T(RZ,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
+T(RZ,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
+T(RZ,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
+T(RZ,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
+T(RZ,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
+T(RZ,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
+T(RZ,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000002p+4,        -0x1p-52, INEXACT)
+T(RZ,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000004p+4,        -0x1p-50, INEXACT)
+T(RZ,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
+T(RZ,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
+T(RZ,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
+T(RZ,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
+T(RZ,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
+T(RZ,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
+T(RZ,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
+T(RZ,               0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,               0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,               0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ, 0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ, 0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,              -0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,              -0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,              -0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,-0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,-0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,  -0x1.fffffep-1, INEXACT|OVERFLOW)
+T(RZ,               0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,               0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,               0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,               0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ, 0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ, 0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,               0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ, 0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ, 0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,               0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,               0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,              -0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,              -0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,              -0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,              -0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,              -0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,-0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,              -0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,              -0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
+T(RZ,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
+T(RZ,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)