xref: /third_party/musl/libc-test/src/math/ucb/pow.h (revision 570af302)
1// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue
2// Mountain View, California  94043 All rights reserved.
3//
4// Any person is hereby authorized to download, copy, use, create bug fixes,
5// and distribute, subject to the following conditions:
6//
7// 	1.  the software may not be redistributed for a fee except as
8// 	    reasonable to cover media costs;
9// 	2.  any copy of the software must include this notice, as well as
10// 	    any other embedded copyright notices; and
11// 	3.  any distribution of this software or derivative works thereof
12// 	    must comply with all applicable U.S. export control laws.
13//
14// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED
15// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED
16// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR
17// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO
18// SPECIFICATIONS.
19//
20// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS
21// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY
22// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR
23// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN
24// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE.
25//
26// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED
27// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL,
28// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE
29// POSSIBILITY OF SUCH DAMAGES.
30//
31// This file is provided with no support and without any obligation on the
32// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated
33// companies to assist in its use, correction, modification or
34// enhancement.  Nevertheless, and without creating any obligation on its
35// part, Sun welcomes your comments concerning the software and requests
36// that they be sent to fdlibm-comments@sunpro.sun.com.
37// anything **0 is 1
38T(RN,                  0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
39T(RN,                 -0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
40T(RN,                  0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
41T(RN,                 -0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
42T(RN,               0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
43T(RN,              -0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
44T(RN,               0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
45T(RN,              -0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
46T(RN, 0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
47T(RN,-0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
48T(RN, 0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
49T(RN,-0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
50T(RZ,                  0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
51T(RZ,                 -0x0p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
52T(RZ,                  0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
53T(RZ,                 -0x0p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
54T(RU,               0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
55T(RU,              -0x1p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
56T(RU,               0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
57T(RU,              -0x1p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
58T(RD, 0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
59T(RD,-0x1.fffffffffffffp+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
60T(RD, 0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
61T(RD,-0x1.fffffffffffffp+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
62T(RN,                     inf,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
63T(RN,                     nan,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
64T(RN,                     nan,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
65T(RN,                    -inf,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
66T(RN,                     nan,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
67T(RN,                     nan,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
68T(RN,               0x1p-1074,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
69T(RN,               0x1p-1042,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
70// anything**1 is itself
71T(RN,                  0x0p+0,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
72T(RN,               0x1p-1074,                  0x1p+0,               0x1p-1074,          0x0p+0, 0)
73T(RN,               0x1p-1042,                  0x1p+0,               0x1p-1042,          0x0p+0, 0)
74T(RN,                 -0x0p+0,                  0x1p+0,                 -0x0p+0,          0x0p+0, 0)
75T(RN,              -0x1p-1074,                  0x1p+0,              -0x1p-1074,          0x0p+0, 0)
76T(RN,              -0x1p-1042,                  0x1p+0,              -0x1p-1042,          0x0p+0, 0)
77T(RN,               0x1p-1022,                  0x1p+0,               0x1p-1022,          0x0p+0, 0)
78T(RN,              -0x1p-1022,                  0x1p+0,              -0x1p-1022,          0x0p+0, 0)
79T(RN, 0x1.fffffffffffffp+1023,                  0x1p+0, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
80T(RN,-0x1.fffffffffffffp+1023,                  0x1p+0,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
81T(RN,                     inf,                  0x1p+0,                     inf,          0x0p+0, 0)
82T(RN,                    -inf,                  0x1p+0,                    -inf,          0x0p+0, 0)
83// +-0**x
84T(RN,                  0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
85T(RN,                  0x0p+0,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
86T(RN,                 -0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
87T(RN,                 -0x0p+0,                0x1.1p+4,                 -0x0p+0,          0x0p+0, 0)
88T(RN,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
89T(RN,                 -0x0p+0,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
90// (-anything) ** (integer) (-1.1**101)
91T(RN,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b25p+13,   -0x1.5e9fbp-5, INEXACT)
92T(RZ,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b24p+13,   0x1.ea1606p-1, INEXACT)
93T(RU,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b24p+13,   0x1.ea1606p-1, INEXACT)
94T(RD,   -0x1.199999999999ap+0,               0x1.94p+6,  -0x1.d9b5637aa9b25p+13,   -0x1.5e9fbp-5, INEXACT)
95// some integer ** integer
96T(RN,                0x1.3p+4,                0x1.6p+3,    0x1.a7ca020174acp+46,          0x0p+0, 0)
97T(RN,              -0x1.82p+7,                0x1.4p+2,     -0x1.f2c9ed1e08p+37,          0x0p+0, 0)
98T(RN,               0x1.2bp+8,                0x1.8p+2,   0x1.44ef8416dd348p+49,          0x0p+0, 0)
99T(RN,            -0x1.2c4p+10,                  0x1p+2,      0x1.e468b1a8c1p+40,          0x0p+0, 0)
100// random arguments between 0 20
101T(RN,    0x1.d406db2b5006dp+2,    0x1.11f4cfb825911p+4,   0x1.1bc4a3c547fddp+49,  -0x1.b9961ep-4, INEXACT)
102T(RN,    0x1.2cdf309de7505p+4,    0x1.a9253fba96889p+1,    0x1.0ad1678cc548p+14,   0x1.030a1ep-2, INEXACT)
103T(RN,    0x1.d29f3e27084ddp+2,    0x1.336d31b093c41p+3,   0x1.72eabe3c1a592p+27,  -0x1.56be5ep-3, INEXACT)
104T(RN,    0x1.f910ed18455f5p+3,    0x1.28d064a51b239p+4,   0x1.c9cdad82240dep+73,   0x1.cf371ap-8, INEXACT)
105T(RN,    0x1.0a37c1079de4dp+3,    0x1.add483103b871p-2,    0x1.377962e68f1c3p+1,   0x1.aa14eep-2, INEXACT)
106T(RN,    0x1.75331f24163e5p+2,    0x1.4eca21468cce9p+3,   0x1.87bb2eeed10eap+26,   0x1.11d102p-2, INEXACT)
107T(RN,    0x1.35380f258fcbdp+1,    0x1.11f2f1ace7da1p+4,   0x1.b9cce4a0f2106p+21,   0x1.77103ap-3, INEXACT)
108T(RN,    0x1.39f14efde0ed5p-5,    0x1.70c85e8e5e899p-7,    0x1.ed8bccf55b1a1p-1,   0x1.aa004ep-2, INEXACT)
109T(RN,    0x1.5c9021412d02dp+2,    0x1.fa12128273bd1p+3,   0x1.97afb4059cda3p+38,   0x1.6c5548p-2, INEXACT)
110T(RN,    0x1.9bd94e8b7c6c5p+3,    0x1.ddfeb8e193549p+3,   0x1.0a9dafd125991p+55,  -0x1.2c73e6p-3, INEXACT)
111// nan**1
112T(RN,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
113// (anything except 1)**nan is nan
114T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
115T(RN,                     inf,                     nan,                     nan,          0x0p+0, 0)
116T(RN,                    -inf,                     nan,                     nan,          0x0p+0, 0)
117T(RN,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
118T(RN,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
119T(RN,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
120// nan**(anything except 0) is nan
121T(RN,                     nan,                     inf,                     nan,          0x0p+0, 0)
122T(RN,                     nan,                    -inf,                     nan,          0x0p+0, 0)
123T(RN,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
124T(RN,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
125T(RN,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
126//  +-(x > 1) **  +inf is +inf
127T(RN,    0x1.0000000000001p+0,                     inf,                     inf,          0x0p+0, 0)
128T(RN,                     inf,                     inf,                     inf,          0x0p+0, 0)
129T(RN,   -0x1.0000000000001p+0,                     inf,                     inf,          0x0p+0, 0)
130T(RN,                    -inf,                     inf,                     inf,          0x0p+0, 0)
131//  +-(x > 1) **  -inf is +0
132T(RN,    0x1.0000000000001p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
133T(RN,                     inf,                    -inf,                  0x0p+0,          0x0p+0, 0)
134T(RN,   -0x1.0000000000001p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
135T(RN,                    -inf,                    -inf,                  0x0p+0,          0x0p+0, 0)
136// +-(|x| < 1) **  +inf is +0
137T(RN,    0x1.fffffffffffffp-1,                     inf,                  0x0p+0,          0x0p+0, 0)
138T(RN,               0x1p-1074,                     inf,                  0x0p+0,          0x0p+0, 0)
139T(RN,                  0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
140T(RN,   -0x1.fffffffffffffp-1,                     inf,                  0x0p+0,          0x0p+0, 0)
141T(RN,              -0x1p-1074,                     inf,                  0x0p+0,          0x0p+0, 0)
142T(RN,                 -0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
143// +-(|x| < 1) **  -inf is +inf
144T(RN,    0x1.fffffffffffffp-1,                    -inf,                     inf,          0x0p+0, 0)
145T(RN,               0x1p-1074,                    -inf,                     inf,          0x0p+0, 0)
146T(RN,                  0x0p+0,                    -inf,                     inf,          0x0p+0, 0)
147T(RN,   -0x1.fffffffffffffp-1,                    -inf,                     inf,          0x0p+0, 0)
148T(RN,              -0x1p-1074,                    -inf,                     inf,          0x0p+0, 0)
149T(RN,                 -0x0p+0,                    -inf,                     inf,          0x0p+0, 0)
150// +1 ** (anthing) is +1
151T(RN,                  0x1p+0,                     nan,                  0x1p+0,          0x0p+0, 0)
152T(RN,                  0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
153T(RN,                  0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
154// -1 ** +-inf is +1
155T(RN,                 -0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
156T(RN,                 -0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
157// +0 ** (+anything except 0, nan)               is +0
158T(RN,                  0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
159// -0 ** (+anything except 0, nan, odd integer)  is +0
160T(RN,                 -0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
161// +0 ** (-anything except 0, nan)               is +inf
162T(RN,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
163T(RN,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
164T(RZ,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
165T(RZ,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
166T(RU,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
167T(RU,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
168T(RD,                  0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
169T(RD,                  0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
170// -0 ** (-anything except 0, nan, odd integer)  is +inf
171T(RN,                 -0x0p+0,-0x1.fffffffffffffp+1023,                     inf,          0x0p+0, DIVBYZERO)
172T(RN,                 -0x0p+0,                 -0x1p+1,                     inf,          0x0p+0, DIVBYZERO)
173T(RN,                 -0x0p+0,              -0x1p-1074,                     inf,          0x0p+0, DIVBYZERO)
174// -0 ** (odd integer) = -( +0 ** (odd integer) )
175T(RN,                 -0x0p+0,                 -0x1p+0,                    -inf,          0x0p+0, DIVBYZERO)
176T(RN,                 -0x0p+0,               -0x1.1p+4,                    -inf,          0x0p+0, DIVBYZERO)
177// +inf ** (+anything except 0,nan) is +inf
178T(RN,                     inf,               0x1p-1074,                     inf,          0x0p+0, 0)
179// +inf ** (-anything except 0,nan) is +0
180T(RN,                     inf,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
181// -inf ** (anything)  = -0 ** (-anything)
182T(RN,                    -inf, 0x1.fffffffffffffp+1023,                     inf,          0x0p+0, 0)
183T(RN,                    -inf,               0x1p-1074,                     inf,          0x0p+0, 0)
184T(RN,                    -inf,-0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
185T(RN,                    -inf,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
186T(RN,                    -inf,                0x1.4p+2,                    -inf,          0x0p+0, 0)
187T(RN,                    -inf,               -0x1.4p+2,                 -0x0p+0,          0x0p+0, 0)
188T(RN,                    -inf,                0x1.8p+2,                     inf,          0x0p+0, 0)
189T(RN,                    -inf,               -0x1.8p+2,                  0x0p+0,          0x0p+0, 0)
190// (-anything except 0 and inf) ** (non-integer) is nan
191T(RN,                    -inf,    0x1.0000000000001p+1,                     inf,          0x0p+0, 0)
192T(RN,                 -0x1p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
193T(RN,              -0x1p-1074,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
194// miscellaneous
195T(RN,                    -inf,                  0x1p-1,                     inf,          0x0p+0, 0)
196T(RN,               -0x1.ap+3,               0x1.4dp+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
197T(RN, 0x1.fffffffffffffp+1023, 0x1.fffff0fffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
198T(RN,         0x1.fffffp+1023,         0x1.fffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
199T(RD,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
200T(RD,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
201T(RD,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
202T(RD,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
203T(RD,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
204T(RD,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
205T(RD,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
206T(RD,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
207T(RD,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
208T(RD,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
209T(RD,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
210T(RD,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
211T(RD,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
212T(RD,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
213T(RD,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
214T(RD,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
215T(RD,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
216T(RD,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
217T(RD,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
218T(RD,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
219T(RD,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
220T(RD,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
221T(RD,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
222T(RD,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
223T(RD,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
224T(RD,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
225T(RD,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
226T(RD,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
227T(RD,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
228T(RD,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
229T(RD,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
230T(RD,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
231T(RD,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
232T(RD,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000002p+4,        -0x1p-52, INEXACT)
233T(RD,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000004p+4,        -0x1p-50, INEXACT)
234T(RD,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
235T(RD,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
236T(RD,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
237T(RD,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
238T(RD,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
239T(RD,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
240T(RD,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
241T(RD,               0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
242T(RD,               0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
243T(RD,               0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
244T(RD, 0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
245T(RD, 0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
246T(RD,              -0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
247T(RD,              -0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
248T(RD,              -0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
249T(RD,-0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
250T(RD,-0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
251T(RD,               0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
252T(RD,               0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
253T(RD,               0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
254T(RD,               0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
255T(RD, 0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
256T(RD, 0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
257T(RD,               0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
258T(RD, 0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
259T(RD, 0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
260T(RD,               0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
261T(RD,               0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
262T(RD,              -0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
263T(RD,              -0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
264T(RD,              -0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
265T(RD,              -0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
266T(RD,-0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
267T(RD,-0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
268T(RD,              -0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
269T(RD,-0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
270T(RD,-0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
271T(RD,              -0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
272T(RD,              -0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
273T(RD,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
274T(RD,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
275T(RN,                  0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
276T(RN,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
277T(RN,                  0x0p+0,                0x1.cp+2,                  0x0p+0,          0x0p+0, 0)
278T(RN,                  0x0p+0,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, 0)
279T(RN,                  0x0p+0,            0x1.fffcp+14,                  0x0p+0,          0x0p+0, 0)
280T(RN,               0x1p-1074,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
281T(RN,               0x1p-1074,                  0x1p-1,                0x1p-537,          0x0p+0, 0)
282T(RN,               0x1p-1074,                 -0x1p-1,                0x1p+537,          0x0p+0, 0)
283T(RN,               0x1p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
284T(RN,               0x1p-1073,                  0x1p+0,               0x1p-1073,          0x0p+0, 0)
285T(RN,               0x1p-1073,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
286T(RN,             0x1.8p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
287T(RN,               0x1p-1072,                  0x1p-1,                0x1p-536,          0x0p+0, 0)
288T(RN,               0x1p-1072,                 -0x1p-1,                0x1p+536,          0x0p+0, 0)
289T(RN,               0x1p-1024,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
290T(RN,               0x1p-1024,                 0x1p-10,                  0x1p-1,          0x0p+0, 0)
291T(RN,               0x1p-1024,                  0x1p-9,                  0x1p-2,          0x0p+0, 0)
292T(RN,               0x1p-1024,                  0x1p-8,                  0x1p-4,          0x0p+0, 0)
293T(RN,               0x1p-1024,                  0x1p-7,                  0x1p-8,          0x0p+0, 0)
294T(RN,               0x1p-1024,                  0x1p-6,                 0x1p-16,          0x0p+0, 0)
295T(RN,               0x1p-1024,                  0x1p-5,                 0x1p-32,          0x0p+0, 0)
296T(RN,               0x1p-1024,                  0x1p-4,                 0x1p-64,          0x0p+0, 0)
297T(RN,               0x1p-1024,                  0x1p-3,                0x1p-128,          0x0p+0, 0)
298T(RN,               0x1p-1024,                  0x1p-2,                0x1p-256,          0x0p+0, 0)
299T(RN,               0x1p-1024,                  0x1p-1,                0x1p-512,          0x0p+0, 0)
300T(RN,               0x1p-1024,                  0x1p+0,               0x1p-1024,          0x0p+0, 0)
301T(RN,               0x1p-1024,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
302T(RN,               0x1p-1024,                 -0x1p-1,                0x1p+512,          0x0p+0, 0)
303T(RN,               0x1p-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
304T(RN,               0x1p-1023,                  0x1p+0,               0x1p-1023,          0x0p+0, 0)
305T(RN,               0x1p-1023,                     inf,                  0x0p+0,          0x0p+0, 0)
306T(RN,               0x1p-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
307T(RN,               0x1p-1023,                 -0x1p+0,               0x1p+1023,          0x0p+0, 0)
308T(RN,               0x1p-1023,                    -inf,                     inf,          0x0p+0, 0)
309T(RN, 0x1.ffffffffffffcp-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
310T(RN, 0x1.ffffffffffffcp-1023,                  0x1p+0, 0x1.ffffffffffffcp-1023,          0x0p+0, 0)
311T(RN, 0x1.ffffffffffffcp-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
312T(RN, 0x1.ffffffffffffep-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
313T(RN, 0x1.ffffffffffffep-1023,                  0x1p+0, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
314T(RN, 0x1.ffffffffffffep-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
315T(RN,               0x1p-1022,                  0x1p-1,                0x1p-511,          0x0p+0, 0)
316T(RN,               0x1p-1022,                     inf,                  0x0p+0,          0x0p+0, 0)
317T(RN,               0x1p-1022,                 -0x1p-1,                0x1p+511,          0x0p+0, 0)
318T(RN,               0x1p-1022,                 -0x1p+0,               0x1p+1022,          0x0p+0, 0)
319T(RN,               0x1p-1022,                    -inf,                     inf,          0x0p+0, 0)
320T(RN, 0x1.0000000000001p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
321T(RN, 0x1.0000000000001p-1022,                  0x1p+0, 0x1.0000000000001p-1022,          0x0p+0, 0)
322T(RN, 0x1.0000000000001p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
323T(RN, 0x1.0000000000002p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
324T(RN, 0x1.0000000000002p-1022,                  0x1p+0, 0x1.0000000000002p-1022,          0x0p+0, 0)
325T(RN, 0x1.0000000000002p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
326T(RN,               0x1p-1021,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
327T(RN,               0x1p-1021,                  0x1p+0,               0x1p-1021,          0x0p+0, 0)
328T(RN,               0x1p-1021,                     inf,                  0x0p+0,          0x0p+0, 0)
329T(RN,               0x1p-1021,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
330T(RN,               0x1p-1021,                 -0x1p+0,               0x1p+1021,          0x0p+0, 0)
331T(RN,               0x1p-1021,                    -inf,                     inf,          0x0p+0, 0)
332T(RN,               0x1p-1020,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
333T(RN,               0x1p-1020,                  0x1p-1,                0x1p-510,          0x0p+0, 0)
334T(RN,               0x1p-1020,                  0x1p+0,               0x1p-1020,          0x0p+0, 0)
335T(RN,               0x1p-1020,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
336T(RN,               0x1p-1020,                 -0x1p-1,                0x1p+510,          0x0p+0, 0)
337T(RN,               0x1p-1020,                 -0x1p+0,               0x1p+1020,          0x0p+0, 0)
338T(RN,                0x1p-537,                  0x1p+1,               0x1p-1074,          0x0p+0, 0)
339T(RN,                0x1p-148,                  0x1p-1,                 0x1p-74,          0x0p+0, 0)
340T(RN,                0x1p-148,                 -0x1p-1,                 0x1p+74,          0x0p+0, 0)
341T(RN,                0x1p-146,                  0x1p-1,                 0x1p-73,          0x0p+0, 0)
342T(RN,                0x1p-146,                 -0x1p-1,                 0x1p+73,          0x0p+0, 0)
343T(RN,                0x1p-128,                  0x1p-1,                 0x1p-64,          0x0p+0, 0)
344T(RN,                0x1p-128,                 -0x1p-1,                 0x1p+64,          0x0p+0, 0)
345T(RN,                0x1p-126,                  0x1p-1,                 0x1p-63,          0x0p+0, 0)
346T(RN,                0x1p-126,                 -0x1p-1,                 0x1p+63,          0x0p+0, 0)
347T(RN,                0x1p-124,                  0x1p-1,                 0x1p-62,          0x0p+0, 0)
348T(RN,                0x1p-124,                 -0x1p-1,                 0x1p+62,          0x0p+0, 0)
349T(RN,                 0x1p-69,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
350T(RN,                 0x1p-64,                  0x1p-6,                  0x1p-1,          0x0p+0, 0)
351T(RN,                 0x1p-64,                  0x1p-5,                  0x1p-2,          0x0p+0, 0)
352T(RN,                 0x1p-64,                  0x1p-4,                  0x1p-4,          0x0p+0, 0)
353T(RN,                 0x1p-64,                  0x1p-3,                  0x1p-8,          0x0p+0, 0)
354T(RN,                 0x1p-64,                  0x1p-2,                 0x1p-16,          0x0p+0, 0)
355T(RN,                 0x1p-62,                  0x1p-1,                 0x1p-31,          0x0p+0, 0)
356T(RN,                 0x1p-52,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
357T(RN,                 0x1p-52,                  0x1p+0,                 0x1p-52,          0x0p+0, 0)
358T(RN,                 0x1p-52,                     inf,                  0x0p+0,          0x0p+0, 0)
359T(RN,                 0x1p-52,                 -0x1p+0,                 0x1p+52,          0x0p+0, 0)
360T(RN,                 0x1p-52,                    -inf,                     inf,          0x0p+0, 0)
361T(RN,                 0x1p-51,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
362T(RN,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
363T(RN,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
364T(RN,                 0x1p-16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
365T(RN,                 0x1p-16,                  0x1p+2,                 0x1p-64,          0x0p+0, 0)
366T(RN,               0x1.2p-15,                  0x1p-1,                0x1.8p-8,          0x0p+0, 0)
367T(RN,                 0x1p-14,                  0x1p-1,                  0x1p-7,          0x0p+0, 0)
368T(RN,                  0x1p-8,                  0x1p-1,                  0x1p-4,          0x0p+0, 0)
369T(RN,                  0x1p-8,                  0x1p+3,                 0x1p-64,          0x0p+0, 0)
370T(RN,                  0x1p-8,                 -0x1p-1,                  0x1p+4,          0x0p+0, 0)
371T(RN,                0x1.2p-5,                  0x1p-1,                0x1.8p-3,          0x0p+0, 0)
372T(RN,                  0x1p-4,                  0x1p-1,                  0x1p-2,          0x0p+0, 0)
373T(RN,                  0x1p-4,                  0x1p+4,                 0x1p-64,          0x0p+0, 0)
374T(RN,                  0x1p-4,                 -0x1p-1,                  0x1p+2,          0x0p+0, 0)
375T(RN,                  0x1p-2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
376T(RN,                  0x1p-2,                  0x1p+0,                  0x1p-2,          0x0p+0, 0)
377T(RN,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
378T(RN,                  0x1p-2,                  0x1p+5,                 0x1p-64,          0x0p+0, 0)
379T(RN,                  0x1p-2,                     inf,                  0x0p+0,          0x0p+0, 0)
380T(RN,                  0x1p-2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
381T(RN,                  0x1p-2,                 -0x1p+0,                  0x1p+2,          0x0p+0, 0)
382T(RN,                  0x1p-2,                 -0x1p+1,                  0x1p+4,          0x0p+0, 0)
383T(RN,                  0x1p-2,                    -inf,                     inf,          0x0p+0, 0)
384T(RN,                  0x1p-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
385T(RN,                  0x1p-1,                  0x1p+0,                  0x1p-1,          0x0p+0, 0)
386T(RN,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
387T(RN,                  0x1p-1,                  0x1p+6,                 0x1p-64,          0x0p+0, 0)
388T(RN,                  0x1p-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
389T(RN,                  0x1p-1,                 -0x1p+0,                  0x1p+1,          0x0p+0, 0)
390T(RN,                  0x1p-1,                 -0x1p+1,                  0x1p+2,          0x0p+0, 0)
391T(RN,    0x1.ffffffffffffap-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
392T(RN,    0x1.ffffffffffffap-1,                  0x1p+0,    0x1.ffffffffffffap-1,          0x0p+0, 0)
393T(RN,    0x1.ffffffffffffap-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
394T(RN,    0x1.ffffffffffffbp-1,                  0x1p+0,    0x1.ffffffffffffbp-1,          0x0p+0, 0)
395T(RN,    0x1.ffffffffffffcp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
396T(RN,    0x1.ffffffffffffcp-1,                  0x1p+0,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
397T(RN,    0x1.ffffffffffffcp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
398T(RN,    0x1.ffffffffffffep-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
399T(RN,    0x1.ffffffffffffep-1,                  0x1p+0,    0x1.ffffffffffffep-1,          0x0p+0, 0)
400T(RN,    0x1.ffffffffffffep-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
401T(RN,    0x1.fffffffffffffp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
402T(RN,    0x1.fffffffffffffp-1,                  0x1p+0,    0x1.fffffffffffffp-1,          0x0p+0, 0)
403T(RN,    0x1.fffffffffffffp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
404T(RN,                  0x1p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
405T(RN,                  0x1p+0,                  0x1p-1,                  0x1p+0,          0x0p+0, 0)
406T(RN,                  0x1p+0,                  0x1p+0,                  0x1p+0,          0x0p+0, 0)
407T(RN,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
408T(RN,                  0x1p+0,                0x1.8p+1,                  0x1p+0,          0x0p+0, 0)
409T(RN,                  0x1p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
410T(RN,                  0x1p+0,                 -0x1p-1,                  0x1p+0,          0x0p+0, 0)
411T(RN,                  0x1p+0,                 -0x1p+0,                  0x1p+0,          0x0p+0, 0)
412T(RN,                  0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
413T(RN,                  0x1p+0,               -0x1.8p+1,                  0x1p+0,          0x0p+0, 0)
414T(RN,    0x1.0000000000001p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
415T(RN,    0x1.0000000000001p+0,                  0x1p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
416T(RN,    0x1.0000000000001p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
417T(RN,    0x1.0000000000002p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
418T(RN,    0x1.0000000000002p+0,                  0x1p+0,    0x1.0000000000002p+0,          0x0p+0, 0)
419T(RN,    0x1.0000000000002p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
420T(RN,    0x1.0000000000004p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
421T(RN,    0x1.0000000000004p+0,                  0x1p+0,    0x1.0000000000004p+0,          0x0p+0, 0)
422T(RN,    0x1.0000000000004p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
423T(RN,    0x1.0000000000005p+0,                  0x1p+0,    0x1.0000000000005p+0,          0x0p+0, 0)
424T(RN,                  0x1p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
425T(RN,                  0x1p+1,                  0x1p+0,                  0x1p+1,          0x0p+0, 0)
426T(RN,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
427T(RN,                  0x1p+1,               0x1.fcp+6,                0x1p+127,          0x0p+0, 0)
428T(RN,                  0x1p+1,                  0x1p+7,                0x1p+128,          0x0p+0, 0)
429T(RN,                  0x1p+1,              0x1.ff8p+9,               0x1p+1023,          0x0p+0, 0)
430T(RN,                  0x1p+1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
431T(RN,                  0x1p+1,                 -0x1p+0,                  0x1p-1,          0x0p+0, 0)
432T(RN,                  0x1p+1,                 -0x1p+1,                  0x1p-2,          0x0p+0, 0)
433T(RN,                  0x1p+1,               -0x1.2p+3,                  0x1p-9,          0x0p+0, 0)
434T(RN,                  0x1p+1,              -0x1.2ap+7,                0x1p-149,          0x0p+0, 0)
435T(RN,                  0x1p+1,              -0x1.2cp+7,                0x1p-150,          0x0p+0, 0)
436T(RN,                  0x1p+1,              -0x1.2ep+7,                0x1p-151,          0x0p+0, 0)
437T(RN,                  0x1p+1,            -0x1.0c8p+10,               0x1p-1074,          0x0p+0, 0)
438T(RN,    0x1.0000000000005p+1,                     inf,                     inf,          0x0p+0, 0)
439T(RN,    0x1.0000000000005p+1,                    -inf,                  0x0p+0,          0x0p+0, 0)
440T(RN,                0x1.8p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
441T(RN,                0x1.8p+1,                  0x1p+0,                0x1.8p+1,          0x0p+0, 0)
442T(RN,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
443T(RN,                  0x1p+2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
444T(RN,                  0x1p+2,                  0x1p-1,                  0x1p+1,          0x0p+0, 0)
445T(RN,                  0x1p+2,                  0x1p+0,                  0x1p+2,          0x0p+0, 0)
446T(RN,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
447T(RN,                  0x1p+2,                0x1.6p+2,                 0x1p+11,          0x0p+0, 0)
448T(RN,                  0x1p+2,               0x1.3bp+7,                0x1p+315,          0x0p+0, 0)
449T(RN,                  0x1p+2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
450T(RN,                  0x1p+2,                 -0x1p-1,                  0x1p-1,          0x0p+0, 0)
451T(RN,                  0x1p+2,                 -0x1p+0,                  0x1p-2,          0x0p+0, 0)
452T(RN,                  0x1p+2,                 -0x1p+1,                  0x1p-4,          0x0p+0, 0)
453T(RN,                  0x1p+2,               -0x1.8p+1,                  0x1p-6,          0x0p+0, 0)
454T(RN,                  0x1p+2,               -0x1.fp+4,                 0x1p-62,          0x0p+0, 0)
455T(RN,                  0x1p+3,                  0x1p+3,                 0x1p+24,          0x0p+0, 0)
456T(RN,                  0x1p+3,                 -0x1p+3,                 0x1p-24,          0x0p+0, 0)
457T(RN,                0x1.2p+3,                  0x1p-1,                0x1.8p+1,          0x0p+0, 0)
458T(RN,                  0x1p+4,                 -0x1p+4,                 0x1p-64,          0x0p+0, 0)
459T(RN,                0x1.bp+4,                  0x1p+0,                0x1.bp+4,          0x0p+0, 0)
460T(RN,                  0x1p+5,                  0x1p+0,                  0x1p+5,          0x0p+0, 0)
461T(RN,                  0x1p+5,                 -0x1p+0,                  0x1p-5,          0x0p+0, 0)
462T(RN,                  0x1p+7,               -0x1.2p+3,                 0x1p-63,          0x0p+0, 0)
463T(RN,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
464T(RN,               0x1.fep+7,                     inf,                     inf,          0x0p+0, 0)
465T(RN,               0x1.fep+7,                    -inf,                  0x0p+0,          0x0p+0, 0)
466T(RN,                  0x1p+8,                  0x1p-1,                  0x1p+4,          0x0p+0, 0)
467T(RN,                  0x1p+8,                0x1.8p+0,                 0x1p+12,          0x0p+0, 0)
468T(RN,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
469T(RN,                  0x1p+8,                0x1.8p+1,                 0x1p+24,          0x0p+0, 0)
470T(RN,                  0x1p+8,                     inf,                     inf,          0x0p+0, 0)
471T(RN,                  0x1p+8,                 -0x1p-1,                  0x1p-4,          0x0p+0, 0)
472T(RN,                  0x1p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
473T(RN,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
474T(RN,               0x1.01p+8,                     inf,                     inf,          0x0p+0, 0)
475T(RN,               0x1.01p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
476T(RN,                  0x1p+9,                  0x1p+0,                  0x1p+9,          0x0p+0, 0)
477T(RN,                  0x1p+9,                 -0x1p+0,                  0x1p-9,          0x0p+0, 0)
478T(RN,                 0x1p+10,                  0x1p-1,                  0x1p+5,          0x0p+0, 0)
479T(RN,                 0x1p+10,                0x1.8p+0,                 0x1p+15,          0x0p+0, 0)
480T(RN,               0x1.2p+11,                  0x1p-1,                0x1.8p+5,          0x0p+0, 0)
481T(RN,             0x1.d8ap+13,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
482T(RN,                 0x1p+14,                  0x1p-1,                  0x1p+7,          0x0p+0, 0)
483T(RN,            0x1.9f24p+14,                  0x1p-1,               0x1.46p+7,          0x0p+0, 0)
484T(RN,            0x1.b3c4p+14,                  0x1p-1,               0x1.4ep+7,          0x0p+0, 0)
485T(RN,            0x1.d3a4p+14,                  0x1p-1,               0x1.5ap+7,          0x0p+0, 0)
486T(RN,            0x1.f4a4p+14,                  0x1p-1,               0x1.66p+7,          0x0p+0, 0)
487T(RN,            0x1.ffe4p+14,                  0x1p-1,               0x1.6ap+7,          0x0p+0, 0)
488T(RN,                 0x1p+16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
489T(RN,                 0x1p+16,                  0x1p+0,                 0x1p+16,          0x0p+0, 0)
490T(RN,                 0x1p+16,                 -0x1p+0,                 0x1p-16,          0x0p+0, 0)
491T(RN,               0x1.2p+21,                  0x1p-1,               0x1.8p+10,          0x0p+0, 0)
492T(RN,                 0x1p+47,               -0x1.8p+1,                0x1p-141,          0x0p+0, 0)
493T(RN,                 0x1p+94,               -0x1.8p+0,                0x1p-141,          0x0p+0, 0)
494T(RN,                0x1p+124,                  0x1p-1,                 0x1p+62,          0x0p+0, 0)
495T(RN,                0x1p+124,                 -0x1p-1,                 0x1p-62,          0x0p+0, 0)
496T(RN,                0x1p+126,                  0x1p-1,                 0x1p+63,          0x0p+0, 0)
497T(RN,                0x1p+126,                 -0x1p-1,                 0x1p-63,          0x0p+0, 0)
498T(RN,                0x1p+350,               -0x1.8p+1,               0x1p-1050,          0x0p+0, 0)
499T(RN,                0x1p+700,               -0x1.8p+0,               0x1p-1050,          0x0p+0, 0)
500T(RN,               0x1p+1015,                  0x1p+0,               0x1p+1015,          0x0p+0, 0)
501T(RN,               0x1p+1020,                  0x1p-1,                0x1p+510,          0x0p+0, 0)
502T(RN,               0x1p+1020,                 -0x1p-1,                0x1p-510,          0x0p+0, 0)
503T(RN,               0x1p+1020,                 -0x1p+0,               0x1p-1020,          0x0p+0, 0)
504T(RN,               0x1p+1021,                     inf,                     inf,          0x0p+0, 0)
505T(RN,               0x1p+1021,                 -0x1p+0,               0x1p-1021,          0x0p+0, 0)
506T(RN,               0x1p+1021,                    -inf,                  0x0p+0,          0x0p+0, 0)
507T(RN,               0x1p+1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
508T(RN,               0x1p+1022,                  0x1p-1,                0x1p+511,          0x0p+0, 0)
509T(RN,               0x1p+1022,                  0x1p+0,               0x1p+1022,          0x0p+0, 0)
510T(RN,               0x1p+1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
511T(RN,               0x1p+1022,                 -0x1p-1,                0x1p-511,          0x0p+0, 0)
512T(RN,               0x1p+1022,                 -0x1p+0,               0x1p-1022,          0x0p+0, 0)
513T(RN,               0x1p+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
514T(RN,               0x1p+1023,                  0x1p+0,               0x1p+1023,          0x0p+0, 0)
515T(RN,               0x1p+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
516T(RN,               0x1p+1023,                 -0x1p+0,               0x1p-1023,          0x0p+0, 0)
517T(RN, 0x1.ffffffffffffep+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
518T(RN, 0x1.ffffffffffffep+1023,                  0x1p+0, 0x1.ffffffffffffep+1023,          0x0p+0, 0)
519T(RN, 0x1.ffffffffffffep+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
520T(RN, 0x1.fffffffffffffp+1023,                     inf,                     inf,          0x0p+0, 0)
521T(RN, 0x1.fffffffffffffp+1023,                    -inf,                  0x0p+0,          0x0p+0, 0)
522T(RN,                     inf,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
523T(RN,                     inf,                  0x1p-1,                     inf,          0x0p+0, 0)
524T(RN,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
525T(RN,                     inf,               0x1.fep+7,                     inf,          0x0p+0, 0)
526T(RN,                     inf,                  0x1p+8,                     inf,          0x0p+0, 0)
527T(RN,                     inf,               0x1.01p+8,                     inf,          0x0p+0, 0)
528T(RN,                     inf,            0x1.fffcp+14,                     inf,          0x0p+0, 0)
529T(RN,                     inf,                 -0x1p-1,                  0x0p+0,          0x0p+0, 0)
530T(RN,                     inf,                 -0x1p+0,                  0x0p+0,          0x0p+0, 0)
531T(RN,                     inf,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
532T(RN,                     inf,              -0x1.fep+7,                  0x0p+0,          0x0p+0, 0)
533T(RN,                     inf,                 -0x1p+8,                  0x0p+0,          0x0p+0, 0)
534T(RN,                     inf,              -0x1.01p+8,                  0x0p+0,          0x0p+0, 0)
535T(RN,                     inf,           -0x1.fffcp+14,                  0x0p+0,          0x0p+0, 0)
536T(RN,                     inf,                -0x1p+15,                  0x0p+0,          0x0p+0, 0)
537T(RN,                 -0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
538T(RN,                 -0x0p+0,                0x1.cp+2,                 -0x0p+0,          0x0p+0, 0)
539T(RN,                 -0x0p+0,            0x1.fff8p+14,                  0x0p+0,          0x0p+0, 0)
540T(RN,                 -0x0p+0,            0x1.fffcp+14,                 -0x0p+0,          0x0p+0, 0)
541T(RN,              -0x1p-1074,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
542T(RN,              -0x1p-1074,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
543T(RN,              -0x1p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
544T(RN,              -0x1p-1073,                  0x1p+0,              -0x1p-1073,          0x0p+0, 0)
545T(RN,              -0x1p-1073,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
546T(RN,            -0x1.8p-1073,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
547T(RN,              -0x1p-1024,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
548T(RN,              -0x1p-1024,                  0x1p+0,              -0x1p-1024,          0x0p+0, 0)
549T(RN,              -0x1p-1024,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
550T(RN,              -0x1p-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
551T(RN,              -0x1p-1023,                  0x1p+0,              -0x1p-1023,          0x0p+0, 0)
552T(RN,              -0x1p-1023,                     inf,                  0x0p+0,          0x0p+0, 0)
553T(RN,              -0x1p-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
554T(RN,              -0x1p-1023,                 -0x1p+0,              -0x1p+1023,          0x0p+0, 0)
555T(RN,              -0x1p-1023,                    -inf,                     inf,          0x0p+0, 0)
556T(RN,-0x1.ffffffffffffcp-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
557T(RN,-0x1.ffffffffffffcp-1023,                  0x1p+0,-0x1.ffffffffffffcp-1023,          0x0p+0, 0)
558T(RN,-0x1.ffffffffffffcp-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
559T(RN,-0x1.ffffffffffffep-1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
560T(RN,-0x1.ffffffffffffep-1023,                  0x1p+0,-0x1.ffffffffffffep-1023,          0x0p+0, 0)
561T(RN,-0x1.ffffffffffffep-1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
562T(RN,              -0x1p-1022,                     inf,                  0x0p+0,          0x0p+0, 0)
563T(RN,              -0x1p-1022,                 -0x1p+0,              -0x1p+1022,          0x0p+0, 0)
564T(RN,              -0x1p-1022,                    -inf,                     inf,          0x0p+0, 0)
565T(RN,-0x1.0000000000001p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
566T(RN,-0x1.0000000000001p-1022,                  0x1p+0,-0x1.0000000000001p-1022,          0x0p+0, 0)
567T(RN,-0x1.0000000000001p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
568T(RN,-0x1.0000000000002p-1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
569T(RN,-0x1.0000000000002p-1022,                  0x1p+0,-0x1.0000000000002p-1022,          0x0p+0, 0)
570T(RN,-0x1.0000000000002p-1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
571T(RN,              -0x1p-1021,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
572T(RN,              -0x1p-1021,                  0x1p+0,              -0x1p-1021,          0x0p+0, 0)
573T(RN,              -0x1p-1021,                     inf,                  0x0p+0,          0x0p+0, 0)
574T(RN,              -0x1p-1021,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
575T(RN,              -0x1p-1021,                 -0x1p+0,              -0x1p+1021,          0x0p+0, 0)
576T(RN,              -0x1p-1021,                    -inf,                     inf,          0x0p+0, 0)
577T(RN,              -0x1p-1020,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
578T(RN,              -0x1p-1020,                  0x1p+0,              -0x1p-1020,          0x0p+0, 0)
579T(RN,              -0x1p-1020,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
580T(RN,              -0x1p-1020,                 -0x1p+0,              -0x1p+1020,          0x0p+0, 0)
581T(RN,               -0x1p-537,                  0x1p+1,               0x1p-1074,          0x0p+0, 0)
582T(RN,                -0x1p-69,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
583T(RN,                -0x1p-52,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
584T(RN,                -0x1p-52,                  0x1p+0,                -0x1p-52,          0x0p+0, 0)
585T(RN,                -0x1p-52,                     inf,                  0x0p+0,          0x0p+0, 0)
586T(RN,                -0x1p-52,                 -0x1p+0,                -0x1p+52,          0x0p+0, 0)
587T(RN,                -0x1p-52,                    -inf,                     inf,          0x0p+0, 0)
588T(RN,                -0x1p-51,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
589T(RN,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
590T(RN,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
591T(RN,                -0x1p-16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
592T(RN,                -0x1p-16,                  0x1p+2,                 0x1p-64,          0x0p+0, 0)
593T(RN,                 -0x1p-8,                  0x1p+3,                 0x1p-64,          0x0p+0, 0)
594T(RN,                 -0x1p-4,                  0x1p+4,                 0x1p-64,          0x0p+0, 0)
595T(RN,                 -0x1p-2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
596T(RN,                 -0x1p-2,                  0x1p+0,                 -0x1p-2,          0x0p+0, 0)
597T(RN,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
598T(RN,                 -0x1p-2,                  0x1p+5,                 0x1p-64,          0x0p+0, 0)
599T(RN,                 -0x1p-2,                     inf,                  0x0p+0,          0x0p+0, 0)
600T(RN,                 -0x1p-2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
601T(RN,                 -0x1p-2,                 -0x1p+0,                 -0x1p+2,          0x0p+0, 0)
602T(RN,                 -0x1p-2,                 -0x1p+1,                  0x1p+4,          0x0p+0, 0)
603T(RN,                 -0x1p-2,                    -inf,                     inf,          0x0p+0, 0)
604T(RN,                 -0x1p-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
605T(RN,                 -0x1p-1,                  0x1p+0,                 -0x1p-1,          0x0p+0, 0)
606T(RN,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
607T(RN,                 -0x1p-1,                  0x1p+6,                 0x1p-64,          0x0p+0, 0)
608T(RN,                 -0x1p-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
609T(RN,                 -0x1p-1,                 -0x1p+0,                 -0x1p+1,          0x0p+0, 0)
610T(RN,                 -0x1p-1,                 -0x1p+1,                  0x1p+2,          0x0p+0, 0)
611T(RN,   -0x1.ffffffffffffap-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
612T(RN,   -0x1.ffffffffffffap-1,                  0x1p+0,   -0x1.ffffffffffffap-1,          0x0p+0, 0)
613T(RN,   -0x1.ffffffffffffap-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
614T(RN,   -0x1.ffffffffffffbp-1,                  0x1p+0,   -0x1.ffffffffffffbp-1,          0x0p+0, 0)
615T(RN,   -0x1.ffffffffffffcp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
616T(RN,   -0x1.ffffffffffffcp-1,                  0x1p+0,   -0x1.ffffffffffffcp-1,          0x0p+0, 0)
617T(RN,   -0x1.ffffffffffffcp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
618T(RN,   -0x1.ffffffffffffep-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
619T(RN,   -0x1.ffffffffffffep-1,                  0x1p+0,   -0x1.ffffffffffffep-1,          0x0p+0, 0)
620T(RN,   -0x1.ffffffffffffep-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
621T(RN,   -0x1.fffffffffffffp-1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
622T(RN,   -0x1.fffffffffffffp-1,                  0x1p+0,   -0x1.fffffffffffffp-1,          0x0p+0, 0)
623T(RN,   -0x1.fffffffffffffp-1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
624T(RN,                 -0x1p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
625T(RN,                 -0x1p+0,                  0x1p+0,                 -0x1p+0,          0x0p+0, 0)
626T(RN,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
627T(RN,                 -0x1p+0,                0x1.8p+1,                 -0x1p+0,          0x0p+0, 0)
628T(RN,                 -0x1p+0,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
629T(RN,                 -0x1p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
630T(RN,                 -0x1p+0,                 -0x1p+0,                 -0x1p+0,          0x0p+0, 0)
631T(RN,                 -0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
632T(RN,   -0x1.0000000000001p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
633T(RN,   -0x1.0000000000001p+0,                  0x1p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
634T(RN,   -0x1.0000000000001p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
635T(RN,   -0x1.0000000000002p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
636T(RN,   -0x1.0000000000002p+0,                  0x1p+0,   -0x1.0000000000002p+0,          0x0p+0, 0)
637T(RN,   -0x1.0000000000002p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
638T(RN,   -0x1.0000000000004p+0,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
639T(RN,   -0x1.0000000000004p+0,                  0x1p+0,   -0x1.0000000000004p+0,          0x0p+0, 0)
640T(RN,   -0x1.0000000000004p+0,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
641T(RN,   -0x1.0000000000005p+0,                  0x1p+0,   -0x1.0000000000005p+0,          0x0p+0, 0)
642T(RN,                 -0x1p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
643T(RN,                 -0x1p+1,                  0x1p+0,                 -0x1p+1,          0x0p+0, 0)
644T(RN,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
645T(RN,                 -0x1p+1,               0x1.fcp+6,               -0x1p+127,          0x0p+0, 0)
646T(RN,                 -0x1p+1,                  0x1p+7,                0x1p+128,          0x0p+0, 0)
647T(RN,                 -0x1p+1,              0x1.ff8p+9,              -0x1p+1023,          0x0p+0, 0)
648T(RN,                 -0x1p+1,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
649T(RN,                 -0x1p+1,                 -0x1p+0,                 -0x1p-1,          0x0p+0, 0)
650T(RN,                 -0x1p+1,                 -0x1p+1,                  0x1p-2,          0x0p+0, 0)
651T(RN,                 -0x1p+1,               -0x1.2p+3,                 -0x1p-9,          0x0p+0, 0)
652T(RN,                 -0x1p+1,              -0x1.2ap+7,               -0x1p-149,          0x0p+0, 0)
653T(RN,                 -0x1p+1,              -0x1.2cp+7,                0x1p-150,          0x0p+0, 0)
654T(RN,                 -0x1p+1,              -0x1.2ep+7,               -0x1p-151,          0x0p+0, 0)
655T(RN,                 -0x1p+1,            -0x1.0c8p+10,               0x1p-1074,          0x0p+0, 0)
656T(RN,   -0x1.0000000000005p+1,                     inf,                     inf,          0x0p+0, 0)
657T(RN,   -0x1.0000000000005p+1,                    -inf,                  0x0p+0,          0x0p+0, 0)
658T(RN,               -0x1.8p+1,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
659T(RN,               -0x1.8p+1,                  0x1p+0,               -0x1.8p+1,          0x0p+0, 0)
660T(RN,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
661T(RN,                 -0x1p+2,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
662T(RN,                 -0x1p+2,                  0x1p+0,                 -0x1p+2,          0x0p+0, 0)
663T(RN,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
664T(RN,                 -0x1p+2,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
665T(RN,                 -0x1p+2,                 -0x1p+0,                 -0x1p-2,          0x0p+0, 0)
666T(RN,                 -0x1p+2,                 -0x1p+1,                  0x1p-4,          0x0p+0, 0)
667T(RN,                 -0x1p+2,               -0x1.8p+1,                 -0x1p-6,          0x0p+0, 0)
668T(RN,                 -0x1p+2,               -0x1.fp+4,                -0x1p-62,          0x0p+0, 0)
669T(RN,                 -0x1p+3,                0x1.cp+2,                -0x1p+21,          0x0p+0, 0)
670T(RN,                 -0x1p+3,                  0x1p+3,                 0x1p+24,          0x0p+0, 0)
671T(RN,                 -0x1p+3,               -0x1.cp+2,                -0x1p-21,          0x0p+0, 0)
672T(RN,                 -0x1p+3,                 -0x1p+3,                 0x1p-24,          0x0p+0, 0)
673T(RN,                 -0x1p+4,                 -0x1p+4,                 0x1p-64,          0x0p+0, 0)
674T(RN,               -0x1.bp+4,                  0x1p+0,               -0x1.bp+4,          0x0p+0, 0)
675T(RN,                 -0x1p+5,                  0x1p+0,                 -0x1p+5,          0x0p+0, 0)
676T(RN,                 -0x1p+5,                 -0x1p+0,                 -0x1p-5,          0x0p+0, 0)
677T(RN,                 -0x1p+7,               -0x1.2p+3,                -0x1p-63,          0x0p+0, 0)
678T(RN,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
679T(RN,              -0x1.fep+7,                     inf,                     inf,          0x0p+0, 0)
680T(RN,              -0x1.fep+7,                    -inf,                  0x0p+0,          0x0p+0, 0)
681T(RN,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
682T(RN,                 -0x1p+8,                0x1.8p+1,                -0x1p+24,          0x0p+0, 0)
683T(RN,                 -0x1p+8,                     inf,                     inf,          0x0p+0, 0)
684T(RN,                 -0x1p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
685T(RN,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
686T(RN,              -0x1.01p+8,                     inf,                     inf,          0x0p+0, 0)
687T(RN,              -0x1.01p+8,                    -inf,                  0x0p+0,          0x0p+0, 0)
688T(RN,                 -0x1p+9,                  0x1p+0,                 -0x1p+9,          0x0p+0, 0)
689T(RN,                 -0x1p+9,                 -0x1p+0,                 -0x1p-9,          0x0p+0, 0)
690T(RN,            -0x1.d8ap+13,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
691T(RN,                -0x1p+16,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
692T(RN,                -0x1p+16,                  0x1p+0,                -0x1p+16,          0x0p+0, 0)
693T(RN,                -0x1p+16,                 -0x1p+0,                -0x1p-16,          0x0p+0, 0)
694T(RN,                -0x1p+47,               -0x1.8p+1,               -0x1p-141,          0x0p+0, 0)
695T(RN,               -0x1p+350,               -0x1.8p+1,              -0x1p-1050,          0x0p+0, 0)
696T(RN,              -0x1p+1015,                  0x1p+0,              -0x1p+1015,          0x0p+0, 0)
697T(RN,              -0x1p+1020,                 -0x1p+0,              -0x1p-1020,          0x0p+0, 0)
698T(RN,              -0x1p+1021,                     inf,                     inf,          0x0p+0, 0)
699T(RN,              -0x1p+1021,                 -0x1p+0,              -0x1p-1021,          0x0p+0, 0)
700T(RN,              -0x1p+1021,                    -inf,                  0x0p+0,          0x0p+0, 0)
701T(RN,              -0x1p+1022,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
702T(RN,              -0x1p+1022,                  0x1p+0,              -0x1p+1022,          0x0p+0, 0)
703T(RN,              -0x1p+1022,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
704T(RN,              -0x1p+1022,                 -0x1p+0,              -0x1p-1022,          0x0p+0, 0)
705T(RN,              -0x1p+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
706T(RN,              -0x1p+1023,                  0x1p+0,              -0x1p+1023,          0x0p+0, 0)
707T(RN,              -0x1p+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
708T(RN,              -0x1p+1023,                 -0x1p+0,              -0x1p-1023,          0x0p+0, 0)
709T(RN,-0x1.ffffffffffffep+1023,                  0x0p+0,                  0x1p+0,          0x0p+0, 0)
710T(RN,-0x1.ffffffffffffep+1023,                  0x1p+0,-0x1.ffffffffffffep+1023,          0x0p+0, 0)
711T(RN,-0x1.ffffffffffffep+1023,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
712T(RN,-0x1.fffffffffffffp+1023,                     inf,                     inf,          0x0p+0, 0)
713T(RN,-0x1.fffffffffffffp+1023,                    -inf,                  0x0p+0,          0x0p+0, 0)
714T(RN,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
715T(RN,                    -inf,               0x1.fep+7,                    -inf,          0x0p+0, 0)
716T(RN,                    -inf,                  0x1p+8,                     inf,          0x0p+0, 0)
717T(RN,                    -inf,               0x1.01p+8,                    -inf,          0x0p+0, 0)
718T(RN,                    -inf,            0x1.fff8p+14,                     inf,          0x0p+0, 0)
719T(RN,                    -inf,            0x1.fffcp+14,                    -inf,          0x0p+0, 0)
720T(RN,                    -inf,                 -0x0p+0,                  0x1p+0,          0x0p+0, 0)
721T(RN,                    -inf,                 -0x1p-1,                  0x0p+0,          0x0p+0, 0)
722T(RN,                    -inf,                 -0x1p+0,                 -0x0p+0,          0x0p+0, 0)
723T(RN,                    -inf,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
724T(RN,                    -inf,              -0x1.fep+7,                 -0x0p+0,          0x0p+0, 0)
725T(RN,                    -inf,                 -0x1p+8,                  0x0p+0,          0x0p+0, 0)
726T(RN,                    -inf,              -0x1.01p+8,                 -0x0p+0,          0x0p+0, 0)
727T(RN,                    -inf,           -0x1.fffcp+14,                 -0x0p+0,          0x0p+0, 0)
728T(RN,                    -inf,                -0x1p+15,                  0x0p+0,          0x0p+0, 0)
729T(RN,                  0x0p+0,                 -0x1p-1,                     inf,          0x0p+0, DIVBYZERO)
730T(RN,                  0x0p+0,                 -0x1p+0,                     inf,          0x0p+0, DIVBYZERO)
731T(RN,                  0x0p+0,                 -0x1p+1,                     inf,          0x0p+0, DIVBYZERO)
732T(RN,                  0x0p+0,               -0x1.2p+3,                     inf,          0x0p+0, DIVBYZERO)
733T(RN,                  0x0p+0,                 -0x1p+8,                     inf,          0x0p+0, DIVBYZERO)
734T(RN,                  0x0p+0,           -0x1.fffcp+14,                     inf,          0x0p+0, DIVBYZERO)
735T(RN,                  0x0p+0,                -0x1p+15,                     inf,          0x0p+0, DIVBYZERO)
736T(RN,                 -0x0p+0,                 -0x1p-1,                     inf,          0x0p+0, DIVBYZERO)
737T(RN,                 -0x0p+0,               -0x1.2p+3,                    -inf,          0x0p+0, DIVBYZERO)
738T(RN,                 -0x0p+0,                 -0x1p+8,                     inf,          0x0p+0, DIVBYZERO)
739T(RN,                 -0x0p+0,           -0x1.fffcp+14,                    -inf,          0x0p+0, DIVBYZERO)
740T(RN,                 -0x0p+0,                -0x1p+15,                     inf,          0x0p+0, DIVBYZERO)
741T(RN, 0x1.0000000000004p-1024,                 -0x1p+0, 0x1.ffffffffffff8p+1023,        -0x1p-47, INEXACT)
742T(RN, 0x1.ffffffffffffcp-1023,                 -0x1p-1,  0x1.0000000000001p+511,      -0x1.8p-52, INEXACT)
743T(RN, 0x1.ffffffffffffep-1023,                  0x1p-1,  0x1.fffffffffffffp-512,  0x1.000008p-54, INEXACT)
744T(RN, 0x1.ffffffffffffep-1023,                 -0x1p+0, 0x1.0000000000001p+1022,        -0x1p-52, INEXACT)
745T(RN, 0x1.0000000000001p-1022,                 -0x1p+0, 0x1.ffffffffffffep+1021,        -0x1p-51, INEXACT)
746T(RN, 0x1.0000000000002p-1022,                  0x1p-1,  0x1.0000000000001p-511,  0x1.fffff8p-54, INEXACT)
747T(RN, 0x1.0000000000002p-1022,                 -0x1p-1,  0x1.ffffffffffffep+510,      -0x1.8p-51, INEXACT)
748T(RN, 0x1.0000000000002p-1022,                 -0x1p+0, 0x1.ffffffffffffcp+1021,        -0x1p-49, INEXACT)
749T(RN,    0x1.ffffffffffff8p-1,                  0x1p-1,    0x1.ffffffffffffcp-1,         0x1p-50, INEXACT)
750T(RN,    0x1.ffffffffffff8p-1,                 -0x1p-1,    0x1.0000000000002p+0,      -0x1.8p-50, INEXACT)
751T(RN,    0x1.ffffffffffff8p-1,                 -0x1p+0,    0x1.0000000000004p+0,        -0x1p-48, INEXACT)
752T(RN,    0x1.ffffffffffff8p-1,                 -0x1p+1,    0x1.0000000000008p+0,      -0x1.8p-47, INEXACT)
753T(RN,    0x1.ffffffffffff9p-1,                  0x1p-1,    0x1.ffffffffffffcp-1,         -0x1p-1, INEXACT)
754T(RN,    0x1.ffffffffffffap-1,                  0x1p-1,    0x1.ffffffffffffdp-1,       0x1.2p-51, INEXACT)
755T(RN,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
756T(RN,    0x1.ffffffffffffap-1,                 -0x1p+0,    0x1.0000000000003p+0,      -0x1.2p-49, INEXACT)
757T(RN,    0x1.ffffffffffffap-1,                 -0x1p+1,    0x1.0000000000006p+0,      -0x1.bp-48, INEXACT)
758T(RN,    0x1.ffffffffffffcp-1,                  0x1p-1,    0x1.ffffffffffffep-1,  0x1.000002p-52, INEXACT)
759T(RN,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
760T(RN,    0x1.ffffffffffffcp-1,                 -0x1p-1,    0x1.0000000000001p+0,      -0x1.8p-52, INEXACT)
761T(RN,    0x1.ffffffffffffcp-1,                 -0x1p+0,    0x1.0000000000002p+0,        -0x1p-50, INEXACT)
762T(RN,    0x1.ffffffffffffcp-1,                 -0x1p+1,    0x1.0000000000004p+0,      -0x1.8p-49, INEXACT)
763T(RN,    0x1.ffffffffffffdp-1,                  0x1p-1,    0x1.ffffffffffffep-1,         -0x1p-1, INEXACT)
764T(RN,    0x1.ffffffffffffdp-1,    0x1.fffffffffffffp-1,    0x1.ffffffffffffdp-1,      -0x1.8p-52, INEXACT)
765T(RN,    0x1.ffffffffffffdp-1,    0x1.0000000000001p+0,    0x1.ffffffffffffdp-1,       0x1.8p-51, INEXACT)
766T(RN,    0x1.ffffffffffffdp-1,    0x1.fffffffffffffp+0,    0x1.ffffffffffffap-1,      -0x1.ep-50, INEXACT)
767T(RN,    0x1.ffffffffffffdp-1,    0x1.0000000000001p+1,    0x1.ffffffffffffap-1,  0x1.7ffffep-52, INEXACT)
768T(RN,    0x1.ffffffffffffdp-1,    0x1.7fffffffffffep+1,    0x1.ffffffffffff7p-1,     -0x1.98p-48, INEXACT)
769T(RN,    0x1.ffffffffffffdp-1,    0x1.8000000000002p+1,    0x1.ffffffffffff7p-1,      -0x1.8p-52, INEXACT)
770T(RN,    0x1.ffffffffffffdp-1,   -0x1.fffffffffffffp-1,    0x1.0000000000002p+0,          0x1p-1, INEXACT)
771T(RN,    0x1.ffffffffffffdp-1,   -0x1.0000000000001p+0,    0x1.0000000000002p+0,          0x1p-1, INEXACT)
772T(RN,    0x1.ffffffffffffdp-1,   -0x1.fffffffffffffp+0,    0x1.0000000000003p+0,      -0x1.5p-50, INEXACT)
773T(RN,    0x1.ffffffffffffdp-1,   -0x1.0000000000001p+1,    0x1.0000000000003p+0,     -0x1.38p-49, INEXACT)
774T(RN,    0x1.ffffffffffffep-1,                  0x1p-1,    0x1.fffffffffffffp-1,  0x1.000008p-54, INEXACT)
775T(RN,    0x1.ffffffffffffep-1,    0x1.ffffffffffffep-1,    0x1.ffffffffffffep-1,        -0x1p-51, INEXACT)
776T(RN,    0x1.ffffffffffffep-1,    0x1.fffffffffffffp-1,    0x1.ffffffffffffep-1,        -0x1p-52, INEXACT)
777T(RN,    0x1.ffffffffffffep-1,    0x1.0000000000001p+0,    0x1.ffffffffffffep-1,  0x1.fffffep-52, INEXACT)
778T(RN,    0x1.ffffffffffffep-1,    0x1.fffffffffffffp+0,    0x1.ffffffffffffcp-1,        -0x1p-50, INEXACT)
779T(RN,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
780T(RN,    0x1.ffffffffffffep-1,    0x1.0000000000001p+1,    0x1.ffffffffffffcp-1,  0x1.fffffep-52, INEXACT)
781T(RN,    0x1.ffffffffffffep-1,    0x1.7fffffffffffep+1,    0x1.ffffffffffffap-1,      -0x1.cp-49, INEXACT)
782T(RN,    0x1.ffffffffffffep-1,    0x1.8000000000002p+1,    0x1.ffffffffffffap-1,  0x1.fffffep-52, INEXACT)
783T(RN,    0x1.ffffffffffffep-1,   -0x1.ffffffffffffep-1,    0x1.0000000000001p+0,          0x0p+0, INEXACT)
784T(RN,    0x1.ffffffffffffep-1,   -0x1.fffffffffffffp-1,    0x1.0000000000001p+0,        -0x1p-53, INEXACT)
785T(RN,    0x1.ffffffffffffep-1,                 -0x1p+0,    0x1.0000000000001p+0,        -0x1p-52, INEXACT)
786T(RN,    0x1.ffffffffffffep-1,   -0x1.0000000000001p+0,    0x1.0000000000001p+0,        -0x1p-51, INEXACT)
787T(RN,    0x1.ffffffffffffep-1,   -0x1.fffffffffffffp+0,    0x1.0000000000002p+0,        -0x1p-51, INEXACT)
788T(RN,    0x1.ffffffffffffep-1,                 -0x1p+1,    0x1.0000000000002p+0,      -0x1.8p-51, INEXACT)
789T(RN,    0x1.ffffffffffffep-1,   -0x1.0000000000001p+1,    0x1.0000000000002p+0,      -0x1.4p-50, INEXACT)
790T(RN,    0x1.ffffffffffffep-1,   -0x1.7fffffffffffep+1,    0x1.0000000000003p+0,        -0x1p-51, INEXACT)
791T(RN,    0x1.ffffffffffffep-1,   -0x1.8000000000002p+1,    0x1.0000000000003p+0,      -0x1.4p-49, INEXACT)
792T(RN,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp-1,        -0x1p-53, INEXACT)
793T(RN,    0x1.fffffffffffffp-1,    0x1.0000000000001p+0,    0x1.fffffffffffffp-1,  0x1.fffffcp-53, INEXACT)
794T(RN,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp+0,    0x1.ffffffffffffep-1,      -0x1.8p-52, INEXACT)
795T(RN,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
796T(RN,    0x1.fffffffffffffp-1,    0x1.0000000000001p+1,    0x1.ffffffffffffep-1,  0x1.7ffffep-52, INEXACT)
797T(RN,    0x1.fffffffffffffp-1,    0x1.7fffffffffffep+1,    0x1.ffffffffffffdp-1,      -0x1.6p-50, INEXACT)
798T(RN,    0x1.fffffffffffffp-1,                0x1.8p+1,    0x1.ffffffffffffdp-1,      -0x1.8p-52, INEXACT)
799T(RN,    0x1.fffffffffffffp-1,    0x1.8000000000002p+1,    0x1.ffffffffffffdp-1,       0x1.4p-51, INEXACT)
800T(RN,    0x1.fffffffffffffp-1,                0x1.2p+3,    0x1.ffffffffffff7p-1,      -0x1.2p-48, INEXACT)
801T(RN,    0x1.fffffffffffffp-1,   -0x1.fffffffffffffp+0,    0x1.0000000000001p+0,        -0x1p-54, INEXACT)
802T(RN,    0x1.fffffffffffffp-1,   -0x1.0000000000001p+1,    0x1.0000000000001p+0,      -0x1.cp-52, INEXACT)
803T(RN,    0x1.fffffffffffffp-1,   -0x1.8000000000002p+1,    0x1.0000000000002p+0,          0x1p-1, INEXACT)
804T(RN,    0x1.0000000000001p+0,                  0x1p-5,                  0x1p+0,         -0x1p-5, INEXACT)
805T(RN,    0x1.0000000000001p+0,                  0x1p-3,                  0x1p+0,         -0x1p-3, INEXACT)
806T(RN,    0x1.0000000000001p+0,                  0x1p-1,                  0x1p+0,         -0x1p-1, INEXACT)
807T(RN,    0x1.0000000000001p+0,    0x1.fffffffffffffp-1,    0x1.0000000000001p+0,  0x1.000004p-53, INEXACT)
808T(RN,    0x1.0000000000001p+0,    0x1.0000000000001p+0,    0x1.0000000000001p+0,        -0x1p-52, INEXACT)
809T(RN,    0x1.0000000000001p+0,    0x1.fffffffffffffp+0,    0x1.0000000000002p+0,          0x0p+0, INEXACT)
810T(RN,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
811T(RN,    0x1.0000000000001p+0,    0x1.0000000000001p+1,    0x1.0000000000002p+0,      -0x1.8p-51, INEXACT)
812T(RN,    0x1.0000000000001p+0,    0x1.7fffffffffffep+1,    0x1.0000000000003p+0,  0x1.000002p-52, INEXACT)
813T(RN,    0x1.0000000000001p+0,                0x1.8p+1,    0x1.0000000000003p+0,      -0x1.8p-51, INEXACT)
814T(RN,    0x1.0000000000001p+0,    0x1.8000000000002p+1,    0x1.0000000000003p+0,      -0x1.cp-50, INEXACT)
815T(RN,    0x1.0000000000001p+0,                  0x1p+3,    0x1.0000000000008p+0,      -0x1.cp-48, INEXACT)
816T(RN,    0x1.0000000000001p+0,                0x1.2p+3,    0x1.0000000000009p+0,      -0x1.2p-47, INEXACT)
817T(RN,    0x1.0000000000001p+0,                  0x1p+5,     0x1.000000000002p+0,      -0x1.fp-44, INEXACT)
818T(RN,    0x1.0000000000001p+0,   -0x1.fffffffffffffp-1,    0x1.ffffffffffffep-1,      -0x1.8p-51, INEXACT)
819T(RN,    0x1.0000000000001p+0,                 -0x1p+0,    0x1.ffffffffffffep-1,        -0x1p-51, INEXACT)
820T(RN,    0x1.0000000000001p+0,   -0x1.0000000000001p+0,    0x1.ffffffffffffep-1,          0x0p+0, INEXACT)
821T(RN,    0x1.0000000000001p+0,   -0x1.fffffffffffffp+0,    0x1.ffffffffffffcp-1,        -0x1p-49, INEXACT)
822T(RN,    0x1.0000000000001p+0,                 -0x1p+1,    0x1.ffffffffffffcp-1,      -0x1.8p-50, INEXACT)
823T(RN,    0x1.0000000000001p+0,   -0x1.0000000000001p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
824T(RN,    0x1.0000000000001p+0,   -0x1.7fffffffffffep+1,    0x1.ffffffffffffap-1,      -0x1.4p-48, INEXACT)
825T(RN,    0x1.0000000000001p+0,   -0x1.8000000000002p+1,    0x1.ffffffffffffap-1,        -0x1p-50, INEXACT)
826T(RN,    0x1.0000000000002p+0,                  0x1p-1,    0x1.0000000000001p+0,  0x1.fffff8p-54, INEXACT)
827T(RN,    0x1.0000000000002p+0,    0x1.fffffffffffffp-1,    0x1.0000000000002p+0,  0x1.000002p-52, INEXACT)
828T(RN,    0x1.0000000000002p+0,    0x1.0000000000001p+0,    0x1.0000000000002p+0,        -0x1p-51, INEXACT)
829T(RN,    0x1.0000000000002p+0,    0x1.fffffffffffffp+0,    0x1.0000000000004p+0,        -0x1p-51, INEXACT)
830T(RN,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
831T(RN,    0x1.0000000000002p+0,    0x1.0000000000001p+1,    0x1.0000000000004p+0,        -0x1p-49, INEXACT)
832T(RN,    0x1.0000000000002p+0,    0x1.7fffffffffffep+1,    0x1.0000000000006p+0,        -0x1p-50, INEXACT)
833T(RN,    0x1.0000000000002p+0,    0x1.8000000000002p+1,    0x1.0000000000006p+0,      -0x1.4p-48, INEXACT)
834T(RN,    0x1.0000000000002p+0,                 -0x1p-1,    0x1.ffffffffffffep-1,      -0x1.8p-51, INEXACT)
835T(RN,    0x1.0000000000002p+0,   -0x1.fffffffffffffp-1,    0x1.ffffffffffffcp-1,      -0x1.4p-49, INEXACT)
836T(RN,    0x1.0000000000002p+0,                 -0x1p+0,    0x1.ffffffffffffcp-1,        -0x1p-49, INEXACT)
837T(RN,    0x1.0000000000002p+0,   -0x1.0000000000001p+0,    0x1.ffffffffffffcp-1,        -0x1p-50, INEXACT)
838T(RN,    0x1.0000000000002p+0,   -0x1.fffffffffffffp+0,    0x1.ffffffffffff8p-1,      -0x1.cp-48, INEXACT)
839T(RN,    0x1.0000000000002p+0,                 -0x1p+1,    0x1.ffffffffffff8p-1,      -0x1.8p-48, INEXACT)
840T(RN,    0x1.0000000000002p+0,   -0x1.0000000000001p+1,    0x1.ffffffffffff8p-1,        -0x1p-48, INEXACT)
841T(RN,    0x1.0000000000002p+0,   -0x1.7fffffffffffep+1,    0x1.ffffffffffff4p-1,        -0x1p-46, INEXACT)
842T(RN,    0x1.0000000000002p+0,   -0x1.8000000000002p+1,    0x1.ffffffffffff4p-1,        -0x1p-47, INEXACT)
843T(RN,    0x1.0000000000003p+0,    0x1.fffffffffffffp-1,    0x1.0000000000003p+0,  0x1.800002p-52, INEXACT)
844T(RN,    0x1.0000000000003p+0,    0x1.0000000000001p+0,    0x1.0000000000003p+0,      -0x1.8p-51, INEXACT)
845T(RN,    0x1.0000000000003p+0,    0x1.fffffffffffffp+0,    0x1.0000000000006p+0,      -0x1.8p-50, INEXACT)
846T(RN,    0x1.0000000000003p+0,    0x1.0000000000001p+1,    0x1.0000000000006p+0,      -0x1.ep-49, INEXACT)
847T(RN,    0x1.0000000000003p+0,    0x1.7fffffffffffep+1,    0x1.0000000000009p+0,      -0x1.ep-49, INEXACT)
848T(RN,    0x1.0000000000003p+0,    0x1.8000000000002p+1,    0x1.0000000000009p+0,     -0x1.38p-47, INEXACT)
849T(RN,    0x1.0000000000003p+0,   -0x1.fffffffffffffp-1,    0x1.ffffffffffffap-1,      -0x1.5p-48, INEXACT)
850T(RN,    0x1.0000000000003p+0,                 -0x1p+0,    0x1.ffffffffffffap-1,      -0x1.2p-48, INEXACT)
851T(RN,    0x1.0000000000003p+0,   -0x1.0000000000001p+0,    0x1.ffffffffffffap-1,      -0x1.8p-49, INEXACT)
852T(RN,    0x1.0000000000003p+0,   -0x1.fffffffffffffp+0,    0x1.ffffffffffff4p-1,      -0x1.ep-47, INEXACT)
853T(RN,    0x1.0000000000003p+0,                 -0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.bp-47, INEXACT)
854T(RN,    0x1.0000000000003p+0,   -0x1.0000000000001p+1,    0x1.ffffffffffff4p-1,      -0x1.5p-47, INEXACT)
855T(RN,    0x1.0000000000003p+0,   -0x1.7fffffffffffep+1,    0x1.fffffffffffeep-1,     -0x1.08p-45, INEXACT)
856T(RN,    0x1.0000000000003p+0,   -0x1.8000000000002p+1,    0x1.fffffffffffeep-1,      -0x1.5p-46, INEXACT)
857T(RN,    0x1.0000000000004p+0,                  0x1p-1,    0x1.0000000000002p+0,  0x1.fffffep-52, INEXACT)
858T(RN,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
859T(RN,    0x1.0000000000004p+0,                 -0x1p-1,    0x1.ffffffffffffcp-1,      -0x1.8p-49, INEXACT)
860T(RN,    0x1.0000000000004p+0,                 -0x1p+0,    0x1.ffffffffffff8p-1,        -0x1p-47, INEXACT)
861T(RN,    0x1.0000000000004p+0,                 -0x1p+1,     0x1.ffffffffffffp-1,      -0x1.8p-46, INEXACT)
862T(RN,    0x1.0000000000005p+0,                  0x1p-1,    0x1.0000000000002p+0,         -0x1p-1, INEXACT)
863T(RN,    0x1.0000000000006p+0,                  0x1p-1,    0x1.0000000000003p+0,       0x1.2p-50, INEXACT)
864T(RN,    0x1.0000000000006p+0,                 -0x1p-1,    0x1.ffffffffffffap-1,      -0x1.bp-48, INEXACT)
865T(RN,    0x1.0000000000008p+0,                  0x1p-5,                  0x1p+0,         -0x1p-2, INEXACT)
866T(RN,    0x1.0000000000008p+0,                  0x1p-3,    0x1.0000000000001p+0,       0x1.cp-51, INEXACT)
867T(RN,    0x1.0000000000008p+0,                  0x1p-1,    0x1.0000000000004p+0,         0x1p-49, INEXACT)
868T(RN,    0x1.0000000000008p+0,                  0x1p+1,     0x1.000000000001p+0,        -0x1p-46, INEXACT)
869T(RN,    0x1.0000000000008p+0,                  0x1p+3,     0x1.000000000004p+0,      -0x1.cp-42, INEXACT)
870T(RN,    0x1.0000000000008p+0,                  0x1p+5,      0x1.00000000001p+0,      -0x1.fp-38, INEXACT)
871T(RN,     0x1.000000000001p+0,                  0x1p-5,                  0x1p+0,         -0x1p-1, INEXACT)
872T(RN,     0x1.000000000001p+0,                  0x1p-3,    0x1.0000000000002p+0,       0x1.cp-49, INEXACT)
873T(RN,     0x1.000000000001p+0,                  0x1p-1,    0x1.0000000000008p+0,         0x1p-47, INEXACT)
874T(RN,     0x1.000000000001p+0,                  0x1p+1,     0x1.000000000002p+0,        -0x1p-44, INEXACT)
875T(RN,     0x1.000000000001p+0,                  0x1p+3,     0x1.000000000008p+0,      -0x1.cp-40, INEXACT)
876T(RN,     0x1.000000000001p+0,                  0x1p+5,      0x1.00000000002p+0,      -0x1.fp-36, INEXACT)
877T(RN,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000002p+4,        -0x1p-52, INEXACT)
878T(RN,    0x1.0000000000001p+2,                0x1.8p+1,    0x1.0000000000003p+6,      -0x1.8p-51, INEXACT)
879T(RN,    0x1.0000000000001p+2,                  0x1p+2,    0x1.0000000000004p+8,      -0x1.8p-50, INEXACT)
880T(RN,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000004p+4,        -0x1p-50, INEXACT)
881T(RN, 0x1.ffffffffffffcp+1021,                 -0x1p-1,  0x1.0000000000001p-511,      -0x1.8p-52, INEXACT)
882T(RN, 0x1.ffffffffffffcp+1021,                 -0x1p+0, 0x1.0000000000002p-1022,        -0x1p-50, INEXACT)
883T(RN, 0x1.ffffffffffffep+1021,                  0x1p-1,  0x1.fffffffffffffp+510,  0x1.000008p-54, INEXACT)
884T(RN, 0x1.ffffffffffffep+1021,                 -0x1p+0, 0x1.0000000000001p-1022,        -0x1p-52, INEXACT)
885T(RN, 0x1.0000000000002p+1022,                  0x1p-1,  0x1.0000000000001p+511,  0x1.fffff8p-54, INEXACT)
886T(RN, 0x1.0000000000002p+1022,                 -0x1p-1,  0x1.ffffffffffffep-512,      -0x1.8p-51, INEXACT)
887T(RN,-0x1.0000000000004p-1024,                 -0x1p+0,-0x1.ffffffffffff8p+1023,         0x1p-47, INEXACT)
888T(RN,-0x1.ffffffffffffep-1023,                 -0x1p+0,-0x1.0000000000001p+1022,         0x1p-52, INEXACT)
889T(RN,-0x1.0000000000001p-1022,                 -0x1p+0,-0x1.ffffffffffffep+1021,         0x1p-51, INEXACT)
890T(RN,-0x1.0000000000002p-1022,                 -0x1p+0,-0x1.ffffffffffffcp+1021,         0x1p-49, INEXACT)
891T(RN,   -0x1.ffffffffffff8p-1,                 -0x1p+0,   -0x1.0000000000004p+0,         0x1p-48, INEXACT)
892T(RN,   -0x1.ffffffffffff8p-1,                 -0x1p+1,    0x1.0000000000008p+0,      -0x1.8p-47, INEXACT)
893T(RN,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
894T(RN,   -0x1.ffffffffffffap-1,                 -0x1p+0,   -0x1.0000000000003p+0,       0x1.2p-49, INEXACT)
895T(RN,   -0x1.ffffffffffffap-1,                 -0x1p+1,    0x1.0000000000006p+0,      -0x1.bp-48, INEXACT)
896T(RN,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
897T(RN,   -0x1.ffffffffffffcp-1,                 -0x1p+0,   -0x1.0000000000002p+0,         0x1p-50, INEXACT)
898T(RN,   -0x1.ffffffffffffcp-1,                 -0x1p+1,    0x1.0000000000004p+0,      -0x1.8p-49, INEXACT)
899T(RN,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
900T(RN,   -0x1.ffffffffffffep-1,                 -0x1p+0,   -0x1.0000000000001p+0,         0x1p-52, INEXACT)
901T(RN,   -0x1.ffffffffffffep-1,                 -0x1p+1,    0x1.0000000000002p+0,      -0x1.8p-51, INEXACT)
902T(RN,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
903T(RN,   -0x1.fffffffffffffp-1,                0x1.8p+1,   -0x1.ffffffffffffdp-1,       0x1.8p-52, INEXACT)
904T(RN,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
905T(RN,   -0x1.0000000000001p+0,                0x1.8p+1,   -0x1.0000000000003p+0,       0x1.8p-51, INEXACT)
906T(RN,   -0x1.0000000000001p+0,                 -0x1p+0,   -0x1.ffffffffffffep-1,         0x1p-51, INEXACT)
907T(RN,   -0x1.0000000000001p+0,                 -0x1p+1,    0x1.ffffffffffffcp-1,      -0x1.8p-50, INEXACT)
908T(RN,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
909T(RN,   -0x1.0000000000002p+0,                 -0x1p+0,   -0x1.ffffffffffffcp-1,         0x1p-49, INEXACT)
910T(RN,   -0x1.0000000000002p+0,                 -0x1p+1,    0x1.ffffffffffff8p-1,      -0x1.8p-48, INEXACT)
911T(RN,   -0x1.0000000000003p+0,                 -0x1p+0,   -0x1.ffffffffffffap-1,       0x1.2p-48, INEXACT)
912T(RN,   -0x1.0000000000003p+0,                 -0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.bp-47, INEXACT)
913T(RN,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
914T(RN,   -0x1.0000000000004p+0,                 -0x1p+0,   -0x1.ffffffffffff8p-1,         0x1p-47, INEXACT)
915T(RN,   -0x1.0000000000004p+0,                 -0x1p+1,     0x1.ffffffffffffp-1,      -0x1.8p-46, INEXACT)
916T(RN,-0x1.ffffffffffffcp+1021,                 -0x1p+0,-0x1.0000000000002p-1022,         0x1p-50, INEXACT)
917T(RN,-0x1.ffffffffffffep+1021,                 -0x1p+0,-0x1.0000000000001p-1022,         0x1p-52, INEXACT)
918T(RN,               0x1p-1074,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
919T(RN,               0x1p-1074,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
920T(RN,               0x1p-1074,              -0x1.fep+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
921T(RN,               0x1p-1074,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
922T(RN,               0x1p-1074,           -0x1.fffcp+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
923T(RN,               0x1p-1073,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
924T(RN,               0x1p-1073,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
925T(RN,               0x1p-1073,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
926T(RN,               0x1p-1073,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
927T(RN,             0x1.8p-1073,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
928T(RN,             0x1.8p-1073,              -0x1.01p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
929T(RN,             0x1.8p-1073,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
930T(RN,             0x1.8p-1073,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
931T(RN,               0x1p-1024,                 -0x1p+0,                     inf,          0x0p+0, INEXACT|OVERFLOW)
932T(RN,               0x1p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
933T(RN, 0x1.0000000000004p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
934T(RN,               0x1p-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
935T(RN,               0x1p-1023,              -0x1.fep+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
936T(RN,               0x1p-1023,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
937T(RN,               0x1p-1023,           -0x1.fffcp+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
938T(RN, 0x1.ffffffffffffep-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
939T(RN,               0x1p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
940T(RN,               0x1p-1022,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
941T(RN,               0x1p-1022,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
942T(RN,               0x1p-1022,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
943T(RN, 0x1.0000000000001p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
944T(RN, 0x1.0000000000001p-1022,              -0x1.01p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
945T(RN, 0x1.0000000000001p-1022,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
946T(RN, 0x1.0000000000002p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
947T(RN,               0x1p-1021,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
948T(RN,               0x1p-1021,           -0x1.fff8p+13,                     inf,          0x0p+0, INEXACT|OVERFLOW)
949T(RN,               0x1p-1020,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
950T(RN,                 0x1p-54,              -0x1.f8p+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
951T(RN,                 0x1p-52,              -0x1.04p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
952T(RN,                 0x1p-52,              -0x1.19p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
953T(RN,                  0x1p+1,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
954T(RN,                  0x1p+2,            0x1.fffep+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
955T(RN,                0x1.4p+3,               0x1.35p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
956T(RN,                  0x1p+8,             0x1.ffcp+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
957T(RN,                  0x1p+8,                 0x1p+11,                     inf,          0x0p+0, INEXACT|OVERFLOW)
958T(RN,                 0x1p+16,              0x1.ff8p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
959T(RN,                 0x1p+16,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
960T(RN,               0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
961T(RN,               0x1p+1015,                0x1.4p+2,                     inf,          0x0p+0, INEXACT|OVERFLOW)
962T(RN,               0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
963T(RN,               0x1p+1022,                0x1.4p+2,                     inf,          0x0p+0, INEXACT|OVERFLOW)
964T(RN,               0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
965T(RN,               0x1p+1023,               0x1.fep+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
966T(RN,               0x1p+1023,                  0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
967T(RN,               0x1p+1023,               0x1.01p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
968T(RN,               0x1p+1023,            0x1.fffcp+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
969T(RN, 0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
970T(RN, 0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
971T(RN,              -0x1p-1074,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
972T(RN,              -0x1p-1074,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
973T(RN,              -0x1p-1074,              -0x1.01p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
974T(RN,              -0x1p-1074,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
975T(RN,              -0x1p-1074,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
976T(RN,              -0x1p-1073,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
977T(RN,              -0x1p-1073,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
978T(RN,              -0x1p-1073,              -0x1.fep+7,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
979T(RN,              -0x1p-1073,           -0x1.fffcp+14,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
980T(RN,            -0x1.8p-1073,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
981T(RN,            -0x1.8p-1073,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
982T(RN,            -0x1.8p-1073,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
983T(RN,            -0x1.8p-1073,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
984T(RN,              -0x1p-1024,                 -0x1p+0,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
985T(RN,              -0x1p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
986T(RN,-0x1.0000000000004p-1024,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
987T(RN,              -0x1p-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
988T(RN,              -0x1p-1023,              -0x1.01p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
989T(RN,              -0x1p-1023,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
990T(RN,              -0x1p-1023,                -0x1p+15,                     inf,          0x0p+0, INEXACT|OVERFLOW)
991T(RN,-0x1.ffffffffffffep-1023,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
992T(RN,              -0x1p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
993T(RN,              -0x1p-1022,              -0x1.fep+7,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
994T(RN,              -0x1p-1022,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
995T(RN,              -0x1p-1022,           -0x1.fffcp+14,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
996T(RN,-0x1.0000000000001p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
997T(RN,-0x1.0000000000001p-1022,                 -0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
998T(RN,-0x1.0000000000001p-1022,           -0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
999T(RN,-0x1.0000000000002p-1022,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1000T(RN,              -0x1p-1021,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1001T(RN,              -0x1p-1021,           -0x1.fff8p+13,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1002T(RN,              -0x1p-1020,                 -0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1003T(RN,                -0x1p-54,              -0x1.f8p+7,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1004T(RN,                -0x1p-52,              -0x1.04p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1005T(RN,                -0x1p-52,              -0x1.19p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1006T(RN,                 -0x1p+1,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1007T(RN,               -0x1.4p+3,               0x1.35p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1008T(RN,                 -0x1p+8,             0x1.ffcp+10,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1009T(RN,                 -0x1p+8,                 0x1p+11,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1010T(RN,                -0x1p+16,              0x1.ff8p+9,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1011T(RN,                -0x1p+16,                 0x1p+10,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1012T(RN,              -0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1013T(RN,              -0x1p+1015,                0x1.4p+2,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1014T(RN,              -0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1015T(RN,              -0x1p+1022,                0x1.4p+2,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1016T(RN,              -0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1017T(RN,              -0x1p+1023,               0x1.fep+7,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1018T(RN,              -0x1p+1023,                  0x1p+8,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1019T(RN,              -0x1p+1023,               0x1.01p+8,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1020T(RN,              -0x1p+1023,            0x1.fff8p+14,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1021T(RN,              -0x1p+1023,            0x1.fffcp+14,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
1022T(RN,-0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1023T(RN,-0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1024T(RN,               0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1025T(RN,               0x1p-1074,                0x1.8p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1026T(RN,               0x1p-1074,               0x1.fep+7,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1027T(RN,               0x1p-1074,            0x1.fff8p+13,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1028T(RN,               0x1p-1074,            0x1.fffcp+14,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1029T(RN,               0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1030T(RN,               0x1p-1073,               0x1.01p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1031T(RN,               0x1p-1073,            0x1.fff8p+14,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1032T(RN,             0x1.8p-1073,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1033T(RN,             0x1.8p-1073,            0x1.fff8p+13,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1034T(RN,               0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1035T(RN,               0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1036T(RN,               0x1p-1023,               0x1.fep+7,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1037T(RN,               0x1p-1023,            0x1.fff8p+13,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1038T(RN,               0x1p-1023,            0x1.fffcp+14,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1039T(RN, 0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1040T(RN, 0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1041T(RN,               0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1042T(RN,               0x1p-1022,                0x1.8p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1043T(RN,               0x1p-1022,               0x1.01p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1044T(RN,               0x1p-1022,            0x1.fff8p+13,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1045T(RN, 0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1046T(RN, 0x1.0000000000001p-1022,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1047T(RN, 0x1.0000000000001p-1022,            0x1.fff8p+14,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1048T(RN, 0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1049T(RN,               0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1050T(RN,               0x1p-1021,            0x1.fff8p+13,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1051T(RN,               0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1052T(RN,                 0x1p-54,               0x1.f8p+7,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1053T(RN,                 0x1p-53,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1054T(RN,                 0x1p-53,               0x1.01p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1055T(RN,                 0x1p-52,               0x1.04p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1056T(RN,                 0x1p-52,               0x1.19p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1057T(RN,                 0x1p-16,                 0x1p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1058T(RN,                  0x1p+1,            -0x1.0ccp+10,                  0x0p+0,         -0x1p-1, INEXACT|UNDERFLOW)
1059T(RN,                0x1.4p+3,              -0x1.45p+8,                  0x0p+0,  -0x1.4b9da8p-6, INEXACT|UNDERFLOW)
1060T(RN,                  0x1p+6,            -0x1.56ap+11,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1061T(RN,                 0x1p+16,             -0x1.ff8p+9,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1062T(RN,                 0x1p+16,                -0x1p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1063T(RN,                 0x1p+16,            -0x1.004p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1064T(RN,               0x1p+1020,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1065T(RN,               0x1p+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1066T(RN, 0x1.ffffffffffffcp+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1067T(RN, 0x1.ffffffffffffep+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1068T(RN,               0x1p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1069T(RN, 0x1.0000000000001p+1022,                 -0x1p+0, 0x1.ffffffffffffep-1023,        -0x1p-52, INEXACT|UNDERFLOW)
1070T(RN, 0x1.0000000000001p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1071T(RN,               0x1p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1072T(RN,               0x1p+1023,               -0x1.8p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1073T(RN,               0x1p+1023,              -0x1.fep+7,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1074T(RN,               0x1p+1023,                 -0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1075T(RN,               0x1p+1023,              -0x1.01p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1076T(RN,               0x1p+1023,              -0x1.04p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1077T(RN,               0x1p+1023,              -0x1.05p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1078T(RN,               0x1p+1023,           -0x1.fffcp+14,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1079T(RN,               0x1p+1023,                -0x1p+15,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1080T(RN, 0x1.ffffffffffff8p+1023,                 -0x1p+0, 0x1.0000000000004p-1024,        -0x1p-50, INEXACT|UNDERFLOW)
1081T(RN, 0x1.ffffffffffff8p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1082T(RN,              -0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1083T(RN,              -0x1p-1074,                0x1.8p+1,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1084T(RN,              -0x1p-1074,               0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1085T(RN,              -0x1p-1074,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1086T(RN,              -0x1p-1074,            0x1.fff8p+14,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1087T(RN,              -0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1088T(RN,              -0x1p-1073,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1089T(RN,            -0x1.8p-1073,               0x1.fep+7,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1090T(RN,            -0x1.8p-1073,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1091T(RN,            -0x1.8p-1073,            0x1.fffcp+14,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1092T(RN,              -0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1093T(RN,              -0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1094T(RN,              -0x1p-1023,               0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1095T(RN,              -0x1p-1023,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1096T(RN,-0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1097T(RN,-0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1098T(RN,              -0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1099T(RN,              -0x1p-1022,                0x1.8p+1,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1100T(RN,              -0x1p-1022,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1101T(RN,              -0x1p-1022,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1102T(RN,              -0x1p-1022,            0x1.fff8p+14,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1103T(RN,-0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1104T(RN,-0x1.0000000000001p-1022,               0x1.fep+7,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1105T(RN,-0x1.0000000000001p-1022,            0x1.fffcp+14,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1106T(RN,-0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1107T(RN,              -0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1108T(RN,              -0x1p-1021,            0x1.fff8p+13,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1109T(RN,              -0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1110T(RN,                -0x1p-54,               0x1.f8p+7,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1111T(RN,                -0x1p-53,                  0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1112T(RN,                -0x1p-53,               0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1113T(RN,                -0x1p-52,               0x1.04p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1114T(RN,                -0x1p-52,               0x1.19p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1115T(RN,                 -0x1p+1,            -0x1.0ccp+10,                 -0x0p+0,          0x1p-1, INEXACT|UNDERFLOW)
1116T(RN,               -0x1.4p+3,              -0x1.45p+8,                 -0x0p+0,   0x1.4b9da8p-6, INEXACT|UNDERFLOW)
1117T(RN,                 -0x1p+6,            -0x1.56ap+11,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1118T(RN,                -0x1p+16,             -0x1.ff8p+9,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1119T(RN,                -0x1p+16,                -0x1p+10,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1120T(RN,              -0x1p+1020,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1121T(RN,              -0x1p+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1122T(RN,-0x1.ffffffffffffcp+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1123T(RN,-0x1.ffffffffffffep+1021,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1124T(RN,              -0x1p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1125T(RN,-0x1.0000000000001p+1022,                 -0x1p+0,-0x1.ffffffffffffep-1023,         0x1p-52, INEXACT|UNDERFLOW)
1126T(RN,-0x1.0000000000001p+1022,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1127T(RN,              -0x1p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1128T(RN,              -0x1p+1023,               -0x1.8p+1,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1129T(RN,              -0x1p+1023,              -0x1.fep+7,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1130T(RN,              -0x1p+1023,                 -0x1p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1131T(RN,              -0x1p+1023,              -0x1.01p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1132T(RN,              -0x1p+1023,              -0x1.04p+8,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1133T(RN,              -0x1p+1023,              -0x1.05p+8,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1134T(RN,              -0x1p+1023,           -0x1.fffcp+14,                 -0x0p+0,          0x0p+0, INEXACT|UNDERFLOW)
1135T(RN,              -0x1p+1023,                -0x1p+15,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1136T(RN,-0x1.ffffffffffff8p+1023,                 -0x1p+0,-0x1.0000000000004p-1024,         0x1p-50, INEXACT|UNDERFLOW)
1137T(RN,-0x1.ffffffffffff8p+1023,                 -0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1138T(RN,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
1139T(RN,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
1140T(RN,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
1141T(RN,             0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
1142T(RN,             0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
1143T(RN,               0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
1144T(RN,               0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
1145T(RN, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
1146T(RN, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
1147T(RN,               0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
1148T(RN,               0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
1149T(RN, 0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
1150T(RN, 0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
1151T(RN,               0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
1152T(RN,               0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
1153T(RN,                 0x1p-52,                     nan,                     nan,          0x0p+0, 0)
1154T(RN,                 0x1p-52,                     nan,                     nan,          0x0p+0, 0)
1155T(RN,   0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
1156T(RN,   0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
1157T(RN,    0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
1158T(RN,    0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
1159T(RN,                  0x1p+0,                     nan,                  0x1p+0,          0x0p+0, 0)
1160T(RN,    0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
1161T(RN,    0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
1162T(RN,    0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
1163T(RN,    0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
1164T(RN,                  0x1p+1,                     nan,                     nan,          0x0p+0, 0)
1165T(RN,                  0x1p+1,                     nan,                     nan,          0x0p+0, 0)
1166T(RN,    0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
1167T(RN,    0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
1168T(RN,               0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
1169T(RN,               0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
1170T(RN,                  0x1p+8,                     nan,                     nan,          0x0p+0, 0)
1171T(RN,                  0x1p+8,                     nan,                     nan,          0x0p+0, 0)
1172T(RN,               0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
1173T(RN,               0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
1174T(RN,               0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
1175T(RN,               0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
1176T(RN, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
1177T(RN, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
1178T(RN,                     inf,                     nan,                     nan,          0x0p+0, 0)
1179T(RN,                     nan,             0x1.8p-1073,                     nan,          0x0p+0, 0)
1180T(RN,                     nan,               0x1p-1023,                     nan,          0x0p+0, 0)
1181T(RN,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
1182T(RN,                     nan,               0x1p-1022,                     nan,          0x0p+0, 0)
1183T(RN,                     nan, 0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
1184T(RN,                     nan,               0x1p-1021,                     nan,          0x0p+0, 0)
1185T(RN,                     nan,                 0x1p-52,                     nan,          0x0p+0, 0)
1186T(RN,                     nan,   0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
1187T(RN,                     nan,                  0x1p-1,                     nan,          0x0p+0, 0)
1188T(RN,                     nan,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
1189T(RN,                     nan,    0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
1190T(RN,                     nan,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
1191T(RN,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
1192T(RN,                     nan,    0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
1193T(RN,                     nan,                0x1.8p+1,                     nan,          0x0p+0, 0)
1194T(RN,                     nan,                0x1.2p+3,                     nan,          0x0p+0, 0)
1195T(RN,                     nan,               0x1.fep+7,                     nan,          0x0p+0, 0)
1196T(RN,                     nan,                  0x1p+8,                     nan,          0x0p+0, 0)
1197T(RN,                     nan,               0x1.01p+8,                     nan,          0x0p+0, 0)
1198T(RN,                     nan,            0x1.fff8p+13,                     nan,          0x0p+0, 0)
1199T(RN,                     nan,            0x1.fffcp+14,                     nan,          0x0p+0, 0)
1200T(RN,                     nan,               0x1p+1023,                     nan,          0x0p+0, 0)
1201T(RN,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
1202T(RN,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
1203T(RN,                     nan,            -0x1.8p-1073,                     nan,          0x0p+0, 0)
1204T(RN,                     nan,              -0x1p-1023,                     nan,          0x0p+0, 0)
1205T(RN,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
1206T(RN,                     nan,              -0x1p-1022,                     nan,          0x0p+0, 0)
1207T(RN,                     nan,-0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
1208T(RN,                     nan,              -0x1p-1021,                     nan,          0x0p+0, 0)
1209T(RN,                     nan,                -0x1p-52,                     nan,          0x0p+0, 0)
1210T(RN,                     nan,  -0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
1211T(RN,                     nan,                 -0x1p-1,                     nan,          0x0p+0, 0)
1212T(RN,                     nan,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
1213T(RN,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
1214T(RN,                     nan,   -0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
1215T(RN,                     nan,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
1216T(RN,                     nan,                 -0x1p+1,                     nan,          0x0p+0, 0)
1217T(RN,                     nan,   -0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
1218T(RN,                     nan,               -0x1.8p+1,                     nan,          0x0p+0, 0)
1219T(RN,                     nan,               -0x1.2p+3,                     nan,          0x0p+0, 0)
1220T(RN,                     nan,              -0x1.fep+7,                     nan,          0x0p+0, 0)
1221T(RN,                     nan,                 -0x1p+8,                     nan,          0x0p+0, 0)
1222T(RN,                     nan,              -0x1.01p+8,                     nan,          0x0p+0, 0)
1223T(RN,                     nan,           -0x1.fff8p+13,                     nan,          0x0p+0, 0)
1224T(RN,                     nan,           -0x1.fffcp+14,                     nan,          0x0p+0, 0)
1225T(RN,                     nan,              -0x1p+1023,                     nan,          0x0p+0, 0)
1226T(RN,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
1227T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
1228T(RN,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
1229T(RN,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
1230T(RN,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
1231T(RN,            -0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
1232T(RN,            -0x1.8p-1073,                     nan,                     nan,          0x0p+0, 0)
1233T(RN,              -0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
1234T(RN,              -0x1p-1023,                     nan,                     nan,          0x0p+0, 0)
1235T(RN,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
1236T(RN,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
1237T(RN,              -0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
1238T(RN,              -0x1p-1022,                     nan,                     nan,          0x0p+0, 0)
1239T(RN,-0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
1240T(RN,-0x1.0000000000001p-1022,                     nan,                     nan,          0x0p+0, 0)
1241T(RN,              -0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
1242T(RN,              -0x1p-1021,                     nan,                     nan,          0x0p+0, 0)
1243T(RN,                -0x1p-52,                     nan,                     nan,          0x0p+0, 0)
1244T(RN,                -0x1p-52,                     nan,                     nan,          0x0p+0, 0)
1245T(RN,  -0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
1246T(RN,  -0x1.0000000000001p-52,                     nan,                     nan,          0x0p+0, 0)
1247T(RN,   -0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
1248T(RN,   -0x1.fffffffffffffp-1,                     nan,                     nan,          0x0p+0, 0)
1249T(RN,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
1250T(RN,   -0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
1251T(RN,   -0x1.0000000000001p+0,                     nan,                     nan,          0x0p+0, 0)
1252T(RN,   -0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
1253T(RN,   -0x1.fffffffffffffp+0,                     nan,                     nan,          0x0p+0, 0)
1254T(RN,                 -0x1p+1,                     nan,                     nan,          0x0p+0, 0)
1255T(RN,                 -0x1p+1,                     nan,                     nan,          0x0p+0, 0)
1256T(RN,   -0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
1257T(RN,   -0x1.0000000000001p+1,                     nan,                     nan,          0x0p+0, 0)
1258T(RN,              -0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
1259T(RN,              -0x1.fep+7,                     nan,                     nan,          0x0p+0, 0)
1260T(RN,                 -0x1p+8,                     nan,                     nan,          0x0p+0, 0)
1261T(RN,                 -0x1p+8,                     nan,                     nan,          0x0p+0, 0)
1262T(RN,              -0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
1263T(RN,              -0x1.01p+8,                     nan,                     nan,          0x0p+0, 0)
1264T(RN,              -0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
1265T(RN,              -0x1p+1023,                     nan,                     nan,          0x0p+0, 0)
1266T(RN,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
1267T(RN,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
1268T(RN,                    -inf,                     nan,                     nan,          0x0p+0, 0)
1269T(RN,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
1270T(RN,                     nan,             0x1.8p-1073,                     nan,          0x0p+0, 0)
1271T(RN,                     nan,               0x1p-1023,                     nan,          0x0p+0, 0)
1272T(RN,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
1273T(RN,                     nan,               0x1p-1022,                     nan,          0x0p+0, 0)
1274T(RN,                     nan, 0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
1275T(RN,                     nan,               0x1p-1021,                     nan,          0x0p+0, 0)
1276T(RN,                     nan,                 0x1p-52,                     nan,          0x0p+0, 0)
1277T(RN,                     nan,   0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
1278T(RN,                     nan,                  0x1p-1,                     nan,          0x0p+0, 0)
1279T(RN,                     nan,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
1280T(RN,                     nan,    0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
1281T(RN,                     nan,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
1282T(RN,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
1283T(RN,                     nan,    0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
1284T(RN,                     nan,                0x1.8p+1,                     nan,          0x0p+0, 0)
1285T(RN,                     nan,                0x1.2p+3,                     nan,          0x0p+0, 0)
1286T(RN,                     nan,               0x1.fep+7,                     nan,          0x0p+0, 0)
1287T(RN,                     nan,                  0x1p+8,                     nan,          0x0p+0, 0)
1288T(RN,                     nan,               0x1.01p+8,                     nan,          0x0p+0, 0)
1289T(RN,                     nan,            0x1.fff8p+13,                     nan,          0x0p+0, 0)
1290T(RN,                     nan,            0x1.fffcp+14,                     nan,          0x0p+0, 0)
1291T(RN,                     nan,               0x1p+1023,                     nan,          0x0p+0, 0)
1292T(RN,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
1293T(RN,                     nan,                     inf,                     nan,          0x0p+0, 0)
1294T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
1295T(RN,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
1296T(RN,                     nan,            -0x1.8p-1073,                     nan,          0x0p+0, 0)
1297T(RN,                     nan,              -0x1p-1023,                     nan,          0x0p+0, 0)
1298T(RN,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
1299T(RN,                     nan,              -0x1p-1022,                     nan,          0x0p+0, 0)
1300T(RN,                     nan,-0x1.0000000000001p-1022,                     nan,          0x0p+0, 0)
1301T(RN,                     nan,              -0x1p-1021,                     nan,          0x0p+0, 0)
1302T(RN,                     nan,                -0x1p-52,                     nan,          0x0p+0, 0)
1303T(RN,                     nan,  -0x1.0000000000001p-52,                     nan,          0x0p+0, 0)
1304T(RN,                     nan,                 -0x1p-1,                     nan,          0x0p+0, 0)
1305T(RN,                     nan,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, 0)
1306T(RN,                     nan,   -0x1.0000000000001p+0,                     nan,          0x0p+0, 0)
1307T(RN,                     nan,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, 0)
1308T(RN,                     nan,                 -0x1p+1,                     nan,          0x0p+0, 0)
1309T(RN,                     nan,   -0x1.0000000000001p+1,                     nan,          0x0p+0, 0)
1310T(RN,                     nan,               -0x1.8p+1,                     nan,          0x0p+0, 0)
1311T(RN,                     nan,               -0x1.2p+3,                     nan,          0x0p+0, 0)
1312T(RN,                     nan,              -0x1.fep+7,                     nan,          0x0p+0, 0)
1313T(RN,                     nan,                 -0x1p+8,                     nan,          0x0p+0, 0)
1314T(RN,                     nan,              -0x1.01p+8,                     nan,          0x0p+0, 0)
1315T(RN,                     nan,           -0x1.fff8p+13,                     nan,          0x0p+0, 0)
1316T(RN,                     nan,           -0x1.fffcp+14,                     nan,          0x0p+0, 0)
1317T(RN,                     nan,              -0x1p+1023,                     nan,          0x0p+0, 0)
1318T(RN,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
1319T(RN,                     nan,                    -inf,                     nan,          0x0p+0, 0)
1320T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
1321T(RN,              -0x1p-1074,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1322T(RN,              -0x1p-1074,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1323T(RN,              -0x1p-1073,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1324T(RN,              -0x1p-1073,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1325T(RN,            -0x1.4p-1072,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1326T(RN,            -0x1.4p-1072,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1327T(RN,            -0x1.cp-1072,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1328T(RN,            -0x1.cp-1072,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1329T(RN,            -0x1.2p-1071,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1330T(RN,            -0x1.2p-1071,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1331T(RN,              -0x1p-1024,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1332T(RN,              -0x1p-1023,                 0x1p-12,                     nan,          0x0p+0, INVALID)
1333T(RN,              -0x1p-1023,                 0x1p-10,                     nan,          0x0p+0, INVALID)
1334T(RN,              -0x1p-1023,                  0x1p-8,                     nan,          0x0p+0, INVALID)
1335T(RN,              -0x1p-1023,                  0x1p-7,                     nan,          0x0p+0, INVALID)
1336T(RN,              -0x1p-1023,                  0x1p-4,                     nan,          0x0p+0, INVALID)
1337T(RN,              -0x1p-1023,                  0x1p-2,                     nan,          0x0p+0, INVALID)
1338T(RN,-0x1.fffffffffffeep-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1339T(RN,-0x1.fffffffffffeep-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1340T(RN,-0x1.ffffffffffff2p-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1341T(RN,-0x1.ffffffffffff2p-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1342T(RN,-0x1.ffffffffffff8p-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1343T(RN,-0x1.ffffffffffff8p-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1344T(RN,-0x1.ffffffffffffap-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1345T(RN,-0x1.ffffffffffffap-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1346T(RN,-0x1.ffffffffffffcp-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1347T(RN,-0x1.ffffffffffffcp-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1348T(RN,-0x1.ffffffffffffep-1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1349T(RN,-0x1.ffffffffffffep-1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1350T(RN,-0x1.ffffffffffffdp-1022,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1351T(RN,-0x1.ffffffffffffdp-1022,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1352T(RN,              -0x1p-1021,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1353T(RN,              -0x1p-1021,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1354T(RN,-0x1.0000000000001p-1021,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1355T(RN,-0x1.0000000000001p-1021,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1356T(RN,                -0x1p-53,                  0x1p-6,                     nan,          0x0p+0, INVALID)
1357T(RN,                -0x1p-53,                  0x1p-5,                     nan,          0x0p+0, INVALID)
1358T(RN,                -0x1p-53,                  0x1p-4,                     nan,          0x0p+0, INVALID)
1359T(RN,                -0x1p-53,                  0x1p-3,                     nan,          0x0p+0, INVALID)
1360T(RN,                -0x1p-53,                  0x1p-2,                     nan,          0x0p+0, INVALID)
1361T(RN,                -0x1p-52,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1362T(RN,                -0x1p-52,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1363T(RN,                -0x1p-51,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1364T(RN,                -0x1p-51,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1365T(RN,              -0x1.8p-51,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1366T(RN,              -0x1.8p-51,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1367T(RN,                -0x1p-14,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1368T(RN,                 -0x1p-4,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1369T(RN,                 -0x1p+0,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1370T(RN,                 -0x1p+0,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1371T(RN,   -0x1.0000000000001p+0,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
1372T(RN,   -0x1.0000000000001p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
1373T(RN,   -0x1.0000000000001p+0,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
1374T(RN,   -0x1.0000000000001p+0,    0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
1375T(RN,   -0x1.0000000000001p+0,    0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
1376T(RN,   -0x1.0000000000001p+0,    0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
1377T(RN,   -0x1.0000000000001p+0,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
1378T(RN,   -0x1.0000000000001p+0,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
1379T(RN,   -0x1.0000000000001p+0,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
1380T(RN,   -0x1.0000000000001p+0,   -0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
1381T(RN,   -0x1.0000000000001p+0,   -0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
1382T(RN,   -0x1.0000000000001p+0,   -0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
1383T(RN,   -0x1.0000000000002p+0,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
1384T(RN,   -0x1.0000000000002p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
1385T(RN,   -0x1.0000000000002p+0,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
1386T(RN,   -0x1.0000000000002p+0,    0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
1387T(RN,   -0x1.0000000000002p+0,    0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
1388T(RN,   -0x1.0000000000002p+0,    0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
1389T(RN,   -0x1.0000000000002p+0,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
1390T(RN,   -0x1.0000000000002p+0,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
1391T(RN,   -0x1.0000000000002p+0,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
1392T(RN,   -0x1.0000000000002p+0,   -0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
1393T(RN,   -0x1.0000000000002p+0,   -0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
1394T(RN,   -0x1.0000000000002p+0,   -0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
1395T(RN,   -0x1.0000000000003p+0,    0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
1396T(RN,   -0x1.0000000000003p+0,    0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
1397T(RN,   -0x1.0000000000003p+0,    0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
1398T(RN,   -0x1.0000000000003p+0,    0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
1399T(RN,   -0x1.0000000000003p+0,    0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
1400T(RN,   -0x1.0000000000003p+0,    0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
1401T(RN,   -0x1.0000000000003p+0,   -0x1.fffffffffffffp-1,                     nan,          0x0p+0, INVALID)
1402T(RN,   -0x1.0000000000003p+0,   -0x1.0000000000001p+0,                     nan,          0x0p+0, INVALID)
1403T(RN,   -0x1.0000000000003p+0,   -0x1.fffffffffffffp+0,                     nan,          0x0p+0, INVALID)
1404T(RN,   -0x1.0000000000003p+0,   -0x1.0000000000001p+1,                     nan,          0x0p+0, INVALID)
1405T(RN,   -0x1.0000000000003p+0,   -0x1.7fffffffffffep+1,                     nan,          0x0p+0, INVALID)
1406T(RN,   -0x1.0000000000003p+0,   -0x1.8000000000002p+1,                     nan,          0x0p+0, INVALID)
1407T(RN,   -0x1.0000000000002p+1,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1408T(RN,   -0x1.0000000000002p+1,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1409T(RN,   -0x1.8000000000004p+1,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1410T(RN,   -0x1.8000000000004p+1,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1411T(RN,   -0x1.ffffffffffffbp+1,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1412T(RN,   -0x1.ffffffffffffbp+1,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1413T(RN,                 -0x1p+2,                0x1.6p+2,                     nan,          0x0p+0, INVALID)
1414T(RN,                 -0x1p+2,             0x1.89ep+10,                     nan,          0x0p+0, INVALID)
1415T(RN,                 -0x1p+2,            0x1.fffep+14,                     nan,          0x0p+0, INVALID)
1416T(RN,                 -0x1p+8,                0x1.8p+0,                     nan,          0x0p+0, INVALID)
1417T(RN,                -0x1p+10,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1418T(RN,                -0x1p+10,                0x1.8p+0,                     nan,          0x0p+0, INVALID)
1419T(RN,                -0x1p+14,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1420T(RN,                -0x1p+94,               -0x1.8p+0,                     nan,          0x0p+0, INVALID)
1421T(RN,               -0x1p+700,               -0x1.8p+0,                     nan,          0x0p+0, INVALID)
1422T(RN,-0x1.ffffffffffffcp+1021,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1423T(RN,-0x1.ffffffffffffcp+1021,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1424T(RN,-0x1.0000000000002p+1022,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1425T(RN,-0x1.0000000000002p+1022,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1426T(RN,-0x1.fffffffffffffp+1022,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1427T(RN,-0x1.fffffffffffffp+1022,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1428T(RN,-0x1.0000000000002p+1023,                  0x1p-1,                     nan,          0x0p+0, INVALID)
1429T(RN,-0x1.0000000000002p+1023,                 -0x1p-1,                     nan,          0x0p+0, INVALID)
1430T(RU,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
1431T(RU,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
1432T(RU,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
1433T(RU,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
1434T(RU,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
1435T(RU,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
1436T(RU,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
1437T(RU,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
1438T(RU,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
1439T(RU,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
1440T(RU,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
1441T(RU,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
1442T(RU,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
1443T(RU,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
1444T(RU,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
1445T(RU,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
1446T(RU,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
1447T(RU,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
1448T(RU,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
1449T(RU,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
1450T(RU,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
1451T(RU,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
1452T(RU,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
1453T(RU,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
1454T(RU,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
1455T(RU,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
1456T(RU,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff5p-1,          0x1p+0, INEXACT)
1457T(RU,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff9p-1,          0x1p+0, INEXACT)
1458T(RU,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffdp-1,          0x1p+0, INEXACT)
1459T(RU,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.fffffffffffffp-1,          0x1p+0, INEXACT)
1460T(RU,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000003p+0,          0x1p+0, INEXACT)
1461T(RU,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000005p+0,          0x1p+0, INEXACT)
1462T(RU,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000009p+0,          0x1p+0, INEXACT)
1463T(RU,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000003p+4,          0x1p+0, INEXACT)
1464T(RU,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000005p+4,          0x1p+0, INEXACT)
1465T(RU,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff5p-1,          0x1p+0, INEXACT)
1466T(RU,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff9p-1,          0x1p+0, INEXACT)
1467T(RU,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffdp-1,          0x1p+0, INEXACT)
1468T(RU,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.fffffffffffffp-1,          0x1p+0, INEXACT)
1469T(RU,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000003p+0,          0x1p+0, INEXACT)
1470T(RU,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000005p+0,          0x1p+0, INEXACT)
1471T(RU,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000009p+0,          0x1p+0, INEXACT)
1472T(RU,               0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1473T(RU,               0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1474T(RU,               0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1475T(RU, 0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1476T(RU, 0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1477T(RU,              -0x1p+1015,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1478T(RU,              -0x1p+1022,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1479T(RU,              -0x1p+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1480T(RU,-0x1.ffffffffffffep+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1481T(RU,-0x1.fffffffffffffp+1023,                  0x1p+1,                     inf,          0x0p+0, INEXACT|OVERFLOW)
1482T(RU,               0x1p-1074,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1483T(RU,               0x1p-1073,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1484T(RU,               0x1p-1024,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1485T(RU,               0x1p-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1486T(RU, 0x1.ffffffffffffcp-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1487T(RU, 0x1.ffffffffffffep-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1488T(RU,               0x1p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1489T(RU, 0x1.0000000000001p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1490T(RU, 0x1.0000000000002p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1491T(RU,               0x1p-1021,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1492T(RU,               0x1p-1020,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1493T(RU,              -0x1p-1074,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1494T(RU,              -0x1p-1073,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1495T(RU,              -0x1p-1024,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1496T(RU,              -0x1p-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1497T(RU,-0x1.ffffffffffffcp-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1498T(RU,-0x1.ffffffffffffep-1023,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1499T(RU,              -0x1p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1500T(RU,-0x1.0000000000001p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1501T(RU,-0x1.0000000000002p-1022,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1502T(RU,              -0x1p-1021,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1503T(RU,              -0x1p-1020,                  0x1p+1,               0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
1504T(RU,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
1505T(RU,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
1506T(RZ,                  0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
1507T(RZ,                 0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
1508T(RZ,                 0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
1509T(RZ,                  0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
1510T(RZ,                  0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
1511T(RZ,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
1512T(RZ,                  0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
1513T(RZ,                0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
1514T(RZ,                  0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
1515T(RZ,               0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
1516T(RZ,                  0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
1517T(RZ,               0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
1518T(RZ,                     inf,                  0x1p+1,                     inf,          0x0p+0, 0)
1519T(RZ,                 -0x0p+0,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
1520T(RZ,                -0x1p-32,                  0x1p+1,                 0x1p-64,          0x0p+0, 0)
1521T(RZ,                -0x1p-31,                  0x1p+1,                 0x1p-62,          0x0p+0, 0)
1522T(RZ,                 -0x1p-2,                  0x1p+1,                  0x1p-4,          0x0p+0, 0)
1523T(RZ,                 -0x1p-1,                  0x1p+1,                  0x1p-2,          0x0p+0, 0)
1524T(RZ,                 -0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
1525T(RZ,                 -0x1p+1,                  0x1p+1,                  0x1p+2,          0x0p+0, 0)
1526T(RZ,               -0x1.8p+1,                  0x1p+1,                0x1.2p+3,          0x0p+0, 0)
1527T(RZ,                 -0x1p+2,                  0x1p+1,                  0x1p+4,          0x0p+0, 0)
1528T(RZ,              -0x1.fep+7,                  0x1p+1,            0x1.fc02p+15,          0x0p+0, 0)
1529T(RZ,                 -0x1p+8,                  0x1p+1,                 0x1p+16,          0x0p+0, 0)
1530T(RZ,              -0x1.01p+8,                  0x1p+1,            0x1.0201p+16,          0x0p+0, 0)
1531T(RZ,                    -inf,                  0x1p+1,                     inf,          0x0p+0, 0)
1532T(RZ,    0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
1533T(RZ,    0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
1534T(RZ,    0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
1535T(RZ,    0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
1536T(RZ,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
1537T(RZ,    0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
1538T(RZ,    0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
1539T(RZ,    0x1.0000000000001p+2,                  0x1p+1,    0x1.0000000000002p+4,        -0x1p-52, INEXACT)
1540T(RZ,    0x1.0000000000002p+2,                  0x1p+1,    0x1.0000000000004p+4,        -0x1p-50, INEXACT)
1541T(RZ,   -0x1.ffffffffffffap-1,                  0x1p+1,    0x1.ffffffffffff4p-1,      -0x1.2p-48, INEXACT)
1542T(RZ,   -0x1.ffffffffffffcp-1,                  0x1p+1,    0x1.ffffffffffff8p-1,        -0x1p-49, INEXACT)
1543T(RZ,   -0x1.ffffffffffffep-1,                  0x1p+1,    0x1.ffffffffffffcp-1,        -0x1p-51, INEXACT)
1544T(RZ,   -0x1.fffffffffffffp-1,                  0x1p+1,    0x1.ffffffffffffep-1,        -0x1p-53, INEXACT)
1545T(RZ,   -0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000002p+0,        -0x1p-52, INEXACT)
1546T(RZ,   -0x1.0000000000002p+0,                  0x1p+1,    0x1.0000000000004p+0,        -0x1p-50, INEXACT)
1547T(RZ,   -0x1.0000000000004p+0,                  0x1p+1,    0x1.0000000000008p+0,        -0x1p-48, INEXACT)
1548T(RZ,               0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1549T(RZ,               0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1550T(RZ,               0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1551T(RZ, 0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1552T(RZ, 0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1553T(RZ,              -0x1p+1015,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1554T(RZ,              -0x1p+1022,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1555T(RZ,              -0x1p+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1556T(RZ,-0x1.ffffffffffffep+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1557T(RZ,-0x1.fffffffffffffp+1023,                  0x1p+1, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
1558T(RZ,               0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1559T(RZ,               0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1560T(RZ,               0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1561T(RZ,               0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1562T(RZ, 0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1563T(RZ, 0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1564T(RZ,               0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1565T(RZ, 0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1566T(RZ, 0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1567T(RZ,               0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1568T(RZ,               0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1569T(RZ,              -0x1p-1074,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1570T(RZ,              -0x1p-1073,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1571T(RZ,              -0x1p-1024,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1572T(RZ,              -0x1p-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1573T(RZ,-0x1.ffffffffffffcp-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1574T(RZ,-0x1.ffffffffffffep-1023,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1575T(RZ,              -0x1p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1576T(RZ,-0x1.0000000000001p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1577T(RZ,-0x1.0000000000002p-1022,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1578T(RZ,              -0x1p-1021,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1579T(RZ,              -0x1p-1020,                  0x1p+1,                  0x0p+0,         -0x0p+0, INEXACT|UNDERFLOW)
1580T(RZ,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
1581T(RZ,                     nan,                  0x1p+1,                     nan,          0x0p+0, 0)
1582