Context Navigation

add.decTest

Last change on this file was 2, checked in by Yuri Dario, 15 years ago
Initial import for vendor code.
Property svn:eol-style set to `native`
File size: 137.0 KB

Line
1	------/cancell----------------------------------------------------------
2	-- add.decTest -- decimal addition --
3	-- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
4	------------------------------------------------------------------------
5	-- Please see the document "General Decimal Arithmetic Testcases" --
6	-- at http://www2.hursley.ibm.com/decimal for the description of --
7	-- these testcases. --
8	-- --
9	-- These testcases are experimental ('beta' versions), and they --
10	-- may contain errors. They are offered on an as-is basis. In --
11	-- particular, achieving the same results as the tests here is not --
12	-- a guarantee that an implementation complies with any Standard --
13	-- or specification. The tests are not exhaustive. --
14	-- --
15	-- Please send comments, suggestions, and corrections to the author: --
16	-- Mike Cowlishaw, IBM Fellow --
17	-- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
18	-- mfc@uk.ibm.com --
19	------------------------------------------------------------------------
20	version: 2.59
21
22	precision: 9
23	rounding: half_up
24	maxExponent: 384
25	minexponent: -383
26	extended: 1
27
28	-- [first group are 'quick confidence check']
29	addx001 add 1 1 -> 2
30	addx002 add 2 3 -> 5
31	addx003 add '5.75' '3.3' -> 9.05
32	addx004 add '5' '-3' -> 2
33	addx005 add '-5' '-3' -> -8
34	addx006 add '-7' '2.5' -> -4.5
35	addx007 add '0.7' '0.3' -> 1.0
36	addx008 add '1.25' '1.25' -> 2.50
37	addx009 add '1.23456789' '1.00000000' -> '2.23456789'
38	addx010 add '1.23456789' '1.00000011' -> '2.23456800'
39
40	addx011 add '0.4444444444' '0.5555555555' -> '1.00000000' Inexact Rounded
41	addx012 add '0.4444444440' '0.5555555555' -> '1.00000000' Inexact Rounded
42	addx013 add '0.4444444444' '0.5555555550' -> '0.999999999' Inexact Rounded
43	addx014 add '0.44444444449' '0' -> '0.444444444' Inexact Rounded
44	addx015 add '0.444444444499' '0' -> '0.444444444' Inexact Rounded
45	addx016 add '0.4444444444999' '0' -> '0.444444444' Inexact Rounded
46	addx017 add '0.4444444445000' '0' -> '0.444444445' Inexact Rounded
47	addx018 add '0.4444444445001' '0' -> '0.444444445' Inexact Rounded
48	addx019 add '0.444444444501' '0' -> '0.444444445' Inexact Rounded
49	addx020 add '0.44444444451' '0' -> '0.444444445' Inexact Rounded
50
51	addx021 add 0 1 -> 1
52	addx022 add 1 1 -> 2
53	addx023 add 2 1 -> 3
54	addx024 add 3 1 -> 4
55	addx025 add 4 1 -> 5
56	addx026 add 5 1 -> 6
57	addx027 add 6 1 -> 7
58	addx028 add 7 1 -> 8
59	addx029 add 8 1 -> 9
60	addx030 add 9 1 -> 10
61
62	-- some carrying effects
63	addx031 add '0.9998' '0.0000' -> '0.9998'
64	addx032 add '0.9998' '0.0001' -> '0.9999'
65	addx033 add '0.9998' '0.0002' -> '1.0000'
66	addx034 add '0.9998' '0.0003' -> '1.0001'
67
68	addx035 add '70' '10000e+9' -> '1.00000000E+13' Inexact Rounded
69	addx036 add '700' '10000e+9' -> '1.00000000E+13' Inexact Rounded
70	addx037 add '7000' '10000e+9' -> '1.00000000E+13' Inexact Rounded
71	addx038 add '70000' '10000e+9' -> '1.00000001E+13' Inexact Rounded
72	addx039 add '700000' '10000e+9' -> '1.00000007E+13' Rounded
73
74	-- symmetry:
75	addx040 add '10000e+9' '70' -> '1.00000000E+13' Inexact Rounded
76	addx041 add '10000e+9' '700' -> '1.00000000E+13' Inexact Rounded
77	addx042 add '10000e+9' '7000' -> '1.00000000E+13' Inexact Rounded
78	addx044 add '10000e+9' '70000' -> '1.00000001E+13' Inexact Rounded
79	addx045 add '10000e+9' '700000' -> '1.00000007E+13' Rounded
80
81	-- same, higher precision
82	precision: 15
83	addx046 add '10000e+9' '7' -> '10000000000007'
84	addx047 add '10000e+9' '70' -> '10000000000070'
85	addx048 add '10000e+9' '700' -> '10000000000700'
86	addx049 add '10000e+9' '7000' -> '10000000007000'
87	addx050 add '10000e+9' '70000' -> '10000000070000'
88	addx051 add '10000e+9' '700000' -> '10000000700000'
89	addx052 add '10000e+9' '7000000' -> '10000007000000'
90
91	-- examples from decarith
92	addx053 add '12' '7.00' -> '19.00'
93	addx054 add '1.3' '-1.07' -> '0.23'
94	addx055 add '1.3' '-1.30' -> '0.00'
95	addx056 add '1.3' '-2.07' -> '-0.77'
96	addx057 add '1E+2' '1E+4' -> '1.01E+4'
97
98	-- zero preservation
99	precision: 6
100	addx060 add '10000e+9' '70000' -> '1.00000E+13' Inexact Rounded
101	addx061 add 1 '0.0001' -> '1.0001'
102	addx062 add 1 '0.00001' -> '1.00001'
103	addx063 add 1 '0.000001' -> '1.00000' Inexact Rounded
104	addx064 add 1 '0.0000001' -> '1.00000' Inexact Rounded
105	addx065 add 1 '0.00000001' -> '1.00000' Inexact Rounded
106
107	-- some funny zeros [in case of bad signum]
108	addx070 add 1 0 -> 1
109	addx071 add 1 0. -> 1
110	addx072 add 1 .0 -> 1.0
111	addx073 add 1 0.0 -> 1.0
112	addx074 add 1 0.00 -> 1.00
113	addx075 add 0 1 -> 1
114	addx076 add 0. 1 -> 1
115	addx077 add .0 1 -> 1.0
116	addx078 add 0.0 1 -> 1.0
117	addx079 add 0.00 1 -> 1.00
118
119	precision: 9
120
121	-- some carries
122	addx080 add 999999998 1 -> 999999999
123	addx081 add 999999999 1 -> 1.00000000E+9 Rounded
124	addx082 add 99999999 1 -> 100000000
125	addx083 add 9999999 1 -> 10000000
126	addx084 add 999999 1 -> 1000000
127	addx085 add 99999 1 -> 100000
128	addx086 add 9999 1 -> 10000
129	addx087 add 999 1 -> 1000
130	addx088 add 99 1 -> 100
131	addx089 add 9 1 -> 10
132
133
134	-- more LHS swaps
135	addx090 add '-56267E-10' 0 -> '-0.0000056267'
136	addx091 add '-56267E-6' 0 -> '-0.056267'
137	addx092 add '-56267E-5' 0 -> '-0.56267'
138	addx093 add '-56267E-4' 0 -> '-5.6267'
139	addx094 add '-56267E-3' 0 -> '-56.267'
140	addx095 add '-56267E-2' 0 -> '-562.67'
141	addx096 add '-56267E-1' 0 -> '-5626.7'
142	addx097 add '-56267E-0' 0 -> '-56267'
143	addx098 add '-5E-10' 0 -> '-5E-10'
144	addx099 add '-5E-7' 0 -> '-5E-7'
145	addx100 add '-5E-6' 0 -> '-0.000005'
146	addx101 add '-5E-5' 0 -> '-0.00005'
147	addx102 add '-5E-4' 0 -> '-0.0005'
148	addx103 add '-5E-1' 0 -> '-0.5'
149	addx104 add '-5E0' 0 -> '-5'
150	addx105 add '-5E1' 0 -> '-50'
151	addx106 add '-5E5' 0 -> '-500000'
152	addx107 add '-5E8' 0 -> '-500000000'
153	addx108 add '-5E9' 0 -> '-5.00000000E+9' Rounded
154	addx109 add '-5E10' 0 -> '-5.00000000E+10' Rounded
155	addx110 add '-5E11' 0 -> '-5.00000000E+11' Rounded
156	addx111 add '-5E100' 0 -> '-5.00000000E+100' Rounded
157
158	-- more RHS swaps
159	addx113 add 0 '-56267E-10' -> '-0.0000056267'
160	addx114 add 0 '-56267E-6' -> '-0.056267'
161	addx116 add 0 '-56267E-5' -> '-0.56267'
162	addx117 add 0 '-56267E-4' -> '-5.6267'
163	addx119 add 0 '-56267E-3' -> '-56.267'
164	addx120 add 0 '-56267E-2' -> '-562.67'
165	addx121 add 0 '-56267E-1' -> '-5626.7'
166	addx122 add 0 '-56267E-0' -> '-56267'
167	addx123 add 0 '-5E-10' -> '-5E-10'
168	addx124 add 0 '-5E-7' -> '-5E-7'
169	addx125 add 0 '-5E-6' -> '-0.000005'
170	addx126 add 0 '-5E-5' -> '-0.00005'
171	addx127 add 0 '-5E-4' -> '-0.0005'
172	addx128 add 0 '-5E-1' -> '-0.5'
173	addx129 add 0 '-5E0' -> '-5'
174	addx130 add 0 '-5E1' -> '-50'
175	addx131 add 0 '-5E5' -> '-500000'
176	addx132 add 0 '-5E8' -> '-500000000'
177	addx133 add 0 '-5E9' -> '-5.00000000E+9' Rounded
178	addx134 add 0 '-5E10' -> '-5.00000000E+10' Rounded
179	addx135 add 0 '-5E11' -> '-5.00000000E+11' Rounded
180	addx136 add 0 '-5E100' -> '-5.00000000E+100' Rounded
181
182	-- related
183	addx137 add 1 '0E-12' -> '1.00000000' Rounded
184	addx138 add -1 '0E-12' -> '-1.00000000' Rounded
185	addx139 add '0E-12' 1 -> '1.00000000' Rounded
186	addx140 add '0E-12' -1 -> '-1.00000000' Rounded
187	addx141 add 1E+4 0.0000 -> '10000.0000'
188	addx142 add 1E+4 0.00000 -> '10000.0000' Rounded
189	addx143 add 0.000 1E+5 -> '100000.000'
190	addx144 add 0.0000 1E+5 -> '100000.000' Rounded
191
192	-- [some of the next group are really constructor tests]
193	addx146 add '00.0' 0 -> '0.0'
194	addx147 add '0.00' 0 -> '0.00'
195	addx148 add 0 '0.00' -> '0.00'
196	addx149 add 0 '00.0' -> '0.0'
197	addx150 add '00.0' '0.00' -> '0.00'
198	addx151 add '0.00' '00.0' -> '0.00'
199	addx152 add '3' '.3' -> '3.3'
200	addx153 add '3.' '.3' -> '3.3'
201	addx154 add '3.0' '.3' -> '3.3'
202	addx155 add '3.00' '.3' -> '3.30'
203	addx156 add '3' '3' -> '6'
204	addx157 add '3' '+3' -> '6'
205	addx158 add '3' '-3' -> '0'
206	addx159 add '0.3' '-0.3' -> '0.0'
207	addx160 add '0.03' '-0.03' -> '0.00'
208
209	-- try borderline precision, with carries, etc.
210	precision: 15
211	addx161 add '1E+12' '-1' -> '999999999999'
212	addx162 add '1E+12' '1.11' -> '1000000000001.11'
213	addx163 add '1.11' '1E+12' -> '1000000000001.11'
214	addx164 add '-1' '1E+12' -> '999999999999'
215	addx165 add '7E+12' '-1' -> '6999999999999'
216	addx166 add '7E+12' '1.11' -> '7000000000001.11'
217	addx167 add '1.11' '7E+12' -> '7000000000001.11'
218	addx168 add '-1' '7E+12' -> '6999999999999'
219
220	-- 123456789012345 123456789012345 1 23456789012345
221	addx170 add '0.444444444444444' '0.555555555555563' -> '1.00000000000001' Inexact Rounded
222	addx171 add '0.444444444444444' '0.555555555555562' -> '1.00000000000001' Inexact Rounded
223	addx172 add '0.444444444444444' '0.555555555555561' -> '1.00000000000001' Inexact Rounded
224	addx173 add '0.444444444444444' '0.555555555555560' -> '1.00000000000000' Inexact Rounded
225	addx174 add '0.444444444444444' '0.555555555555559' -> '1.00000000000000' Inexact Rounded
226	addx175 add '0.444444444444444' '0.555555555555558' -> '1.00000000000000' Inexact Rounded
227	addx176 add '0.444444444444444' '0.555555555555557' -> '1.00000000000000' Inexact Rounded
228	addx177 add '0.444444444444444' '0.555555555555556' -> '1.00000000000000' Rounded
229	addx178 add '0.444444444444444' '0.555555555555555' -> '0.999999999999999'
230	addx179 add '0.444444444444444' '0.555555555555554' -> '0.999999999999998'
231	addx180 add '0.444444444444444' '0.555555555555553' -> '0.999999999999997'
232	addx181 add '0.444444444444444' '0.555555555555552' -> '0.999999999999996'
233	addx182 add '0.444444444444444' '0.555555555555551' -> '0.999999999999995'
234	addx183 add '0.444444444444444' '0.555555555555550' -> '0.999999999999994'
235
236	-- and some more, including residue effects and different roundings
237	precision: 9
238	rounding: half_up
239	addx200 add '123456789' 0 -> '123456789'
240	addx201 add '123456789' 0.000000001 -> '123456789' Inexact Rounded
241	addx202 add '123456789' 0.000001 -> '123456789' Inexact Rounded
242	addx203 add '123456789' 0.1 -> '123456789' Inexact Rounded
243	addx204 add '123456789' 0.4 -> '123456789' Inexact Rounded
244	addx205 add '123456789' 0.49 -> '123456789' Inexact Rounded
245	addx206 add '123456789' 0.499999 -> '123456789' Inexact Rounded
246	addx207 add '123456789' 0.499999999 -> '123456789' Inexact Rounded
247	addx208 add '123456789' 0.5 -> '123456790' Inexact Rounded
248	addx209 add '123456789' 0.500000001 -> '123456790' Inexact Rounded
249	addx210 add '123456789' 0.500001 -> '123456790' Inexact Rounded
250	addx211 add '123456789' 0.51 -> '123456790' Inexact Rounded
251	addx212 add '123456789' 0.6 -> '123456790' Inexact Rounded
252	addx213 add '123456789' 0.9 -> '123456790' Inexact Rounded
253	addx214 add '123456789' 0.99999 -> '123456790' Inexact Rounded
254	addx215 add '123456789' 0.999999999 -> '123456790' Inexact Rounded
255	addx216 add '123456789' 1 -> '123456790'
256	addx217 add '123456789' 1.000000001 -> '123456790' Inexact Rounded
257	addx218 add '123456789' 1.00001 -> '123456790' Inexact Rounded
258	addx219 add '123456789' 1.1 -> '123456790' Inexact Rounded
259
260	rounding: half_even
261	addx220 add '123456789' 0 -> '123456789'
262	addx221 add '123456789' 0.000000001 -> '123456789' Inexact Rounded
263	addx222 add '123456789' 0.000001 -> '123456789' Inexact Rounded
264	addx223 add '123456789' 0.1 -> '123456789' Inexact Rounded
265	addx224 add '123456789' 0.4 -> '123456789' Inexact Rounded
266	addx225 add '123456789' 0.49 -> '123456789' Inexact Rounded
267	addx226 add '123456789' 0.499999 -> '123456789' Inexact Rounded
268	addx227 add '123456789' 0.499999999 -> '123456789' Inexact Rounded
269	addx228 add '123456789' 0.5 -> '123456790' Inexact Rounded
270	addx229 add '123456789' 0.500000001 -> '123456790' Inexact Rounded
271	addx230 add '123456789' 0.500001 -> '123456790' Inexact Rounded
272	addx231 add '123456789' 0.51 -> '123456790' Inexact Rounded
273	addx232 add '123456789' 0.6 -> '123456790' Inexact Rounded
274	addx233 add '123456789' 0.9 -> '123456790' Inexact Rounded
275	addx234 add '123456789' 0.99999 -> '123456790' Inexact Rounded
276	addx235 add '123456789' 0.999999999 -> '123456790' Inexact Rounded
277	addx236 add '123456789' 1 -> '123456790'
278	addx237 add '123456789' 1.00000001 -> '123456790' Inexact Rounded
279	addx238 add '123456789' 1.00001 -> '123456790' Inexact Rounded
280	addx239 add '123456789' 1.1 -> '123456790' Inexact Rounded
281	-- critical few with even bottom digit...
282	addx240 add '123456788' 0.499999999 -> '123456788' Inexact Rounded
283	addx241 add '123456788' 0.5 -> '123456788' Inexact Rounded
284	addx242 add '123456788' 0.500000001 -> '123456789' Inexact Rounded
285
286	rounding: down
287	addx250 add '123456789' 0 -> '123456789'
288	addx251 add '123456789' 0.000000001 -> '123456789' Inexact Rounded
289	addx252 add '123456789' 0.000001 -> '123456789' Inexact Rounded
290	addx253 add '123456789' 0.1 -> '123456789' Inexact Rounded
291	addx254 add '123456789' 0.4 -> '123456789' Inexact Rounded
292	addx255 add '123456789' 0.49 -> '123456789' Inexact Rounded
293	addx256 add '123456789' 0.499999 -> '123456789' Inexact Rounded
294	addx257 add '123456789' 0.499999999 -> '123456789' Inexact Rounded
295	addx258 add '123456789' 0.5 -> '123456789' Inexact Rounded
296	addx259 add '123456789' 0.500000001 -> '123456789' Inexact Rounded
297	addx260 add '123456789' 0.500001 -> '123456789' Inexact Rounded
298	addx261 add '123456789' 0.51 -> '123456789' Inexact Rounded
299	addx262 add '123456789' 0.6 -> '123456789' Inexact Rounded
300	addx263 add '123456789' 0.9 -> '123456789' Inexact Rounded
301	addx264 add '123456789' 0.99999 -> '123456789' Inexact Rounded
302	addx265 add '123456789' 0.999999999 -> '123456789' Inexact Rounded
303	addx266 add '123456789' 1 -> '123456790'
304	addx267 add '123456789' 1.00000001 -> '123456790' Inexact Rounded
305	addx268 add '123456789' 1.00001 -> '123456790' Inexact Rounded
306	addx269 add '123456789' 1.1 -> '123456790' Inexact Rounded
307
308	-- input preparation tests (operands should not be rounded)
309	precision: 3
310	rounding: half_up
311
312	addx270 add '12345678900000' 9999999999999 -> '2.23E+13' Inexact Rounded
313	addx271 add '9999999999999' 12345678900000 -> '2.23E+13' Inexact Rounded
314
315	addx272 add '12E+3' '3444' -> '1.54E+4' Inexact Rounded
316	addx273 add '12E+3' '3446' -> '1.54E+4' Inexact Rounded
317	addx274 add '12E+3' '3449.9' -> '1.54E+4' Inexact Rounded
318	addx275 add '12E+3' '3450.0' -> '1.55E+4' Inexact Rounded
319	addx276 add '12E+3' '3450.1' -> '1.55E+4' Inexact Rounded
320	addx277 add '12E+3' '3454' -> '1.55E+4' Inexact Rounded
321	addx278 add '12E+3' '3456' -> '1.55E+4' Inexact Rounded
322
323	addx281 add '3444' '12E+3' -> '1.54E+4' Inexact Rounded
324	addx282 add '3446' '12E+3' -> '1.54E+4' Inexact Rounded
325	addx283 add '3449.9' '12E+3' -> '1.54E+4' Inexact Rounded
326	addx284 add '3450.0' '12E+3' -> '1.55E+4' Inexact Rounded
327	addx285 add '3450.1' '12E+3' -> '1.55E+4' Inexact Rounded
328	addx286 add '3454' '12E+3' -> '1.55E+4' Inexact Rounded
329	addx287 add '3456' '12E+3' -> '1.55E+4' Inexact Rounded
330
331	rounding: half_down
332	addx291 add '3444' '12E+3' -> '1.54E+4' Inexact Rounded
333	addx292 add '3446' '12E+3' -> '1.54E+4' Inexact Rounded
334	addx293 add '3449.9' '12E+3' -> '1.54E+4' Inexact Rounded
335	addx294 add '3450.0' '12E+3' -> '1.54E+4' Inexact Rounded
336	addx295 add '3450.1' '12E+3' -> '1.55E+4' Inexact Rounded
337	addx296 add '3454' '12E+3' -> '1.55E+4' Inexact Rounded
338	addx297 add '3456' '12E+3' -> '1.55E+4' Inexact Rounded
339
340	-- 1 in last place tests
341	rounding: half_up
342	addx301 add -1 1 -> 0
343	addx302 add 0 1 -> 1
344	addx303 add 1 1 -> 2
345	addx304 add 12 1 -> 13
346	addx305 add 98 1 -> 99
347	addx306 add 99 1 -> 100
348	addx307 add 100 1 -> 101
349	addx308 add 101 1 -> 102
350	addx309 add -1 -1 -> -2
351	addx310 add 0 -1 -> -1
352	addx311 add 1 -1 -> 0
353	addx312 add 12 -1 -> 11
354	addx313 add 98 -1 -> 97
355	addx314 add 99 -1 -> 98
356	addx315 add 100 -1 -> 99
357	addx316 add 101 -1 -> 100
358
359	addx321 add -0.01 0.01 -> 0.00
360	addx322 add 0.00 0.01 -> 0.01
361	addx323 add 0.01 0.01 -> 0.02
362	addx324 add 0.12 0.01 -> 0.13
363	addx325 add 0.98 0.01 -> 0.99
364	addx326 add 0.99 0.01 -> 1.00
365	addx327 add 1.00 0.01 -> 1.01
366	addx328 add 1.01 0.01 -> 1.02
367	addx329 add -0.01 -0.01 -> -0.02
368	addx330 add 0.00 -0.01 -> -0.01
369	addx331 add 0.01 -0.01 -> 0.00
370	addx332 add 0.12 -0.01 -> 0.11
371	addx333 add 0.98 -0.01 -> 0.97
372	addx334 add 0.99 -0.01 -> 0.98
373	addx335 add 1.00 -0.01 -> 0.99
374	addx336 add 1.01 -0.01 -> 1.00
375
376	-- some more cases where adding 0 affects the coefficient
377	precision: 9
378	addx340 add 1E+3 0 -> 1000
379	addx341 add 1E+8 0 -> 100000000
380	addx342 add 1E+9 0 -> 1.00000000E+9 Rounded
381	addx343 add 1E+10 0 -> 1.00000000E+10 Rounded
382	-- which simply follow from these cases ...
383	addx344 add 1E+3 1 -> 1001
384	addx345 add 1E+8 1 -> 100000001
385	addx346 add 1E+9 1 -> 1.00000000E+9 Inexact Rounded
386	addx347 add 1E+10 1 -> 1.00000000E+10 Inexact Rounded
387	addx348 add 1E+3 7 -> 1007
388	addx349 add 1E+8 7 -> 100000007
389	addx350 add 1E+9 7 -> 1.00000001E+9 Inexact Rounded
390	addx351 add 1E+10 7 -> 1.00000000E+10 Inexact Rounded
391
392	-- tryzeros cases
393	precision: 7
394	rounding: half_up
395	maxExponent: 92
396	minexponent: -92
397	addx361 add 0E+50 10000E+1 -> 1.0000E+5
398	addx362 add 10000E+1 0E-50 -> 100000.0 Rounded
399	addx363 add 10000E+1 10000E-50 -> 100000.0 Rounded Inexact
400	addx364 add 9.999999E+92 -9.999999E+92 -> 0E+86
401
402	-- a curiosity from JSR 13 testing
403	rounding: half_down
404	precision: 10
405	addx370 add 99999999 81512 -> 100081511
406	precision: 6
407	addx371 add 99999999 81512 -> 1.00082E+8 Rounded Inexact
408	rounding: half_up
409	precision: 10
410	addx372 add 99999999 81512 -> 100081511
411	precision: 6
412	addx373 add 99999999 81512 -> 1.00082E+8 Rounded Inexact
413	rounding: half_even
414	precision: 10
415	addx374 add 99999999 81512 -> 100081511
416	precision: 6
417	addx375 add 99999999 81512 -> 1.00082E+8 Rounded Inexact
418
419	-- ulp replacement tests
420	precision: 9
421	maxexponent: 999999999
422	minexponent: -999999999
423	addx400 add 1 77e-7 -> 1.0000077
424	addx401 add 1 77e-8 -> 1.00000077
425	addx402 add 1 77e-9 -> 1.00000008 Inexact Rounded
426	addx403 add 1 77e-10 -> 1.00000001 Inexact Rounded
427	addx404 add 1 77e-11 -> 1.00000000 Inexact Rounded
428	addx405 add 1 77e-12 -> 1.00000000 Inexact Rounded
429	addx406 add 1 77e-999 -> 1.00000000 Inexact Rounded
430	addx407 add 1 77e-9999999 -> 1.00000000 Inexact Rounded
431
432	addx410 add 10 77e-7 -> 10.0000077
433	addx411 add 10 77e-8 -> 10.0000008 Inexact Rounded
434	addx412 add 10 77e-9 -> 10.0000001 Inexact Rounded
435	addx413 add 10 77e-10 -> 10.0000000 Inexact Rounded
436	addx414 add 10 77e-11 -> 10.0000000 Inexact Rounded
437	addx415 add 10 77e-12 -> 10.0000000 Inexact Rounded
438	addx416 add 10 77e-999 -> 10.0000000 Inexact Rounded
439	addx417 add 10 77e-9999999 -> 10.0000000 Inexact Rounded
440
441	addx420 add 77e-7 1 -> 1.0000077
442	addx421 add 77e-8 1 -> 1.00000077
443	addx422 add 77e-9 1 -> 1.00000008 Inexact Rounded
444	addx423 add 77e-10 1 -> 1.00000001 Inexact Rounded
445	addx424 add 77e-11 1 -> 1.00000000 Inexact Rounded
446	addx425 add 77e-12 1 -> 1.00000000 Inexact Rounded
447	addx426 add 77e-999 1 -> 1.00000000 Inexact Rounded
448	addx427 add 77e-9999999 1 -> 1.00000000 Inexact Rounded
449
450	addx430 add 77e-7 10 -> 10.0000077
451	addx431 add 77e-8 10 -> 10.0000008 Inexact Rounded
452	addx432 add 77e-9 10 -> 10.0000001 Inexact Rounded
453	addx433 add 77e-10 10 -> 10.0000000 Inexact Rounded
454	addx434 add 77e-11 10 -> 10.0000000 Inexact Rounded
455	addx435 add 77e-12 10 -> 10.0000000 Inexact Rounded
456	addx436 add 77e-999 10 -> 10.0000000 Inexact Rounded
457	addx437 add 77e-9999999 10 -> 10.0000000 Inexact Rounded
458
459	-- negative ulps
460	addx440 add 1 -77e-7 -> 0.9999923
461	addx441 add 1 -77e-8 -> 0.99999923
462	addx442 add 1 -77e-9 -> 0.999999923
463	addx443 add 1 -77e-10 -> 0.999999992 Inexact Rounded
464	addx444 add 1 -77e-11 -> 0.999999999 Inexact Rounded
465	addx445 add 1 -77e-12 -> 1.00000000 Inexact Rounded
466	addx446 add 1 -77e-999 -> 1.00000000 Inexact Rounded
467	addx447 add 1 -77e-9999999 -> 1.00000000 Inexact Rounded
468
469	addx450 add 10 -77e-7 -> 9.9999923
470	addx451 add 10 -77e-8 -> 9.99999923
471	addx452 add 10 -77e-9 -> 9.99999992 Inexact Rounded
472	addx453 add 10 -77e-10 -> 9.99999999 Inexact Rounded
473	addx454 add 10 -77e-11 -> 10.0000000 Inexact Rounded
474	addx455 add 10 -77e-12 -> 10.0000000 Inexact Rounded
475	addx456 add 10 -77e-999 -> 10.0000000 Inexact Rounded
476	addx457 add 10 -77e-9999999 -> 10.0000000 Inexact Rounded
477
478	addx460 add -77e-7 1 -> 0.9999923
479	addx461 add -77e-8 1 -> 0.99999923
480	addx462 add -77e-9 1 -> 0.999999923
481	addx463 add -77e-10 1 -> 0.999999992 Inexact Rounded
482	addx464 add -77e-11 1 -> 0.999999999 Inexact Rounded
483	addx465 add -77e-12 1 -> 1.00000000 Inexact Rounded
484	addx466 add -77e-999 1 -> 1.00000000 Inexact Rounded
485	addx467 add -77e-9999999 1 -> 1.00000000 Inexact Rounded
486
487	addx470 add -77e-7 10 -> 9.9999923
488	addx471 add -77e-8 10 -> 9.99999923
489	addx472 add -77e-9 10 -> 9.99999992 Inexact Rounded
490	addx473 add -77e-10 10 -> 9.99999999 Inexact Rounded
491	addx474 add -77e-11 10 -> 10.0000000 Inexact Rounded
492	addx475 add -77e-12 10 -> 10.0000000 Inexact Rounded
493	addx476 add -77e-999 10 -> 10.0000000 Inexact Rounded
494	addx477 add -77e-9999999 10 -> 10.0000000 Inexact Rounded
495
496	-- negative ulps
497	addx480 add -1 77e-7 -> -0.9999923
498	addx481 add -1 77e-8 -> -0.99999923
499	addx482 add -1 77e-9 -> -0.999999923
500	addx483 add -1 77e-10 -> -0.999999992 Inexact Rounded
501	addx484 add -1 77e-11 -> -0.999999999 Inexact Rounded
502	addx485 add -1 77e-12 -> -1.00000000 Inexact Rounded
503	addx486 add -1 77e-999 -> -1.00000000 Inexact Rounded
504	addx487 add -1 77e-9999999 -> -1.00000000 Inexact Rounded
505
506	addx490 add -10 77e-7 -> -9.9999923
507	addx491 add -10 77e-8 -> -9.99999923
508	addx492 add -10 77e-9 -> -9.99999992 Inexact Rounded
509	addx493 add -10 77e-10 -> -9.99999999 Inexact Rounded
510	addx494 add -10 77e-11 -> -10.0000000 Inexact Rounded
511	addx495 add -10 77e-12 -> -10.0000000 Inexact Rounded
512	addx496 add -10 77e-999 -> -10.0000000 Inexact Rounded
513	addx497 add -10 77e-9999999 -> -10.0000000 Inexact Rounded
514
515	addx500 add 77e-7 -1 -> -0.9999923
516	addx501 add 77e-8 -1 -> -0.99999923
517	addx502 add 77e-9 -1 -> -0.999999923
518	addx503 add 77e-10 -1 -> -0.999999992 Inexact Rounded
519	addx504 add 77e-11 -1 -> -0.999999999 Inexact Rounded
520	addx505 add 77e-12 -1 -> -1.00000000 Inexact Rounded
521	addx506 add 77e-999 -1 -> -1.00000000 Inexact Rounded
522	addx507 add 77e-9999999 -1 -> -1.00000000 Inexact Rounded
523
524	addx510 add 77e-7 -10 -> -9.9999923
525	addx511 add 77e-8 -10 -> -9.99999923
526	addx512 add 77e-9 -10 -> -9.99999992 Inexact Rounded
527	addx513 add 77e-10 -10 -> -9.99999999 Inexact Rounded
528	addx514 add 77e-11 -10 -> -10.0000000 Inexact Rounded
529	addx515 add 77e-12 -10 -> -10.0000000 Inexact Rounded
530	addx516 add 77e-999 -10 -> -10.0000000 Inexact Rounded
531	addx517 add 77e-9999999 -10 -> -10.0000000 Inexact Rounded
532
533
534	-- long operands
535	maxexponent: 999
536	minexponent: -999
537	precision: 9
538	addx521 add 12345678000 0 -> 1.23456780E+10 Rounded
539	addx522 add 0 12345678000 -> 1.23456780E+10 Rounded
540	addx523 add 1234567800 0 -> 1.23456780E+9 Rounded
541	addx524 add 0 1234567800 -> 1.23456780E+9 Rounded
542	addx525 add 1234567890 0 -> 1.23456789E+9 Rounded
543	addx526 add 0 1234567890 -> 1.23456789E+9 Rounded
544	addx527 add 1234567891 0 -> 1.23456789E+9 Inexact Rounded
545	addx528 add 0 1234567891 -> 1.23456789E+9 Inexact Rounded
546	addx529 add 12345678901 0 -> 1.23456789E+10 Inexact Rounded
547	addx530 add 0 12345678901 -> 1.23456789E+10 Inexact Rounded
548	addx531 add 1234567896 0 -> 1.23456790E+9 Inexact Rounded
549	addx532 add 0 1234567896 -> 1.23456790E+9 Inexact Rounded
550
551	precision: 15
552	-- still checking
553	addx541 add 12345678000 0 -> 12345678000
554	addx542 add 0 12345678000 -> 12345678000
555	addx543 add 1234567800 0 -> 1234567800
556	addx544 add 0 1234567800 -> 1234567800
557	addx545 add 1234567890 0 -> 1234567890
558	addx546 add 0 1234567890 -> 1234567890
559	addx547 add 1234567891 0 -> 1234567891
560	addx548 add 0 1234567891 -> 1234567891
561	addx549 add 12345678901 0 -> 12345678901
562	addx550 add 0 12345678901 -> 12345678901
563	addx551 add 1234567896 0 -> 1234567896
564	addx552 add 0 1234567896 -> 1234567896
565
566	-- verify a query
567	precision: 16
568	maxExponent: +394
569	minExponent: -393
570	rounding: down
571	addx561 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
572	addx562 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
573	-- and using decimal64 bounds (see also ddadd.decTest)
574	precision: 16
575	maxExponent: +384
576	minExponent: -383
577	rounding: down
578	addx563 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
579	addx564 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded
580
581
582	-- some more residue effects with extreme rounding
583	precision: 9
584	rounding: half_up
585	addx601 add 123456789 0.000001 -> 123456789 Inexact Rounded
586	rounding: half_even
587	addx602 add 123456789 0.000001 -> 123456789 Inexact Rounded
588	rounding: half_down
589	addx603 add 123456789 0.000001 -> 123456789 Inexact Rounded
590	rounding: floor
591	addx604 add 123456789 0.000001 -> 123456789 Inexact Rounded
592	rounding: ceiling
593	addx605 add 123456789 0.000001 -> 123456790 Inexact Rounded
594	rounding: up
595	addx606 add 123456789 0.000001 -> 123456790 Inexact Rounded
596	rounding: down
597	addx607 add 123456789 0.000001 -> 123456789 Inexact Rounded
598
599	rounding: half_up
600	addx611 add 123456789 -0.000001 -> 123456789 Inexact Rounded
601	rounding: half_even
602	addx612 add 123456789 -0.000001 -> 123456789 Inexact Rounded
603	rounding: half_down
604	addx613 add 123456789 -0.000001 -> 123456789 Inexact Rounded
605	rounding: floor
606	addx614 add 123456789 -0.000001 -> 123456788 Inexact Rounded
607	rounding: ceiling
608	addx615 add 123456789 -0.000001 -> 123456789 Inexact Rounded
609	rounding: up
610	addx616 add 123456789 -0.000001 -> 123456789 Inexact Rounded
611	rounding: down
612	addx617 add 123456789 -0.000001 -> 123456788 Inexact Rounded
613
614	rounding: half_up
615	addx621 add 123456789 0.499999 -> 123456789 Inexact Rounded
616	rounding: half_even
617	addx622 add 123456789 0.499999 -> 123456789 Inexact Rounded
618	rounding: half_down
619	addx623 add 123456789 0.499999 -> 123456789 Inexact Rounded
620	rounding: floor
621	addx624 add 123456789 0.499999 -> 123456789 Inexact Rounded
622	rounding: ceiling
623	addx625 add 123456789 0.499999 -> 123456790 Inexact Rounded
624	rounding: up
625	addx626 add 123456789 0.499999 -> 123456790 Inexact Rounded
626	rounding: down
627	addx627 add 123456789 0.499999 -> 123456789 Inexact Rounded
628
629	rounding: half_up
630	addx631 add 123456789 -0.499999 -> 123456789 Inexact Rounded
631	rounding: half_even
632	addx632 add 123456789 -0.499999 -> 123456789 Inexact Rounded
633	rounding: half_down
634	addx633 add 123456789 -0.499999 -> 123456789 Inexact Rounded
635	rounding: floor
636	addx634 add 123456789 -0.499999 -> 123456788 Inexact Rounded
637	rounding: ceiling
638	addx635 add 123456789 -0.499999 -> 123456789 Inexact Rounded
639	rounding: up
640	addx636 add 123456789 -0.499999 -> 123456789 Inexact Rounded
641	rounding: down
642	addx637 add 123456789 -0.499999 -> 123456788 Inexact Rounded
643
644	rounding: half_up
645	addx641 add 123456789 0.500001 -> 123456790 Inexact Rounded
646	rounding: half_even
647	addx642 add 123456789 0.500001 -> 123456790 Inexact Rounded
648	rounding: half_down
649	addx643 add 123456789 0.500001 -> 123456790 Inexact Rounded
650	rounding: floor
651	addx644 add 123456789 0.500001 -> 123456789 Inexact Rounded
652	rounding: ceiling
653	addx645 add 123456789 0.500001 -> 123456790 Inexact Rounded
654	rounding: up
655	addx646 add 123456789 0.500001 -> 123456790 Inexact Rounded
656	rounding: down
657	addx647 add 123456789 0.500001 -> 123456789 Inexact Rounded
658
659	rounding: half_up
660	addx651 add 123456789 -0.500001 -> 123456788 Inexact Rounded
661	rounding: half_even
662	addx652 add 123456789 -0.500001 -> 123456788 Inexact Rounded
663	rounding: half_down
664	addx653 add 123456789 -0.500001 -> 123456788 Inexact Rounded
665	rounding: floor
666	addx654 add 123456789 -0.500001 -> 123456788 Inexact Rounded
667	rounding: ceiling
668	addx655 add 123456789 -0.500001 -> 123456789 Inexact Rounded
669	rounding: up
670	addx656 add 123456789 -0.500001 -> 123456789 Inexact Rounded
671	rounding: down
672	addx657 add 123456789 -0.500001 -> 123456788 Inexact Rounded
673
674	-- long operand triangle
675	rounding: half_up
676	precision: 37
677	addx660 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114834538
678	precision: 36
679	addx661 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483454 Inexact Rounded
680	precision: 35
681	addx662 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148345 Inexact Rounded
682	precision: 34
683	addx663 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114835 Inexact Rounded
684	precision: 33
685	addx664 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483 Inexact Rounded
686	precision: 32
687	addx665 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148 Inexact Rounded
688	precision: 31
689	addx666 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337115 Inexact Rounded
690	precision: 30
691	addx667 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711 Inexact Rounded
692	precision: 29
693	addx668 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371 Inexact Rounded
694	precision: 28
695	addx669 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337 Inexact Rounded
696	precision: 27
697	addx670 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892234 Inexact Rounded
698	precision: 26
699	addx671 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223 Inexact Rounded
700	precision: 25
701	addx672 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922 Inexact Rounded
702	precision: 24
703	addx673 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892 Inexact Rounded
704	precision: 23
705	addx674 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389 Inexact Rounded
706	precision: 22
707	addx675 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023639 Inexact Rounded
708	precision: 21
709	addx676 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102364 Inexact Rounded
710	precision: 20
711	addx677 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236 Inexact Rounded
712	precision: 19
713	addx678 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211024 Inexact Rounded
714	precision: 18
715	addx679 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102 Inexact Rounded
716	precision: 17
717	addx680 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110 Inexact Rounded
718	precision: 16
719	addx681 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211 Inexact Rounded
720	precision: 15
721	addx682 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221 Inexact Rounded
722	precision: 14
723	addx683 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422 Inexact Rounded
724	precision: 13
725	addx684 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42 Inexact Rounded
726	precision: 12
727	addx685 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4 Inexact Rounded
728	precision: 11
729	addx686 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166 Inexact Rounded
730	precision: 10
731	addx687 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117417E+10 Inexact Rounded
732	precision: 9
733	addx688 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84711742E+10 Inexact Rounded
734	precision: 8
735	addx689 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471174E+10 Inexact Rounded
736	precision: 7
737	addx690 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117E+10 Inexact Rounded
738	precision: 6
739	addx691 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84712E+10 Inexact Rounded
740	precision: 5
741	addx692 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471E+10 Inexact Rounded
742	precision: 4
743	addx693 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847E+10 Inexact Rounded
744	precision: 3
745	addx694 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.85E+10 Inexact Rounded
746	precision: 2
747	addx695 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8E+10 Inexact Rounded
748	precision: 1
749	addx696 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 1E+11 Inexact Rounded
750
751	-- more zeros, etc.
752	rounding: half_up
753	precision: 9
754
755	addx701 add 5.00 1.00E-3 -> 5.00100
756	addx702 add 00.00 0.000 -> 0.000
757	addx703 add 00.00 0E-3 -> 0.000
758	addx704 add 0E-3 00.00 -> 0.000
759
760	addx710 add 0E+3 00.00 -> 0.00
761	addx711 add 0E+3 00.0 -> 0.0
762	addx712 add 0E+3 00. -> 0
763	addx713 add 0E+3 00.E+1 -> 0E+1
764	addx714 add 0E+3 00.E+2 -> 0E+2
765	addx715 add 0E+3 00.E+3 -> 0E+3
766	addx716 add 0E+3 00.E+4 -> 0E+3
767	addx717 add 0E+3 00.E+5 -> 0E+3
768	addx718 add 0E+3 -00.0 -> 0.0
769	addx719 add 0E+3 -00. -> 0
770	addx731 add 0E+3 -00.E+1 -> 0E+1
771
772	addx720 add 00.00 0E+3 -> 0.00
773	addx721 add 00.0 0E+3 -> 0.0
774	addx722 add 00. 0E+3 -> 0
775	addx723 add 00.E+1 0E+3 -> 0E+1
776	addx724 add 00.E+2 0E+3 -> 0E+2
777	addx725 add 00.E+3 0E+3 -> 0E+3
778	addx726 add 00.E+4 0E+3 -> 0E+3
779	addx727 add 00.E+5 0E+3 -> 0E+3
780	addx728 add -00.00 0E+3 -> 0.00
781	addx729 add -00.0 0E+3 -> 0.0
782	addx730 add -00. 0E+3 -> 0
783
784	addx732 add 0 0 -> 0
785	addx733 add 0 -0 -> 0
786	addx734 add -0 0 -> 0
787	addx735 add -0 -0 -> -0 -- IEEE 854 special case
788
789	addx736 add 1 -1 -> 0
790	addx737 add -1 -1 -> -2
791	addx738 add 1 1 -> 2
792	addx739 add -1 1 -> 0
793
794	addx741 add 0 -1 -> -1
795	addx742 add -0 -1 -> -1
796	addx743 add 0 1 -> 1
797	addx744 add -0 1 -> 1
798	addx745 add -1 0 -> -1
799	addx746 add -1 -0 -> -1
800	addx747 add 1 0 -> 1
801	addx748 add 1 -0 -> 1
802
803	addx751 add 0.0 -1 -> -1.0
804	addx752 add -0.0 -1 -> -1.0
805	addx753 add 0.0 1 -> 1.0
806	addx754 add -0.0 1 -> 1.0
807	addx755 add -1.0 0 -> -1.0
808	addx756 add -1.0 -0 -> -1.0
809	addx757 add 1.0 0 -> 1.0
810	addx758 add 1.0 -0 -> 1.0
811
812	addx761 add 0 -1.0 -> -1.0
813	addx762 add -0 -1.0 -> -1.0
814	addx763 add 0 1.0 -> 1.0
815	addx764 add -0 1.0 -> 1.0
816	addx765 add -1 0.0 -> -1.0
817	addx766 add -1 -0.0 -> -1.0
818	addx767 add 1 0.0 -> 1.0
819	addx768 add 1 -0.0 -> 1.0
820
821	addx771 add 0.0 -1.0 -> -1.0
822	addx772 add -0.0 -1.0 -> -1.0
823	addx773 add 0.0 1.0 -> 1.0
824	addx774 add -0.0 1.0 -> 1.0
825	addx775 add -1.0 0.0 -> -1.0
826	addx776 add -1.0 -0.0 -> -1.0
827	addx777 add 1.0 0.0 -> 1.0
828	addx778 add 1.0 -0.0 -> 1.0
829
830	-- Specials
831	addx780 add -Inf -Inf -> -Infinity
832	addx781 add -Inf -1000 -> -Infinity
833	addx782 add -Inf -1 -> -Infinity
834	addx783 add -Inf -0 -> -Infinity
835	addx784 add -Inf 0 -> -Infinity
836	addx785 add -Inf 1 -> -Infinity
837	addx786 add -Inf 1000 -> -Infinity
838	addx787 add -1000 -Inf -> -Infinity
839	addx788 add -Inf -Inf -> -Infinity
840	addx789 add -1 -Inf -> -Infinity
841	addx790 add -0 -Inf -> -Infinity
842	addx791 add 0 -Inf -> -Infinity
843	addx792 add 1 -Inf -> -Infinity
844	addx793 add 1000 -Inf -> -Infinity
845	addx794 add Inf -Inf -> NaN Invalid_operation
846
847	addx800 add Inf -Inf -> NaN Invalid_operation
848	addx801 add Inf -1000 -> Infinity
849	addx802 add Inf -1 -> Infinity
850	addx803 add Inf -0 -> Infinity
851	addx804 add Inf 0 -> Infinity
852	addx805 add Inf 1 -> Infinity
853	addx806 add Inf 1000 -> Infinity
854	addx807 add Inf Inf -> Infinity
855	addx808 add -1000 Inf -> Infinity
856	addx809 add -Inf Inf -> NaN Invalid_operation
857	addx810 add -1 Inf -> Infinity
858	addx811 add -0 Inf -> Infinity
859	addx812 add 0 Inf -> Infinity
860	addx813 add 1 Inf -> Infinity
861	addx814 add 1000 Inf -> Infinity
862	addx815 add Inf Inf -> Infinity
863
864	addx821 add NaN -Inf -> NaN
865	addx822 add NaN -1000 -> NaN
866	addx823 add NaN -1 -> NaN
867	addx824 add NaN -0 -> NaN
868	addx825 add NaN 0 -> NaN
869	addx826 add NaN 1 -> NaN
870	addx827 add NaN 1000 -> NaN
871	addx828 add NaN Inf -> NaN
872	addx829 add NaN NaN -> NaN
873	addx830 add -Inf NaN -> NaN
874	addx831 add -1000 NaN -> NaN
875	addx832 add -1 NaN -> NaN
876	addx833 add -0 NaN -> NaN
877	addx834 add 0 NaN -> NaN
878	addx835 add 1 NaN -> NaN
879	addx836 add 1000 NaN -> NaN
880	addx837 add Inf NaN -> NaN
881
882	addx841 add sNaN -Inf -> NaN Invalid_operation
883	addx842 add sNaN -1000 -> NaN Invalid_operation
884	addx843 add sNaN -1 -> NaN Invalid_operation
885	addx844 add sNaN -0 -> NaN Invalid_operation
886	addx845 add sNaN 0 -> NaN Invalid_operation
887	addx846 add sNaN 1 -> NaN Invalid_operation
888	addx847 add sNaN 1000 -> NaN Invalid_operation
889	addx848 add sNaN NaN -> NaN Invalid_operation
890	addx849 add sNaN sNaN -> NaN Invalid_operation
891	addx850 add NaN sNaN -> NaN Invalid_operation
892	addx851 add -Inf sNaN -> NaN Invalid_operation
893	addx852 add -1000 sNaN -> NaN Invalid_operation
894	addx853 add -1 sNaN -> NaN Invalid_operation
895	addx854 add -0 sNaN -> NaN Invalid_operation
896	addx855 add 0 sNaN -> NaN Invalid_operation
897	addx856 add 1 sNaN -> NaN Invalid_operation
898	addx857 add 1000 sNaN -> NaN Invalid_operation
899	addx858 add Inf sNaN -> NaN Invalid_operation
900	addx859 add NaN sNaN -> NaN Invalid_operation
901
902	-- propagating NaNs
903	addx861 add NaN1 -Inf -> NaN1
904	addx862 add +NaN2 -1000 -> NaN2
905	addx863 add NaN3 1000 -> NaN3
906	addx864 add NaN4 Inf -> NaN4
907	addx865 add NaN5 +NaN6 -> NaN5
908	addx866 add -Inf NaN7 -> NaN7
909	addx867 add -1000 NaN8 -> NaN8
910	addx868 add 1000 NaN9 -> NaN9
911	addx869 add Inf +NaN10 -> NaN10
912	addx871 add sNaN11 -Inf -> NaN11 Invalid_operation
913	addx872 add sNaN12 -1000 -> NaN12 Invalid_operation
914	addx873 add sNaN13 1000 -> NaN13 Invalid_operation
915	addx874 add sNaN14 NaN17 -> NaN14 Invalid_operation
916	addx875 add sNaN15 sNaN18 -> NaN15 Invalid_operation
917	addx876 add NaN16 sNaN19 -> NaN19 Invalid_operation
918	addx877 add -Inf +sNaN20 -> NaN20 Invalid_operation
919	addx878 add -1000 sNaN21 -> NaN21 Invalid_operation
920	addx879 add 1000 sNaN22 -> NaN22 Invalid_operation
921	addx880 add Inf sNaN23 -> NaN23 Invalid_operation
922	addx881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation
923	addx882 add -NaN26 NaN28 -> -NaN26
924	addx883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation
925	addx884 add 1000 -NaN30 -> -NaN30
926	addx885 add 1000 -sNaN31 -> -NaN31 Invalid_operation
927
928	-- overflow, underflow and subnormal tests
929	maxexponent: 999999999
930	minexponent: -999999999
931	precision: 9
932	addx890 add 1E+999999999 9E+999999999 -> Infinity Overflow Inexact Rounded
933	addx891 add 9E+999999999 1E+999999999 -> Infinity Overflow Inexact Rounded
934	addx892 add -1.1E-999999999 1E-999999999 -> -1E-1000000000 Subnormal
935	addx893 add 1E-999999999 -1.1e-999999999 -> -1E-1000000000 Subnormal
936	addx894 add -1.0001E-999999999 1E-999999999 -> -1E-1000000003 Subnormal
937	addx895 add 1E-999999999 -1.0001e-999999999 -> -1E-1000000003 Subnormal
938	addx896 add -1E+999999999 -9E+999999999 -> -Infinity Overflow Inexact Rounded
939	addx897 add -9E+999999999 -1E+999999999 -> -Infinity Overflow Inexact Rounded
940	addx898 add +1.1E-999999999 -1E-999999999 -> 1E-1000000000 Subnormal
941	addx899 add -1E-999999999 +1.1e-999999999 -> 1E-1000000000 Subnormal
942	addx900 add +1.0001E-999999999 -1E-999999999 -> 1E-1000000003 Subnormal
943	addx901 add -1E-999999999 +1.0001e-999999999 -> 1E-1000000003 Subnormal
944	addx902 add -1E+999999999 +9E+999999999 -> 8E+999999999
945	addx903 add -9E+999999999 +1E+999999999 -> -8E+999999999
946
947	precision: 3
948	addx904 add 0 -9.999E+999999999 -> -Infinity Inexact Overflow Rounded
949	addx905 add -9.999E+999999999 0 -> -Infinity Inexact Overflow Rounded
950	addx906 add 0 9.999E+999999999 -> Infinity Inexact Overflow Rounded
951	addx907 add 9.999E+999999999 0 -> Infinity Inexact Overflow Rounded
952
953	precision: 3
954	maxexponent: 999
955	minexponent: -999
956	addx910 add 1.00E-999 0 -> 1.00E-999
957	addx911 add 0.1E-999 0 -> 1E-1000 Subnormal
958	addx912 add 0.10E-999 0 -> 1.0E-1000 Subnormal
959	addx913 add 0.100E-999 0 -> 1.0E-1000 Subnormal Rounded
960	addx914 add 0.01E-999 0 -> 1E-1001 Subnormal
961	-- next is rounded to Nmin
962	addx915 add 0.999E-999 0 -> 1.00E-999 Inexact Rounded Subnormal Underflow
963	addx916 add 0.099E-999 0 -> 1.0E-1000 Inexact Rounded Subnormal Underflow
964	addx917 add 0.009E-999 0 -> 1E-1001 Inexact Rounded Subnormal Underflow
965	addx918 add 0.001E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
966	addx919 add 0.0009E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
967	addx920 add 0.0001E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped
968
969	addx930 add -1.00E-999 0 -> -1.00E-999
970	addx931 add -0.1E-999 0 -> -1E-1000 Subnormal
971	addx932 add -0.10E-999 0 -> -1.0E-1000 Subnormal
972	addx933 add -0.100E-999 0 -> -1.0E-1000 Subnormal Rounded
973	addx934 add -0.01E-999 0 -> -1E-1001 Subnormal
974	-- next is rounded to Nmin
975	addx935 add -0.999E-999 0 -> -1.00E-999 Inexact Rounded Subnormal Underflow
976	addx936 add -0.099E-999 0 -> -1.0E-1000 Inexact Rounded Subnormal Underflow
977	addx937 add -0.009E-999 0 -> -1E-1001 Inexact Rounded Subnormal Underflow
978	addx938 add -0.001E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped
979	addx939 add -0.0009E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped
980	addx940 add -0.0001E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped
981
982	-- some non-zero subnormal adds
983	addx950 add 1.00E-999 0.1E-999 -> 1.10E-999
984	addx951 add 0.1E-999 0.1E-999 -> 2E-1000 Subnormal
985	addx952 add 0.10E-999 0.1E-999 -> 2.0E-1000 Subnormal
986	addx953 add 0.100E-999 0.1E-999 -> 2.0E-1000 Subnormal Rounded
987	addx954 add 0.01E-999 0.1E-999 -> 1.1E-1000 Subnormal
988	addx955 add 0.999E-999 0.1E-999 -> 1.10E-999 Inexact Rounded
989	addx956 add 0.099E-999 0.1E-999 -> 2.0E-1000 Inexact Rounded Subnormal Underflow
990	addx957 add 0.009E-999 0.1E-999 -> 1.1E-1000 Inexact Rounded Subnormal Underflow
991	addx958 add 0.001E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow
992	addx959 add 0.0009E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow
993	addx960 add 0.0001E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow
994	-- negatives...
995	addx961 add 1.00E-999 -0.1E-999 -> 9.0E-1000 Subnormal
996	addx962 add 0.1E-999 -0.1E-999 -> 0E-1000
997	addx963 add 0.10E-999 -0.1E-999 -> 0E-1001
998	addx964 add 0.100E-999 -0.1E-999 -> 0E-1001 Clamped
999	addx965 add 0.01E-999 -0.1E-999 -> -9E-1001 Subnormal
1000	addx966 add 0.999E-999 -0.1E-999 -> 9.0E-1000 Inexact Rounded Subnormal Underflow
1001	addx967 add 0.099E-999 -0.1E-999 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped
1002	addx968 add 0.009E-999 -0.1E-999 -> -9E-1001 Inexact Rounded Subnormal Underflow
1003	addx969 add 0.001E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow
1004	addx970 add 0.0009E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow
1005	addx971 add 0.0001E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow
1006
1007	-- some 'real' numbers
1008	maxExponent: 384
1009	minExponent: -383
1010	precision: 8
1011	addx566 add 99999061735E-394 0E-394 -> 9.999906E-384 Inexact Rounded Underflow Subnormal
1012	precision: 7
1013	addx567 add 99999061735E-394 0E-394 -> 9.99991E-384 Inexact Rounded Underflow Subnormal
1014	precision: 6
1015	addx568 add 99999061735E-394 0E-394 -> 9.9999E-384 Inexact Rounded Underflow Subnormal
1016
1017	-- now the case where we can get underflow but the result is normal
1018	-- [note this can't happen if the operands are also bounded, as we
1019	-- cannot represent 1E-399, for example]
1020	precision: 16
1021	rounding: half_up
1022	maxExponent: 384
1023	minExponent: -383
1024
1025	addx571 add 1E-383 0 -> 1E-383
1026	addx572 add 1E-384 0 -> 1E-384 Subnormal
1027	addx573 add 1E-383 1E-384 -> 1.1E-383
1028	addx574 subtract 1E-383 1E-384 -> 9E-384 Subnormal
1029
1030	-- Here we explore the boundary of rounding a subnormal to Nmin
1031	addx575 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal
1032	addx576 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal
1033	addx577 subtract 1E-383 1E-399 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
1034	addx578 subtract 1E-383 1E-400 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
1035	addx579 subtract 1E-383 1E-401 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
1036	addx580 subtract 1E-383 1E-402 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
1037
1038	-- check overflow edge case
1039	precision: 7
1040	rounding: half_up
1041	maxExponent: 96
1042	minExponent: -95
1043	addx972 apply 9.999999E+96 -> 9.999999E+96
1044	addx973 add 9.999999E+96 1 -> 9.999999E+96 Inexact Rounded
1045	addx974 add 9999999E+90 1 -> 9.999999E+96 Inexact Rounded
1046	addx975 add 9999999E+90 1E+90 -> Infinity Overflow Inexact Rounded
1047	addx976 add 9999999E+90 9E+89 -> Infinity Overflow Inexact Rounded
1048	addx977 add 9999999E+90 8E+89 -> Infinity Overflow Inexact Rounded
1049	addx978 add 9999999E+90 7E+89 -> Infinity Overflow Inexact Rounded
1050	addx979 add 9999999E+90 6E+89 -> Infinity Overflow Inexact Rounded
1051	addx980 add 9999999E+90 5E+89 -> Infinity Overflow Inexact Rounded
1052	addx981 add 9999999E+90 4E+89 -> 9.999999E+96 Inexact Rounded
1053	addx982 add 9999999E+90 3E+89 -> 9.999999E+96 Inexact Rounded
1054	addx983 add 9999999E+90 2E+89 -> 9.999999E+96 Inexact Rounded
1055	addx984 add 9999999E+90 1E+89 -> 9.999999E+96 Inexact Rounded
1056
1057	addx985 apply -9.999999E+96 -> -9.999999E+96
1058	addx986 add -9.999999E+96 -1 -> -9.999999E+96 Inexact Rounded
1059	addx987 add -9999999E+90 -1 -> -9.999999E+96 Inexact Rounded
1060	addx988 add -9999999E+90 -1E+90 -> -Infinity Overflow Inexact Rounded
1061	addx989 add -9999999E+90 -9E+89 -> -Infinity Overflow Inexact Rounded
1062	addx990 add -9999999E+90 -8E+89 -> -Infinity Overflow Inexact Rounded
1063	addx991 add -9999999E+90 -7E+89 -> -Infinity Overflow Inexact Rounded
1064	addx992 add -9999999E+90 -6E+89 -> -Infinity Overflow Inexact Rounded
1065	addx993 add -9999999E+90 -5E+89 -> -Infinity Overflow Inexact Rounded
1066	addx994 add -9999999E+90 -4E+89 -> -9.999999E+96 Inexact Rounded
1067	addx995 add -9999999E+90 -3E+89 -> -9.999999E+96 Inexact Rounded
1068	addx996 add -9999999E+90 -2E+89 -> -9.999999E+96 Inexact Rounded
1069	addx997 add -9999999E+90 -1E+89 -> -9.999999E+96 Inexact Rounded
1070
1071	-- check for double-rounded subnormals
1072	precision: 5
1073	maxexponent: 79
1074	minexponent: -79
1075	-- Add: lhs and rhs 0
1076	addx1001 add 1.52444E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1077	addx1002 add 1.52445E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1078	addx1003 add 1.52446E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1079	addx1004 add 0 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1080	addx1005 add 0 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1081	addx1006 add 0 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1082
1083	-- Add: lhs >> rhs and vice versa
1084	addx1011 add 1.52444E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1085	addx1012 add 1.52445E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1086	addx1013 add 1.52446E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1087	addx1014 add 1E-100 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1088	addx1015 add 1E-100 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1089	addx1016 add 1E-100 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
1090
1091	-- Add: lhs + rhs addition carried out
1092	addx1021 add 1.52443E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
1093	addx1022 add 1.52444E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
1094	addx1023 add 1.52445E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
1095	addx1024 add 1.00001E-80 1.52443E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
1096	addx1025 add 1.00001E-80 1.52444E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
1097	addx1026 add 1.00001E-80 1.52445E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
1098
1099	-- And for round down full and subnormal results
1100	precision: 16
1101	maxExponent: +384
1102	minExponent: -383
1103	rounding: down
1104
1105	addx1100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact
1106	addx1101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact
1107	addx1103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact
1108	addx1104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact
1109	addx1105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact
1110	addx1106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact
1111	addx1107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact
1112	addx1108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact
1113	addx1109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact
1114
1115	rounding: ceiling
1116	addx1110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact
1117	addx1111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact
1118	addx1113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact
1119	addx1114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact
1120	addx1115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact
1121	addx1116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact
1122	addx1117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact
1123	addx1118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact
1124	addx1119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact
1125	addx1120 add +1e-383 -1e+2 -> -99.99999999999999 Rounded Inexact
1126	addx1121 add +1e-383 -1e+1 -> -9.999999999999999 Rounded Inexact
1127	addx1123 add +1e-383 -1 -> -0.9999999999999999 Rounded Inexact
1128	addx1124 add +1e-383 -1e-1 -> -0.09999999999999999 Rounded Inexact
1129	addx1125 add +1e-383 -1e-2 -> -0.009999999999999999 Rounded Inexact
1130	addx1126 add +1e-383 -1e-3 -> -0.0009999999999999999 Rounded Inexact
1131	addx1127 add +1e-383 -1e-4 -> -0.00009999999999999999 Rounded Inexact
1132	addx1128 add +1e-383 -1e-5 -> -0.000009999999999999999 Rounded Inexact
1133	addx1129 add +1e-383 -1e-6 -> -9.999999999999999E-7 Rounded Inexact
1134
1135	rounding: down
1136	precision: 7
1137	maxExponent: +96
1138	minExponent: -95
1139	addx1130 add 1 -1e-200 -> 0.9999999 Rounded Inexact
1140	-- subnormal boundary
1141	addx1131 add 1.000000E-94 -1e-200 -> 9.999999E-95 Rounded Inexact
1142	addx1132 add 1.000001E-95 -1e-200 -> 1.000000E-95 Rounded Inexact
1143	addx1133 add 1.000000E-95 -1e-200 -> 9.99999E-96 Rounded Inexact Subnormal Underflow
1144	addx1134 add 0.999999E-95 -1e-200 -> 9.99998E-96 Rounded Inexact Subnormal Underflow
1145	addx1135 add 0.001000E-95 -1e-200 -> 9.99E-99 Rounded Inexact Subnormal Underflow
1146	addx1136 add 0.000999E-95 -1e-200 -> 9.98E-99 Rounded Inexact Subnormal Underflow
1147	addx1137 add 1.000000E-95 -1e-101 -> 9.99999E-96 Subnormal
1148	addx1138 add 10000E-101 -1e-200 -> 9.999E-98 Subnormal Inexact Rounded Underflow
1149	addx1139 add 1000E-101 -1e-200 -> 9.99E-99 Subnormal Inexact Rounded Underflow
1150	addx1140 add 100E-101 -1e-200 -> 9.9E-100 Subnormal Inexact Rounded Underflow
1151	addx1141 add 10E-101 -1e-200 -> 9E-101 Subnormal Inexact Rounded Underflow
1152	addx1142 add 1E-101 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped
1153	addx1143 add 0E-101 -1e-200 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped
1154	addx1144 add 1E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped
1155
1156	addx1151 add 10000E-102 -1e-200 -> 9.99E-99 Subnormal Inexact Rounded Underflow
1157	addx1152 add 1000E-102 -1e-200 -> 9.9E-100 Subnormal Inexact Rounded Underflow
1158	addx1153 add 100E-102 -1e-200 -> 9E-101 Subnormal Inexact Rounded Underflow
1159	addx1154 add 10E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped
1160	addx1155 add 1E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped
1161	addx1156 add 0E-102 -1e-200 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped
1162	addx1157 add 1E-103 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped
1163
1164	addx1160 add 100E-105 -1e-101 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped
1165	addx1161 add 100E-105 -1e-201 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped
1166
1167	-- tests based on Gunnar Degnbol's edge case
1168	precision: 15
1169	rounding: half_up
1170	maxExponent: 384
1171	minexponent: -383
1172
1173	addx1200 add 1E15 -0.5 -> 1.00000000000000E+15 Inexact Rounded
1174	addx1201 add 1E15 -0.50 -> 1.00000000000000E+15 Inexact Rounded
1175	addx1210 add 1E15 -0.51 -> 999999999999999 Inexact Rounded
1176	addx1211 add 1E15 -0.501 -> 999999999999999 Inexact Rounded
1177	addx1212 add 1E15 -0.5001 -> 999999999999999 Inexact Rounded
1178	addx1213 add 1E15 -0.50001 -> 999999999999999 Inexact Rounded
1179	addx1214 add 1E15 -0.500001 -> 999999999999999 Inexact Rounded
1180	addx1215 add 1E15 -0.5000001 -> 999999999999999 Inexact Rounded
1181	addx1216 add 1E15 -0.50000001 -> 999999999999999 Inexact Rounded
1182	addx1217 add 1E15 -0.500000001 -> 999999999999999 Inexact Rounded
1183	addx1218 add 1E15 -0.5000000001 -> 999999999999999 Inexact Rounded
1184	addx1219 add 1E15 -0.50000000001 -> 999999999999999 Inexact Rounded
1185	addx1220 add 1E15 -0.500000000001 -> 999999999999999 Inexact Rounded
1186	addx1221 add 1E15 -0.5000000000001 -> 999999999999999 Inexact Rounded
1187	addx1222 add 1E15 -0.50000000000001 -> 999999999999999 Inexact Rounded
1188	addx1223 add 1E15 -0.500000000000001 -> 999999999999999 Inexact Rounded
1189	addx1224 add 1E15 -0.5000000000000001 -> 999999999999999 Inexact Rounded
1190	addx1225 add 1E15 -0.5000000000000000 -> 1.00000000000000E+15 Inexact Rounded
1191	addx1230 add 1E15 -5000000.000000001 -> 999999995000000 Inexact Rounded
1192
1193	precision: 16
1194
1195	addx1300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded
1196	addx1310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded
1197	addx1311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded
1198	addx1312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded
1199	addx1313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded
1200	addx1314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded
1201	addx1315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded
1202	addx1316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded
1203	addx1317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded
1204	addx1318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded
1205	addx1319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded
1206	addx1320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded
1207	addx1321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded
1208	addx1322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded
1209	addx1323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded
1210	addx1324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded
1211	addx1325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
1212	addx1326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
1213	addx1327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
1214	addx1328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
1215	addx1329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
1216	addx1330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
1217	addx1331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
1218	addx1332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded
1219	addx1333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded
1220	addx1334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded
1221	addx1335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded
1222	addx1336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded
1223	addx1337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded
1224	addx1338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded
1225	addx1339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded
1226
1227	addx1340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded
1228	addx1341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded
1229
1230	addx1349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded
1231	addx1350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded
1232	addx1351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded
1233	addx1352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded
1234	addx1353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded
1235	addx1354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded
1236	addx1355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded
1237	addx1356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded
1238	addx1357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded
1239	addx1358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded
1240	addx1359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded
1241	addx1360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded
1242	addx1361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded
1243	addx1362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded
1244	addx1363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded
1245	addx1364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded
1246	addx1365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
1247	addx1367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
1248	addx1368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
1249	addx1369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
1250	addx1370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
1251	addx1371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
1252	addx1372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
1253	addx1373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded
1254	addx1374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded
1255	addx1375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded
1256	addx1376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded
1257	addx1377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded
1258	addx1378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded
1259	addx1379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded
1260	addx1380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded
1261	addx1381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded
1262	addx1382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded
1263	addx1383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded
1264	addx1384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded
1265	addx1385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded
1266	addx1386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded
1267	addx1387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded
1268	addx1388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded
1269	addx1389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded
1270	addx1390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded
1271	addx1391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded
1272	addx1392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded
1273	addx1393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded
1274	addx1394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded
1275	addx1395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded
1276	addx1396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded
1277
1278	-- More GD edge cases, where difference between the unadjusted
1279	-- exponents is larger than the maximum precision and one side is 0
1280	precision: 15
1281	rounding: half_up
1282	maxExponent: 384
1283	minexponent: -383
1284
1285	addx1400 add 0 1.23456789012345 -> 1.23456789012345
1286	addx1401 add 0 1.23456789012345E-1 -> 0.123456789012345
1287	addx1402 add 0 1.23456789012345E-2 -> 0.0123456789012345
1288	addx1403 add 0 1.23456789012345E-3 -> 0.00123456789012345
1289	addx1404 add 0 1.23456789012345E-4 -> 0.000123456789012345
1290	addx1405 add 0 1.23456789012345E-5 -> 0.0000123456789012345
1291	addx1406 add 0 1.23456789012345E-6 -> 0.00000123456789012345
1292	addx1407 add 0 1.23456789012345E-7 -> 1.23456789012345E-7
1293	addx1408 add 0 1.23456789012345E-8 -> 1.23456789012345E-8
1294	addx1409 add 0 1.23456789012345E-9 -> 1.23456789012345E-9
1295	addx1410 add 0 1.23456789012345E-10 -> 1.23456789012345E-10
1296	addx1411 add 0 1.23456789012345E-11 -> 1.23456789012345E-11
1297	addx1412 add 0 1.23456789012345E-12 -> 1.23456789012345E-12
1298	addx1413 add 0 1.23456789012345E-13 -> 1.23456789012345E-13
1299	addx1414 add 0 1.23456789012345E-14 -> 1.23456789012345E-14
1300	addx1415 add 0 1.23456789012345E-15 -> 1.23456789012345E-15
1301	addx1416 add 0 1.23456789012345E-16 -> 1.23456789012345E-16
1302	addx1417 add 0 1.23456789012345E-17 -> 1.23456789012345E-17
1303	addx1418 add 0 1.23456789012345E-18 -> 1.23456789012345E-18
1304	addx1419 add 0 1.23456789012345E-19 -> 1.23456789012345E-19
1305
1306	-- same, precision 16..
1307	precision: 16
1308	addx1420 add 0 1.123456789012345 -> 1.123456789012345
1309	addx1421 add 0 1.123456789012345E-1 -> 0.1123456789012345
1310	addx1422 add 0 1.123456789012345E-2 -> 0.01123456789012345
1311	addx1423 add 0 1.123456789012345E-3 -> 0.001123456789012345
1312	addx1424 add 0 1.123456789012345E-4 -> 0.0001123456789012345
1313	addx1425 add 0 1.123456789012345E-5 -> 0.00001123456789012345
1314	addx1426 add 0 1.123456789012345E-6 -> 0.000001123456789012345
1315	addx1427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7
1316	addx1428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8
1317	addx1429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9
1318	addx1430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10
1319	addx1431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11
1320	addx1432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12
1321	addx1433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13
1322	addx1434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14
1323	addx1435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15
1324	addx1436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16
1325	addx1437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17
1326	addx1438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18
1327	addx1439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19
1328
1329	-- same, reversed 0
1330	addx1440 add 1.123456789012345 0 -> 1.123456789012345
1331	addx1441 add 1.123456789012345E-1 0 -> 0.1123456789012345
1332	addx1442 add 1.123456789012345E-2 0 -> 0.01123456789012345
1333	addx1443 add 1.123456789012345E-3 0 -> 0.001123456789012345
1334	addx1444 add 1.123456789012345E-4 0 -> 0.0001123456789012345
1335	addx1445 add 1.123456789012345E-5 0 -> 0.00001123456789012345
1336	addx1446 add 1.123456789012345E-6 0 -> 0.000001123456789012345
1337	addx1447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7
1338	addx1448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8
1339	addx1449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9
1340	addx1450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10
1341	addx1451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11
1342	addx1452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12
1343	addx1453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13
1344	addx1454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14
1345	addx1455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15
1346	addx1456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16
1347	addx1457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17
1348	addx1458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18
1349	addx1459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19
1350
1351	-- same, Es on the 0
1352	addx1460 add 1.123456789012345 0E-0 -> 1.123456789012345
1353	addx1461 add 1.123456789012345 0E-1 -> 1.123456789012345
1354	addx1462 add 1.123456789012345 0E-2 -> 1.123456789012345
1355	addx1463 add 1.123456789012345 0E-3 -> 1.123456789012345
1356	addx1464 add 1.123456789012345 0E-4 -> 1.123456789012345
1357	addx1465 add 1.123456789012345 0E-5 -> 1.123456789012345
1358	addx1466 add 1.123456789012345 0E-6 -> 1.123456789012345
1359	addx1467 add 1.123456789012345 0E-7 -> 1.123456789012345
1360	addx1468 add 1.123456789012345 0E-8 -> 1.123456789012345
1361	addx1469 add 1.123456789012345 0E-9 -> 1.123456789012345
1362	addx1470 add 1.123456789012345 0E-10 -> 1.123456789012345
1363	addx1471 add 1.123456789012345 0E-11 -> 1.123456789012345
1364	addx1472 add 1.123456789012345 0E-12 -> 1.123456789012345
1365	addx1473 add 1.123456789012345 0E-13 -> 1.123456789012345
1366	addx1474 add 1.123456789012345 0E-14 -> 1.123456789012345
1367	addx1475 add 1.123456789012345 0E-15 -> 1.123456789012345
1368	-- next four flag Rounded because the 0 extends the result
1369	addx1476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded
1370	addx1477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded
1371	addx1478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded
1372	addx1479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded
1373
1374	-- sum of two opposite-sign operands is exactly 0 and floor => -0
1375	precision: 16
1376	maxExponent: 384
1377	minexponent: -383
1378
1379	rounding: half_up
1380	-- exact zeros from zeros
1381	addx1500 add 0 0E-19 -> 0E-19
1382	addx1501 add -0 0E-19 -> 0E-19
1383	addx1502 add 0 -0E-19 -> 0E-19
1384	addx1503 add -0 -0E-19 -> -0E-19
1385	addx1504 add 0E-400 0E-19 -> 0E-398 Clamped
1386	addx1505 add -0E-400 0E-19 -> 0E-398 Clamped
1387	addx1506 add 0E-400 -0E-19 -> 0E-398 Clamped
1388	addx1507 add -0E-400 -0E-19 -> -0E-398 Clamped
1389	-- inexact zeros
1390	addx1511 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1391	addx1512 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1392	addx1513 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1393	addx1514 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1394	-- some exact zeros from non-zeros
1395	addx1515 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1396	addx1516 add -1E-401 1E-401 -> 0E-398 Clamped
1397	addx1517 add 1E-401 -1E-401 -> 0E-398 Clamped
1398	addx1518 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1399
1400	rounding: half_down
1401	-- exact zeros from zeros
1402	addx1520 add 0 0E-19 -> 0E-19
1403	addx1521 add -0 0E-19 -> 0E-19
1404	addx1522 add 0 -0E-19 -> 0E-19
1405	addx1523 add -0 -0E-19 -> -0E-19
1406	addx1524 add 0E-400 0E-19 -> 0E-398 Clamped
1407	addx1525 add -0E-400 0E-19 -> 0E-398 Clamped
1408	addx1526 add 0E-400 -0E-19 -> 0E-398 Clamped
1409	addx1527 add -0E-400 -0E-19 -> -0E-398 Clamped
1410	-- inexact zeros
1411	addx1531 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1412	addx1532 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1413	addx1533 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1414	addx1534 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1415	-- some exact zeros from non-zeros
1416	addx1535 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1417	addx1536 add -1E-401 1E-401 -> 0E-398 Clamped
1418	addx1537 add 1E-401 -1E-401 -> 0E-398 Clamped
1419	addx1538 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1420
1421	rounding: half_even
1422	-- exact zeros from zeros
1423	addx1540 add 0 0E-19 -> 0E-19
1424	addx1541 add -0 0E-19 -> 0E-19
1425	addx1542 add 0 -0E-19 -> 0E-19
1426	addx1543 add -0 -0E-19 -> -0E-19
1427	addx1544 add 0E-400 0E-19 -> 0E-398 Clamped
1428	addx1545 add -0E-400 0E-19 -> 0E-398 Clamped
1429	addx1546 add 0E-400 -0E-19 -> 0E-398 Clamped
1430	addx1547 add -0E-400 -0E-19 -> -0E-398 Clamped
1431	-- inexact zeros
1432	addx1551 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1433	addx1552 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1434	addx1553 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1435	addx1554 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1436	-- some exact zeros from non-zeros
1437	addx1555 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1438	addx1556 add -1E-401 1E-401 -> 0E-398 Clamped
1439	addx1557 add 1E-401 -1E-401 -> 0E-398 Clamped
1440	addx1558 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1441
1442	rounding: up
1443	-- exact zeros from zeros
1444	addx1560 add 0 0E-19 -> 0E-19
1445	addx1561 add -0 0E-19 -> 0E-19
1446	addx1562 add 0 -0E-19 -> 0E-19
1447	addx1563 add -0 -0E-19 -> -0E-19
1448	addx1564 add 0E-400 0E-19 -> 0E-398 Clamped
1449	addx1565 add -0E-400 0E-19 -> 0E-398 Clamped
1450	addx1566 add 0E-400 -0E-19 -> 0E-398 Clamped
1451	addx1567 add -0E-400 -0E-19 -> -0E-398 Clamped
1452	-- inexact zeros
1453	addx1571 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
1454	addx1572 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
1455	addx1573 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
1456	addx1574 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
1457	-- some exact zeros from non-zeros
1458	addx1575 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow
1459	addx1576 add -1E-401 1E-401 -> 0E-398 Clamped
1460	addx1577 add 1E-401 -1E-401 -> 0E-398 Clamped
1461	addx1578 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow
1462
1463	rounding: down
1464	-- exact zeros from zeros
1465	addx1580 add 0 0E-19 -> 0E-19
1466	addx1581 add -0 0E-19 -> 0E-19
1467	addx1582 add 0 -0E-19 -> 0E-19
1468	addx1583 add -0 -0E-19 -> -0E-19
1469	addx1584 add 0E-400 0E-19 -> 0E-398 Clamped
1470	addx1585 add -0E-400 0E-19 -> 0E-398 Clamped
1471	addx1586 add 0E-400 -0E-19 -> 0E-398 Clamped
1472	addx1587 add -0E-400 -0E-19 -> -0E-398 Clamped
1473	-- inexact zeros
1474	addx1591 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1475	addx1592 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1476	addx1593 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1477	addx1594 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1478	-- some exact zeros from non-zeros
1479	addx1595 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1480	addx1596 add -1E-401 1E-401 -> 0E-398 Clamped
1481	addx1597 add 1E-401 -1E-401 -> 0E-398 Clamped
1482	addx1598 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1483
1484	rounding: ceiling
1485	-- exact zeros from zeros
1486	addx1600 add 0 0E-19 -> 0E-19
1487	addx1601 add -0 0E-19 -> 0E-19
1488	addx1602 add 0 -0E-19 -> 0E-19
1489	addx1603 add -0 -0E-19 -> -0E-19
1490	addx1604 add 0E-400 0E-19 -> 0E-398 Clamped
1491	addx1605 add -0E-400 0E-19 -> 0E-398 Clamped
1492	addx1606 add 0E-400 -0E-19 -> 0E-398 Clamped
1493	addx1607 add -0E-400 -0E-19 -> -0E-398 Clamped
1494	-- inexact zeros
1495	addx1611 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
1496	addx1612 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
1497	addx1613 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1498	addx1614 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1499	-- some exact zeros from non-zeros
1500	addx1615 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow
1501	addx1616 add -1E-401 1E-401 -> 0E-398 Clamped
1502	addx1617 add 1E-401 -1E-401 -> 0E-398 Clamped
1503	addx1618 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
1504
1505	-- and the extra-special ugly case; unusual minuses marked by -- *
1506	rounding: floor
1507	-- exact zeros from zeros
1508	addx1620 add 0 0E-19 -> 0E-19
1509	addx1621 add -0 0E-19 -> -0E-19 -- *
1510	addx1622 add 0 -0E-19 -> -0E-19 -- *
1511	addx1623 add -0 -0E-19 -> -0E-19
1512	addx1624 add 0E-400 0E-19 -> 0E-398 Clamped
1513	addx1625 add -0E-400 0E-19 -> -0E-398 Clamped -- *
1514	addx1626 add 0E-400 -0E-19 -> -0E-398 Clamped -- *
1515	addx1627 add -0E-400 -0E-19 -> -0E-398 Clamped
1516	-- inexact zeros
1517	addx1631 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1518	addx1632 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1519	addx1633 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
1520	addx1634 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
1521	-- some exact zeros from non-zeros
1522	addx1635 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
1523	addx1636 add -1E-401 1E-401 -> -0E-398 Clamped -- *
1524	addx1637 add 1E-401 -1E-401 -> -0E-398 Clamped -- *
1525	addx1638 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow
1526
1527	-- BigDecimal problem testcases 2006.01.23
1528	precision: 16
1529	maxExponent: 384
1530	minexponent: -383
1531
1532	rounding: down
1533	precision: 7
1534	addx1651 add 10001E+2 -2E+1 -> 1.00008E+6
1535	precision: 6
1536	addx1652 add 10001E+2 -2E+1 -> 1.00008E+6
1537	precision: 5
1538	addx1653 add 10001E+2 -2E+1 -> 1.0000E+6 Inexact Rounded
1539	precision: 4
1540	addx1654 add 10001E+2 -2E+1 -> 1.000E+6 Inexact Rounded
1541	precision: 3
1542	addx1655 add 10001E+2 -2E+1 -> 1.00E+6 Inexact Rounded
1543	precision: 2
1544	addx1656 add 10001E+2 -2E+1 -> 1.0E+6 Inexact Rounded
1545	precision: 1
1546	addx1657 add 10001E+2 -2E+1 -> 1E+6 Inexact Rounded
1547
1548	rounding: half_even
1549	precision: 7
1550	addx1661 add 10001E+2 -2E+1 -> 1.00008E+6
1551	precision: 6
1552	addx1662 add 10001E+2 -2E+1 -> 1.00008E+6
1553	precision: 5
1554	addx1663 add 10001E+2 -2E+1 -> 1.0001E+6 Inexact Rounded
1555	precision: 4
1556	addx1664 add 10001E+2 -2E+1 -> 1.000E+6 Inexact Rounded
1557	precision: 3
1558	addx1665 add 10001E+2 -2E+1 -> 1.00E+6 Inexact Rounded
1559	precision: 2
1560	addx1666 add 10001E+2 -2E+1 -> 1.0E+6 Inexact Rounded
1561	precision: 1
1562	addx1667 add 10001E+2 -2E+1 -> 1E+6 Inexact Rounded
1563
1564	rounding: up
1565	precision: 7
1566	addx1671 add 10001E+2 -2E+1 -> 1.00008E+6
1567	precision: 6
1568	addx1672 add 10001E+2 -2E+1 -> 1.00008E+6
1569	precision: 5
1570	addx1673 add 10001E+2 -2E+1 -> 1.0001E+6 Inexact Rounded
1571	precision: 4
1572	addx1674 add 10001E+2 -2E+1 -> 1.001E+6 Inexact Rounded
1573	precision: 3
1574	addx1675 add 10001E+2 -2E+1 -> 1.01E+6 Inexact Rounded
1575	precision: 2
1576	addx1676 add 10001E+2 -2E+1 -> 1.1E+6 Inexact Rounded
1577	precision: 1
1578	addx1677 add 10001E+2 -2E+1 -> 2E+6 Inexact Rounded
1579
1580	precision: 34
1581	rounding: half_up
1582	maxExponent: 6144
1583	minExponent: -6143
1584	-- Examples from SQL proposal (Krishna Kulkarni)
1585	addx1701 add 130E-2 120E-2 -> 2.50
1586	addx1702 add 130E-2 12E-1 -> 2.50
1587	addx1703 add 130E-2 1E0 -> 2.30
1588	addx1704 add 1E2 1E4 -> 1.01E+4
1589	addx1705 subtract 130E-2 120E-2 -> 0.10
1590	addx1706 subtract 130E-2 12E-1 -> 0.10
1591	addx1707 subtract 130E-2 1E0 -> 0.30
1592	addx1708 subtract 1E2 1E4 -> -9.9E+3
1593
1594	------------------------------------------------------------------------
1595	-- Same as above, using decimal64 default parameters --
1596	------------------------------------------------------------------------
1597	precision: 16
1598	rounding: half_even
1599	maxExponent: 384
1600	minexponent: -383
1601
1602	-- [first group are 'quick confidence check']
1603	addx6001 add 1 1 -> 2
1604	addx6002 add 2 3 -> 5
1605	addx6003 add '5.75' '3.3' -> 9.05
1606	addx6004 add '5' '-3' -> 2
1607	addx6005 add '-5' '-3' -> -8
1608	addx6006 add '-7' '2.5' -> -4.5
1609	addx6007 add '0.7' '0.3' -> 1.0
1610	addx6008 add '1.25' '1.25' -> 2.50
1611	addx6009 add '1.23456789' '1.00000000' -> '2.23456789'
1612	addx6010 add '1.23456789' '1.00000011' -> '2.23456800'
1613
1614	addx6011 add '0.44444444444444444' '0.55555555555555555' -> '1.000000000000000' Inexact Rounded
1615	addx6012 add '0.44444444444444440' '0.55555555555555555' -> '1.000000000000000' Inexact Rounded
1616	addx6013 add '0.44444444444444444' '0.55555555555555550' -> '0.9999999999999999' Inexact Rounded
1617	addx6014 add '0.444444444444444449' '0' -> '0.4444444444444444' Inexact Rounded
1618	addx6015 add '0.4444444444444444499' '0' -> '0.4444444444444444' Inexact Rounded
1619	addx6016 add '0.44444444444444444999' '0' -> '0.4444444444444444' Inexact Rounded
1620	addx6017 add '0.44444444444444445000' '0' -> '0.4444444444444444' Inexact Rounded
1621	addx6018 add '0.44444444444444445001' '0' -> '0.4444444444444445' Inexact Rounded
1622	addx6019 add '0.4444444444444444501' '0' -> '0.4444444444444445' Inexact Rounded
1623	addx6020 add '0.444444444444444451' '0' -> '0.4444444444444445' Inexact Rounded
1624
1625	addx6021 add 0 1 -> 1
1626	addx6022 add 1 1 -> 2
1627	addx6023 add 2 1 -> 3
1628	addx6024 add 3 1 -> 4
1629	addx6025 add 4 1 -> 5
1630	addx6026 add 5 1 -> 6
1631	addx6027 add 6 1 -> 7
1632	addx6028 add 7 1 -> 8
1633	addx6029 add 8 1 -> 9
1634	addx6030 add 9 1 -> 10
1635
1636	-- some carrying effects
1637	addx6031 add '0.9998' '0.0000' -> '0.9998'
1638	addx6032 add '0.9998' '0.0001' -> '0.9999'
1639	addx6033 add '0.9998' '0.0002' -> '1.0000'
1640	addx6034 add '0.9998' '0.0003' -> '1.0001'
1641
1642	addx6035 add '70' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
1643	addx6036 add '700' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
1644	addx6037 add '7000' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
1645	addx6038 add '70000' '10000e+16' -> '1.000000000000001E+20' Inexact Rounded
1646	addx6039 add '700000' '10000e+16' -> '1.000000000000007E+20' Rounded
1647
1648	-- symmetry:
1649	addx6040 add '10000e+16' '70' -> '1.000000000000000E+20' Inexact Rounded
1650	addx6041 add '10000e+16' '700' -> '1.000000000000000E+20' Inexact Rounded
1651	addx6042 add '10000e+16' '7000' -> '1.000000000000000E+20' Inexact Rounded
1652	addx6044 add '10000e+16' '70000' -> '1.000000000000001E+20' Inexact Rounded
1653	addx6045 add '10000e+16' '700000' -> '1.000000000000007E+20' Rounded
1654
1655	addx6046 add '10000e+9' '7' -> '10000000000007'
1656	addx6047 add '10000e+9' '70' -> '10000000000070'
1657	addx6048 add '10000e+9' '700' -> '10000000000700'
1658	addx6049 add '10000e+9' '7000' -> '10000000007000'
1659	addx6050 add '10000e+9' '70000' -> '10000000070000'
1660	addx6051 add '10000e+9' '700000' -> '10000000700000'
1661
1662	-- examples from decarith
1663	addx6053 add '12' '7.00' -> '19.00'
1664	addx6054 add '1.3' '-1.07' -> '0.23'
1665	addx6055 add '1.3' '-1.30' -> '0.00'
1666	addx6056 add '1.3' '-2.07' -> '-0.77'
1667	addx6057 add '1E+2' '1E+4' -> '1.01E+4'
1668
1669	-- from above
1670	addx6060 add 1 '0.1' -> '1.1'
1671	addx6061 add 1 '0.01' -> '1.01'
1672	addx6062 add 1 '0.001' -> '1.001'
1673	addx6063 add 1 '0.0001' -> '1.0001'
1674	addx6064 add 1 '0.00001' -> '1.00001'
1675	addx6065 add 1 '0.000001' -> '1.000001'
1676	addx6066 add 1 '0.0000001' -> '1.0000001'
1677	addx6067 add 1 '0.00000001' -> '1.00000001'
1678
1679	-- cancellation to integer
1680	addx6068 add 99999999999999123456789 -99999999999999E+9 -> 123456789
1681	-- similar from FMA fun
1682	addx6069 add "-1234567890123455.234567890123454" "1234567890123456" -> 0.765432109876546
1683
1684	-- some funny zeros [in case of bad signum]
1685	addx6070 add 1 0 -> 1
1686	addx6071 add 1 0. -> 1
1687	addx6072 add 1 .0 -> 1.0
1688	addx6073 add 1 0.0 -> 1.0
1689	addx6074 add 1 0.00 -> 1.00
1690	addx6075 add 0 1 -> 1
1691	addx6076 add 0. 1 -> 1
1692	addx6077 add .0 1 -> 1.0
1693	addx6078 add 0.0 1 -> 1.0
1694	addx6079 add 0.00 1 -> 1.00
1695
1696	-- some carries
1697	addx6080 add 9999999999999998 1 -> 9999999999999999
1698	addx6081 add 9999999999999999 1 -> 1.000000000000000E+16 Rounded
1699	addx6082 add 999999999999999 1 -> 1000000000000000
1700	addx6083 add 9999999999999 1 -> 10000000000000
1701	addx6084 add 99999999999 1 -> 100000000000
1702	addx6085 add 999999999 1 -> 1000000000
1703	addx6086 add 9999999 1 -> 10000000
1704	addx6087 add 99999 1 -> 100000
1705	addx6088 add 999 1 -> 1000
1706	addx6089 add 9 1 -> 10
1707
1708
1709	-- more LHS swaps
1710	addx6090 add '-56267E-10' 0 -> '-0.0000056267'
1711	addx6091 add '-56267E-6' 0 -> '-0.056267'
1712	addx6092 add '-56267E-5' 0 -> '-0.56267'
1713	addx6093 add '-56267E-4' 0 -> '-5.6267'
1714	addx6094 add '-56267E-3' 0 -> '-56.267'
1715	addx6095 add '-56267E-2' 0 -> '-562.67'
1716	addx6096 add '-56267E-1' 0 -> '-5626.7'
1717	addx6097 add '-56267E-0' 0 -> '-56267'
1718	addx6098 add '-5E-10' 0 -> '-5E-10'
1719	addx6099 add '-5E-7' 0 -> '-5E-7'
1720	addx6100 add '-5E-6' 0 -> '-0.000005'
1721	addx6101 add '-5E-5' 0 -> '-0.00005'
1722	addx6102 add '-5E-4' 0 -> '-0.0005'
1723	addx6103 add '-5E-1' 0 -> '-0.5'
1724	addx6104 add '-5E0' 0 -> '-5'
1725	addx6105 add '-5E1' 0 -> '-50'
1726	addx6106 add '-5E5' 0 -> '-500000'
1727	addx6107 add '-5E15' 0 -> '-5000000000000000'
1728	addx6108 add '-5E16' 0 -> '-5.000000000000000E+16' Rounded
1729	addx6109 add '-5E17' 0 -> '-5.000000000000000E+17' Rounded
1730	addx6110 add '-5E18' 0 -> '-5.000000000000000E+18' Rounded
1731	addx6111 add '-5E100' 0 -> '-5.000000000000000E+100' Rounded
1732
1733	-- more RHS swaps
1734	addx6113 add 0 '-56267E-10' -> '-0.0000056267'
1735	addx6114 add 0 '-56267E-6' -> '-0.056267'
1736	addx6116 add 0 '-56267E-5' -> '-0.56267'
1737	addx6117 add 0 '-56267E-4' -> '-5.6267'
1738	addx6119 add 0 '-56267E-3' -> '-56.267'
1739	addx6120 add 0 '-56267E-2' -> '-562.67'
1740	addx6121 add 0 '-56267E-1' -> '-5626.7'
1741	addx6122 add 0 '-56267E-0' -> '-56267'
1742	addx6123 add 0 '-5E-10' -> '-5E-10'
1743	addx6124 add 0 '-5E-7' -> '-5E-7'
1744	addx6125 add 0 '-5E-6' -> '-0.000005'
1745	addx6126 add 0 '-5E-5' -> '-0.00005'
1746	addx6127 add 0 '-5E-4' -> '-0.0005'
1747	addx6128 add 0 '-5E-1' -> '-0.5'
1748	addx6129 add 0 '-5E0' -> '-5'
1749	addx6130 add 0 '-5E1' -> '-50'
1750	addx6131 add 0 '-5E5' -> '-500000'
1751	addx6132 add 0 '-5E15' -> '-5000000000000000'
1752	addx6133 add 0 '-5E16' -> '-5.000000000000000E+16' Rounded
1753	addx6134 add 0 '-5E17' -> '-5.000000000000000E+17' Rounded
1754	addx6135 add 0 '-5E18' -> '-5.000000000000000E+18' Rounded
1755	addx6136 add 0 '-5E100' -> '-5.000000000000000E+100' Rounded
1756
1757	-- related
1758	addx6137 add 1 '0E-19' -> '1.000000000000000' Rounded
1759	addx6138 add -1 '0E-19' -> '-1.000000000000000' Rounded
1760	addx6139 add '0E-19' 1 -> '1.000000000000000' Rounded
1761	addx6140 add '0E-19' -1 -> '-1.000000000000000' Rounded
1762	addx6141 add 1E+11 0.0000 -> '100000000000.0000'
1763	addx6142 add 1E+11 0.00000 -> '100000000000.0000' Rounded
1764	addx6143 add 0.000 1E+12 -> '1000000000000.000'
1765	addx6144 add 0.0000 1E+12 -> '1000000000000.000' Rounded
1766
1767	-- [some of the next group are really constructor tests]
1768	addx6146 add '00.0' 0 -> '0.0'
1769	addx6147 add '0.00' 0 -> '0.00'
1770	addx6148 add 0 '0.00' -> '0.00'
1771	addx6149 add 0 '00.0' -> '0.0'
1772	addx6150 add '00.0' '0.00' -> '0.00'
1773	addx6151 add '0.00' '00.0' -> '0.00'
1774	addx6152 add '3' '.3' -> '3.3'
1775	addx6153 add '3.' '.3' -> '3.3'
1776	addx6154 add '3.0' '.3' -> '3.3'
1777	addx6155 add '3.00' '.3' -> '3.30'
1778	addx6156 add '3' '3' -> '6'
1779	addx6157 add '3' '+3' -> '6'
1780	addx6158 add '3' '-3' -> '0'
1781	addx6159 add '0.3' '-0.3' -> '0.0'
1782	addx6160 add '0.03' '-0.03' -> '0.00'
1783
1784	-- try borderline precision, with carries, etc.
1785	addx6161 add '1E+13' '-1' -> '9999999999999'
1786	addx6162 add '1E+13' '1.11' -> '10000000000001.11'
1787	addx6163 add '1.11' '1E+13' -> '10000000000001.11'
1788	addx6164 add '-1' '1E+13' -> '9999999999999'
1789	addx6165 add '7E+13' '-1' -> '69999999999999'
1790	addx6166 add '7E+13' '1.11' -> '70000000000001.11'
1791	addx6167 add '1.11' '7E+13' -> '70000000000001.11'
1792	addx6168 add '-1' '7E+13' -> '69999999999999'
1793
1794	-- 1234567890123456 1234567890123456 1 234567890123456
1795	addx6170 add '0.4444444444444444' '0.5555555555555563' -> '1.000000000000001' Inexact Rounded
1796	addx6171 add '0.4444444444444444' '0.5555555555555562' -> '1.000000000000001' Inexact Rounded
1797	addx6172 add '0.4444444444444444' '0.5555555555555561' -> '1.000000000000000' Inexact Rounded
1798	addx6173 add '0.4444444444444444' '0.5555555555555560' -> '1.000000000000000' Inexact Rounded
1799	addx6174 add '0.4444444444444444' '0.5555555555555559' -> '1.000000000000000' Inexact Rounded
1800	addx6175 add '0.4444444444444444' '0.5555555555555558' -> '1.000000000000000' Inexact Rounded
1801	addx6176 add '0.4444444444444444' '0.5555555555555557' -> '1.000000000000000' Inexact Rounded
1802	addx6177 add '0.4444444444444444' '0.5555555555555556' -> '1.000000000000000' Rounded
1803	addx6178 add '0.4444444444444444' '0.5555555555555555' -> '0.9999999999999999'
1804	addx6179 add '0.4444444444444444' '0.5555555555555554' -> '0.9999999999999998'
1805	addx6180 add '0.4444444444444444' '0.5555555555555553' -> '0.9999999999999997'
1806	addx6181 add '0.4444444444444444' '0.5555555555555552' -> '0.9999999999999996'
1807	addx6182 add '0.4444444444444444' '0.5555555555555551' -> '0.9999999999999995'
1808	addx6183 add '0.4444444444444444' '0.5555555555555550' -> '0.9999999999999994'
1809
1810	-- and some more, including residue effects and different roundings
1811	rounding: half_up
1812	addx6200 add '6543210123456789' 0 -> '6543210123456789'
1813	addx6201 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
1814	addx6202 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
1815	addx6203 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
1816	addx6204 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
1817	addx6205 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
1818	addx6206 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
1819	addx6207 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
1820	addx6208 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded
1821	addx6209 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded
1822	addx6210 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded
1823	addx6211 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded
1824	addx6212 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded
1825	addx6213 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded
1826	addx6214 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded
1827	addx6215 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded
1828	addx6216 add '6543210123456789' 1 -> '6543210123456790'
1829	addx6217 add '6543210123456789' 1.000000001 -> '6543210123456790' Inexact Rounded
1830	addx6218 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
1831	addx6219 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
1832
1833	rounding: half_even
1834	addx6220 add '6543210123456789' 0 -> '6543210123456789'
1835	addx6221 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
1836	addx6222 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
1837	addx6223 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
1838	addx6224 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
1839	addx6225 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
1840	addx6226 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
1841	addx6227 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
1842	addx6228 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded
1843	addx6229 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded
1844	addx6230 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded
1845	addx6231 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded
1846	addx6232 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded
1847	addx6233 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded
1848	addx6234 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded
1849	addx6235 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded
1850	addx6236 add '6543210123456789' 1 -> '6543210123456790'
1851	addx6237 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded
1852	addx6238 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
1853	addx6239 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
1854	-- critical few with even bottom digit...
1855	addx6240 add '6543210123456788' 0.499999999 -> '6543210123456788' Inexact Rounded
1856	addx6241 add '6543210123456788' 0.5 -> '6543210123456788' Inexact Rounded
1857	addx6242 add '6543210123456788' 0.500000001 -> '6543210123456789' Inexact Rounded
1858
1859	rounding: down
1860	addx6250 add '6543210123456789' 0 -> '6543210123456789'
1861	addx6251 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
1862	addx6252 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
1863	addx6253 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
1864	addx6254 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
1865	addx6255 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
1866	addx6256 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
1867	addx6257 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
1868	addx6258 add '6543210123456789' 0.5 -> '6543210123456789' Inexact Rounded
1869	addx6259 add '6543210123456789' 0.500000001 -> '6543210123456789' Inexact Rounded
1870	addx6260 add '6543210123456789' 0.500001 -> '6543210123456789' Inexact Rounded
1871	addx6261 add '6543210123456789' 0.51 -> '6543210123456789' Inexact Rounded
1872	addx6262 add '6543210123456789' 0.6 -> '6543210123456789' Inexact Rounded
1873	addx6263 add '6543210123456789' 0.9 -> '6543210123456789' Inexact Rounded
1874	addx6264 add '6543210123456789' 0.99999 -> '6543210123456789' Inexact Rounded
1875	addx6265 add '6543210123456789' 0.999999999 -> '6543210123456789' Inexact Rounded
1876	addx6266 add '6543210123456789' 1 -> '6543210123456790'
1877	addx6267 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded
1878	addx6268 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
1879	addx6269 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
1880
1881	-- 1 in last place tests
1882	rounding: half_even
1883	addx6301 add -1 1 -> 0
1884	addx6302 add 0 1 -> 1
1885	addx6303 add 1 1 -> 2
1886	addx6304 add 12 1 -> 13
1887	addx6305 add 98 1 -> 99
1888	addx6306 add 99 1 -> 100
1889	addx6307 add 100 1 -> 101
1890	addx6308 add 101 1 -> 102
1891	addx6309 add -1 -1 -> -2
1892	addx6310 add 0 -1 -> -1
1893	addx6311 add 1 -1 -> 0
1894	addx6312 add 12 -1 -> 11
1895	addx6313 add 98 -1 -> 97
1896	addx6314 add 99 -1 -> 98
1897	addx6315 add 100 -1 -> 99
1898	addx6316 add 101 -1 -> 100
1899
1900	addx6321 add -0.01 0.01 -> 0.00
1901	addx6322 add 0.00 0.01 -> 0.01
1902	addx6323 add 0.01 0.01 -> 0.02
1903	addx6324 add 0.12 0.01 -> 0.13
1904	addx6325 add 0.98 0.01 -> 0.99
1905	addx6326 add 0.99 0.01 -> 1.00
1906	addx6327 add 1.00 0.01 -> 1.01
1907	addx6328 add 1.01 0.01 -> 1.02
1908	addx6329 add -0.01 -0.01 -> -0.02
1909	addx6330 add 0.00 -0.01 -> -0.01
1910	addx6331 add 0.01 -0.01 -> 0.00
1911	addx6332 add 0.12 -0.01 -> 0.11
1912	addx6333 add 0.98 -0.01 -> 0.97
1913	addx6334 add 0.99 -0.01 -> 0.98
1914	addx6335 add 1.00 -0.01 -> 0.99
1915	addx6336 add 1.01 -0.01 -> 1.00
1916
1917	-- some more cases where adding 0 affects the coefficient
1918	addx6340 add 1E+3 0 -> 1000
1919	addx6341 add 1E+15 0 -> 1000000000000000
1920	addx6342 add 1E+16 0 -> 1.000000000000000E+16 Rounded
1921	addx6343 add 1E+17 0 -> 1.000000000000000E+17 Rounded
1922	-- which simply follow from these cases ...
1923	addx6344 add 1E+3 1 -> 1001
1924	addx6345 add 1E+15 1 -> 1000000000000001
1925	addx6346 add 1E+16 1 -> 1.000000000000000E+16 Inexact Rounded
1926	addx6347 add 1E+17 1 -> 1.000000000000000E+17 Inexact Rounded
1927	addx6348 add 1E+3 7 -> 1007
1928	addx6349 add 1E+15 7 -> 1000000000000007
1929	addx6350 add 1E+16 7 -> 1.000000000000001E+16 Inexact Rounded
1930	addx6351 add 1E+17 7 -> 1.000000000000000E+17 Inexact Rounded
1931
1932	-- tryzeros cases
1933	addx6361 add 0E+50 10000E+1 -> 1.0000E+5
1934	addx6362 add 10000E+1 0E-50 -> 100000.0000000000 Rounded
1935	addx6363 add 10000E+1 10000E-50 -> 100000.0000000000 Rounded Inexact
1936	addx6364 add 12.34 0e-398 -> 12.34000000000000 Rounded
1937
1938	-- ulp replacement tests
1939	addx6400 add 1 77e-14 -> 1.00000000000077
1940	addx6401 add 1 77e-15 -> 1.000000000000077
1941	addx6402 add 1 77e-16 -> 1.000000000000008 Inexact Rounded
1942	addx6403 add 1 77e-17 -> 1.000000000000001 Inexact Rounded
1943	addx6404 add 1 77e-18 -> 1.000000000000000 Inexact Rounded
1944	addx6405 add 1 77e-19 -> 1.000000000000000 Inexact Rounded
1945	addx6406 add 1 77e-99 -> 1.000000000000000 Inexact Rounded
1946
1947	addx6410 add 10 77e-14 -> 10.00000000000077
1948	addx6411 add 10 77e-15 -> 10.00000000000008 Inexact Rounded
1949	addx6412 add 10 77e-16 -> 10.00000000000001 Inexact Rounded
1950	addx6413 add 10 77e-17 -> 10.00000000000000 Inexact Rounded
1951	addx6414 add 10 77e-18 -> 10.00000000000000 Inexact Rounded
1952	addx6415 add 10 77e-19 -> 10.00000000000000 Inexact Rounded
1953	addx6416 add 10 77e-99 -> 10.00000000000000 Inexact Rounded
1954
1955	addx6420 add 77e-14 1 -> 1.00000000000077
1956	addx6421 add 77e-15 1 -> 1.000000000000077
1957	addx6422 add 77e-16 1 -> 1.000000000000008 Inexact Rounded
1958	addx6423 add 77e-17 1 -> 1.000000000000001 Inexact Rounded
1959	addx6424 add 77e-18 1 -> 1.000000000000000 Inexact Rounded
1960	addx6425 add 77e-19 1 -> 1.000000000000000 Inexact Rounded
1961	addx6426 add 77e-99 1 -> 1.000000000000000 Inexact Rounded
1962
1963	addx6430 add 77e-14 10 -> 10.00000000000077
1964	addx6431 add 77e-15 10 -> 10.00000000000008 Inexact Rounded
1965	addx6432 add 77e-16 10 -> 10.00000000000001 Inexact Rounded
1966	addx6433 add 77e-17 10 -> 10.00000000000000 Inexact Rounded
1967	addx6434 add 77e-18 10 -> 10.00000000000000 Inexact Rounded
1968	addx6435 add 77e-19 10 -> 10.00000000000000 Inexact Rounded
1969	addx6436 add 77e-99 10 -> 10.00000000000000 Inexact Rounded
1970
1971	-- negative ulps
1972	addx6440 add 1 -77e-14 -> 0.99999999999923
1973	addx6441 add 1 -77e-15 -> 0.999999999999923
1974	addx6442 add 1 -77e-16 -> 0.9999999999999923
1975	addx6443 add 1 -77e-17 -> 0.9999999999999992 Inexact Rounded
1976	addx6444 add 1 -77e-18 -> 0.9999999999999999 Inexact Rounded
1977	addx6445 add 1 -77e-19 -> 1.000000000000000 Inexact Rounded
1978	addx6446 add 1 -77e-99 -> 1.000000000000000 Inexact Rounded
1979
1980	addx6450 add 10 -77e-14 -> 9.99999999999923
1981	addx6451 add 10 -77e-15 -> 9.999999999999923
1982	addx6452 add 10 -77e-16 -> 9.999999999999992 Inexact Rounded
1983	addx6453 add 10 -77e-17 -> 9.999999999999999 Inexact Rounded
1984	addx6454 add 10 -77e-18 -> 10.00000000000000 Inexact Rounded
1985	addx6455 add 10 -77e-19 -> 10.00000000000000 Inexact Rounded
1986	addx6456 add 10 -77e-99 -> 10.00000000000000 Inexact Rounded
1987
1988	addx6460 add -77e-14 1 -> 0.99999999999923
1989	addx6461 add -77e-15 1 -> 0.999999999999923
1990	addx6462 add -77e-16 1 -> 0.9999999999999923
1991	addx6463 add -77e-17 1 -> 0.9999999999999992 Inexact Rounded
1992	addx6464 add -77e-18 1 -> 0.9999999999999999 Inexact Rounded
1993	addx6465 add -77e-19 1 -> 1.000000000000000 Inexact Rounded
1994	addx6466 add -77e-99 1 -> 1.000000000000000 Inexact Rounded
1995
1996	addx6470 add -77e-14 10 -> 9.99999999999923
1997	addx6471 add -77e-15 10 -> 9.999999999999923
1998	addx6472 add -77e-16 10 -> 9.999999999999992 Inexact Rounded
1999	addx6473 add -77e-17 10 -> 9.999999999999999 Inexact Rounded
2000	addx6474 add -77e-18 10 -> 10.00000000000000 Inexact Rounded
2001	addx6475 add -77e-19 10 -> 10.00000000000000 Inexact Rounded
2002	addx6476 add -77e-99 10 -> 10.00000000000000 Inexact Rounded
2003
2004	-- negative ulps
2005	addx6480 add -1 77e-14 -> -0.99999999999923
2006	addx6481 add -1 77e-15 -> -0.999999999999923
2007	addx6482 add -1 77e-16 -> -0.9999999999999923
2008	addx6483 add -1 77e-17 -> -0.9999999999999992 Inexact Rounded
2009	addx6484 add -1 77e-18 -> -0.9999999999999999 Inexact Rounded
2010	addx6485 add -1 77e-19 -> -1.000000000000000 Inexact Rounded
2011	addx6486 add -1 77e-99 -> -1.000000000000000 Inexact Rounded
2012
2013	addx6490 add -10 77e-14 -> -9.99999999999923
2014	addx6491 add -10 77e-15 -> -9.999999999999923
2015	addx6492 add -10 77e-16 -> -9.999999999999992 Inexact Rounded
2016	addx6493 add -10 77e-17 -> -9.999999999999999 Inexact Rounded
2017	addx6494 add -10 77e-18 -> -10.00000000000000 Inexact Rounded
2018	addx6495 add -10 77e-19 -> -10.00000000000000 Inexact Rounded
2019	addx6496 add -10 77e-99 -> -10.00000000000000 Inexact Rounded
2020
2021	addx6500 add 77e-14 -1 -> -0.99999999999923
2022	addx6501 add 77e-15 -1 -> -0.999999999999923
2023	addx6502 add 77e-16 -1 -> -0.9999999999999923
2024	addx6503 add 77e-17 -1 -> -0.9999999999999992 Inexact Rounded
2025	addx6504 add 77e-18 -1 -> -0.9999999999999999 Inexact Rounded
2026	addx6505 add 77e-19 -1 -> -1.000000000000000 Inexact Rounded
2027	addx6506 add 77e-99 -1 -> -1.000000000000000 Inexact Rounded
2028
2029	addx6510 add 77e-14 -10 -> -9.99999999999923
2030	addx6511 add 77e-15 -10 -> -9.999999999999923
2031	addx6512 add 77e-16 -10 -> -9.999999999999992 Inexact Rounded
2032	addx6513 add 77e-17 -10 -> -9.999999999999999 Inexact Rounded
2033	addx6514 add 77e-18 -10 -> -10.00000000000000 Inexact Rounded
2034	addx6515 add 77e-19 -10 -> -10.00000000000000 Inexact Rounded
2035	addx6516 add 77e-99 -10 -> -10.00000000000000 Inexact Rounded
2036
2037
2038	-- long operands
2039	addx6521 add 101234562345678000 0 -> 1.012345623456780E+17 Rounded
2040	addx6522 add 0 101234562345678000 -> 1.012345623456780E+17 Rounded
2041	addx6523 add 10123456234567800 0 -> 1.012345623456780E+16 Rounded
2042	addx6524 add 0 10123456234567800 -> 1.012345623456780E+16 Rounded
2043	addx6525 add 10123456234567890 0 -> 1.012345623456789E+16 Rounded
2044	addx6526 add 0 10123456234567890 -> 1.012345623456789E+16 Rounded
2045	addx6527 add 10123456234567891 0 -> 1.012345623456789E+16 Inexact Rounded
2046	addx6528 add 0 10123456234567891 -> 1.012345623456789E+16 Inexact Rounded
2047	addx6529 add 101234562345678901 0 -> 1.012345623456789E+17 Inexact Rounded
2048	addx6530 add 0 101234562345678901 -> 1.012345623456789E+17 Inexact Rounded
2049	addx6531 add 10123456234567896 0 -> 1.012345623456790E+16 Inexact Rounded
2050	addx6532 add 0 10123456234567896 -> 1.012345623456790E+16 Inexact Rounded
2051
2052	-- verify a query
2053	rounding: down
2054	addx6561 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
2055	addx6562 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
2056	-- and using decimal64 bounds...
2057	rounding: down
2058	addx6563 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
2059	addx6564 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded
2060
2061	-- more zeros, etc.
2062	rounding: half_even
2063
2064	addx6701 add 5.00 1.00E-3 -> 5.00100
2065	addx6702 add 00.00 0.000 -> 0.000
2066	addx6703 add 00.00 0E-3 -> 0.000
2067	addx6704 add 0E-3 00.00 -> 0.000
2068
2069	addx6710 add 0E+3 00.00 -> 0.00
2070	addx6711 add 0E+3 00.0 -> 0.0
2071	addx6712 add 0E+3 00. -> 0
2072	addx6713 add 0E+3 00.E+1 -> 0E+1
2073	addx6714 add 0E+3 00.E+2 -> 0E+2
2074	addx6715 add 0E+3 00.E+3 -> 0E+3
2075	addx6716 add 0E+3 00.E+4 -> 0E+3
2076	addx6717 add 0E+3 00.E+5 -> 0E+3
2077	addx6718 add 0E+3 -00.0 -> 0.0
2078	addx6719 add 0E+3 -00. -> 0
2079	addx6731 add 0E+3 -00.E+1 -> 0E+1
2080
2081	addx6720 add 00.00 0E+3 -> 0.00
2082	addx6721 add 00.0 0E+3 -> 0.0
2083	addx6722 add 00. 0E+3 -> 0
2084	addx6723 add 00.E+1 0E+3 -> 0E+1
2085	addx6724 add 00.E+2 0E+3 -> 0E+2
2086	addx6725 add 00.E+3 0E+3 -> 0E+3
2087	addx6726 add 00.E+4 0E+3 -> 0E+3
2088	addx6727 add 00.E+5 0E+3 -> 0E+3
2089	addx6728 add -00.00 0E+3 -> 0.00
2090	addx6729 add -00.0 0E+3 -> 0.0
2091	addx6730 add -00. 0E+3 -> 0
2092
2093	addx6732 add 0 0 -> 0
2094	addx6733 add 0 -0 -> 0
2095	addx6734 add -0 0 -> 0
2096	addx6735 add -0 -0 -> -0 -- IEEE 854 special case
2097
2098	addx6736 add 1 -1 -> 0
2099	addx6737 add -1 -1 -> -2
2100	addx6738 add 1 1 -> 2
2101	addx6739 add -1 1 -> 0
2102
2103	addx6741 add 0 -1 -> -1
2104	addx6742 add -0 -1 -> -1
2105	addx6743 add 0 1 -> 1
2106	addx6744 add -0 1 -> 1
2107	addx6745 add -1 0 -> -1
2108	addx6746 add -1 -0 -> -1
2109	addx6747 add 1 0 -> 1
2110	addx6748 add 1 -0 -> 1
2111
2112	addx6751 add 0.0 -1 -> -1.0
2113	addx6752 add -0.0 -1 -> -1.0
2114	addx6753 add 0.0 1 -> 1.0
2115	addx6754 add -0.0 1 -> 1.0
2116	addx6755 add -1.0 0 -> -1.0
2117	addx6756 add -1.0 -0 -> -1.0
2118	addx6757 add 1.0 0 -> 1.0
2119	addx6758 add 1.0 -0 -> 1.0
2120
2121	addx6761 add 0 -1.0 -> -1.0
2122	addx6762 add -0 -1.0 -> -1.0
2123	addx6763 add 0 1.0 -> 1.0
2124	addx6764 add -0 1.0 -> 1.0
2125	addx6765 add -1 0.0 -> -1.0
2126	addx6766 add -1 -0.0 -> -1.0
2127	addx6767 add 1 0.0 -> 1.0
2128	addx6768 add 1 -0.0 -> 1.0
2129
2130	addx6771 add 0.0 -1.0 -> -1.0
2131	addx6772 add -0.0 -1.0 -> -1.0
2132	addx6773 add 0.0 1.0 -> 1.0
2133	addx6774 add -0.0 1.0 -> 1.0
2134	addx6775 add -1.0 0.0 -> -1.0
2135	addx6776 add -1.0 -0.0 -> -1.0
2136	addx6777 add 1.0 0.0 -> 1.0
2137	addx6778 add 1.0 -0.0 -> 1.0
2138
2139	-- Specials
2140	addx6780 add -Inf -Inf -> -Infinity
2141	addx6781 add -Inf -1000 -> -Infinity
2142	addx6782 add -Inf -1 -> -Infinity
2143	addx6783 add -Inf -0 -> -Infinity
2144	addx6784 add -Inf 0 -> -Infinity
2145	addx6785 add -Inf 1 -> -Infinity
2146	addx6786 add -Inf 1000 -> -Infinity
2147	addx6787 add -1000 -Inf -> -Infinity
2148	addx6788 add -Inf -Inf -> -Infinity
2149	addx6789 add -1 -Inf -> -Infinity
2150	addx6790 add -0 -Inf -> -Infinity
2151	addx6791 add 0 -Inf -> -Infinity
2152	addx6792 add 1 -Inf -> -Infinity
2153	addx6793 add 1000 -Inf -> -Infinity
2154	addx6794 add Inf -Inf -> NaN Invalid_operation
2155
2156	addx6800 add Inf -Inf -> NaN Invalid_operation
2157	addx6801 add Inf -1000 -> Infinity
2158	addx6802 add Inf -1 -> Infinity
2159	addx6803 add Inf -0 -> Infinity
2160	addx6804 add Inf 0 -> Infinity
2161	addx6805 add Inf 1 -> Infinity
2162	addx6806 add Inf 1000 -> Infinity
2163	addx6807 add Inf Inf -> Infinity
2164	addx6808 add -1000 Inf -> Infinity
2165	addx6809 add -Inf Inf -> NaN Invalid_operation
2166	addx6810 add -1 Inf -> Infinity
2167	addx6811 add -0 Inf -> Infinity
2168	addx6812 add 0 Inf -> Infinity
2169	addx6813 add 1 Inf -> Infinity
2170	addx6814 add 1000 Inf -> Infinity
2171	addx6815 add Inf Inf -> Infinity
2172
2173	addx6821 add NaN -Inf -> NaN
2174	addx6822 add NaN -1000 -> NaN
2175	addx6823 add NaN -1 -> NaN
2176	addx6824 add NaN -0 -> NaN
2177	addx6825 add NaN 0 -> NaN
2178	addx6826 add NaN 1 -> NaN
2179	addx6827 add NaN 1000 -> NaN
2180	addx6828 add NaN Inf -> NaN
2181	addx6829 add NaN NaN -> NaN
2182	addx6830 add -Inf NaN -> NaN
2183	addx6831 add -1000 NaN -> NaN
2184	addx6832 add -1 NaN -> NaN
2185	addx6833 add -0 NaN -> NaN
2186	addx6834 add 0 NaN -> NaN
2187	addx6835 add 1 NaN -> NaN
2188	addx6836 add 1000 NaN -> NaN
2189	addx6837 add Inf NaN -> NaN
2190
2191	addx6841 add sNaN -Inf -> NaN Invalid_operation
2192	addx6842 add sNaN -1000 -> NaN Invalid_operation
2193	addx6843 add sNaN -1 -> NaN Invalid_operation
2194	addx6844 add sNaN -0 -> NaN Invalid_operation
2195	addx6845 add sNaN 0 -> NaN Invalid_operation
2196	addx6846 add sNaN 1 -> NaN Invalid_operation
2197	addx6847 add sNaN 1000 -> NaN Invalid_operation
2198	addx6848 add sNaN NaN -> NaN Invalid_operation
2199	addx6849 add sNaN sNaN -> NaN Invalid_operation
2200	addx6850 add NaN sNaN -> NaN Invalid_operation
2201	addx6851 add -Inf sNaN -> NaN Invalid_operation
2202	addx6852 add -1000 sNaN -> NaN Invalid_operation
2203	addx6853 add -1 sNaN -> NaN Invalid_operation
2204	addx6854 add -0 sNaN -> NaN Invalid_operation
2205	addx6855 add 0 sNaN -> NaN Invalid_operation
2206	addx6856 add 1 sNaN -> NaN Invalid_operation
2207	addx6857 add 1000 sNaN -> NaN Invalid_operation
2208	addx6858 add Inf sNaN -> NaN Invalid_operation
2209	addx6859 add NaN sNaN -> NaN Invalid_operation
2210
2211	-- propagating NaNs
2212	addx6861 add NaN1 -Inf -> NaN1
2213	addx6862 add +NaN2 -1000 -> NaN2
2214	addx6863 add NaN3 1000 -> NaN3
2215	addx6864 add NaN4 Inf -> NaN4
2216	addx6865 add NaN5 +NaN6 -> NaN5
2217	addx6866 add -Inf NaN7 -> NaN7
2218	addx6867 add -1000 NaN8 -> NaN8
2219	addx6868 add 1000 NaN9 -> NaN9
2220	addx6869 add Inf +NaN10 -> NaN10
2221	addx6871 add sNaN11 -Inf -> NaN11 Invalid_operation
2222	addx6872 add sNaN12 -1000 -> NaN12 Invalid_operation
2223	addx6873 add sNaN13 1000 -> NaN13 Invalid_operation
2224	addx6874 add sNaN14 NaN17 -> NaN14 Invalid_operation
2225	addx6875 add sNaN15 sNaN18 -> NaN15 Invalid_operation
2226	addx6876 add NaN16 sNaN19 -> NaN19 Invalid_operation
2227	addx6877 add -Inf +sNaN20 -> NaN20 Invalid_operation
2228	addx6878 add -1000 sNaN21 -> NaN21 Invalid_operation
2229	addx6879 add 1000 sNaN22 -> NaN22 Invalid_operation
2230	addx6880 add Inf sNaN23 -> NaN23 Invalid_operation
2231	addx6881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation
2232	addx6882 add -NaN26 NaN28 -> -NaN26
2233	addx6883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation
2234	addx6884 add 1000 -NaN30 -> -NaN30
2235	addx6885 add 1000 -sNaN31 -> -NaN31 Invalid_operation
2236
2237	-- now the case where we can get underflow but the result is normal
2238	-- [note this can't happen if the operands are also bounded, as we
2239	-- cannot represent 1E-399, for example]
2240
2241	addx6571 add 1E-383 0 -> 1E-383
2242	addx6572 add 1E-384 0 -> 1E-384 Subnormal
2243	addx6573 add 1E-383 1E-384 -> 1.1E-383
2244	addx6574 subtract 1E-383 1E-384 -> 9E-384 Subnormal
2245
2246	-- Here we explore the boundary of rounding a subnormal to Nmin
2247	addx6575 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal
2248	addx6576 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal
2249	addx6577 subtract 1E-383 1E-399 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
2250	addx6578 subtract 1E-383 1E-400 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
2251	addx6579 subtract 1E-383 1E-401 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
2252	addx6580 subtract 1E-383 1E-402 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded
2253
2254	-- check overflow edge case
2255	-- 1234567890123456
2256	addx6972 apply 9.999999999999999E+384 -> 9.999999999999999E+384
2257	addx6973 add 9.999999999999999E+384 1 -> 9.999999999999999E+384 Inexact Rounded
2258	addx6974 add 9999999999999999E+369 1 -> 9.999999999999999E+384 Inexact Rounded
2259	addx6975 add 9999999999999999E+369 1E+369 -> Infinity Overflow Inexact Rounded
2260	addx6976 add 9999999999999999E+369 9E+368 -> Infinity Overflow Inexact Rounded
2261	addx6977 add 9999999999999999E+369 8E+368 -> Infinity Overflow Inexact Rounded
2262	addx6978 add 9999999999999999E+369 7E+368 -> Infinity Overflow Inexact Rounded
2263	addx6979 add 9999999999999999E+369 6E+368 -> Infinity Overflow Inexact Rounded
2264	addx6980 add 9999999999999999E+369 5E+368 -> Infinity Overflow Inexact Rounded
2265	addx6981 add 9999999999999999E+369 4E+368 -> 9.999999999999999E+384 Inexact Rounded
2266	addx6982 add 9999999999999999E+369 3E+368 -> 9.999999999999999E+384 Inexact Rounded
2267	addx6983 add 9999999999999999E+369 2E+368 -> 9.999999999999999E+384 Inexact Rounded
2268	addx6984 add 9999999999999999E+369 1E+368 -> 9.999999999999999E+384 Inexact Rounded
2269
2270	addx6985 apply -9.999999999999999E+384 -> -9.999999999999999E+384
2271	addx6986 add -9.999999999999999E+384 -1 -> -9.999999999999999E+384 Inexact Rounded
2272	addx6987 add -9999999999999999E+369 -1 -> -9.999999999999999E+384 Inexact Rounded
2273	addx6988 add -9999999999999999E+369 -1E+369 -> -Infinity Overflow Inexact Rounded
2274	addx6989 add -9999999999999999E+369 -9E+368 -> -Infinity Overflow Inexact Rounded
2275	addx6990 add -9999999999999999E+369 -8E+368 -> -Infinity Overflow Inexact Rounded
2276	addx6991 add -9999999999999999E+369 -7E+368 -> -Infinity Overflow Inexact Rounded
2277	addx6992 add -9999999999999999E+369 -6E+368 -> -Infinity Overflow Inexact Rounded
2278	addx6993 add -9999999999999999E+369 -5E+368 -> -Infinity Overflow Inexact Rounded
2279	addx6994 add -9999999999999999E+369 -4E+368 -> -9.999999999999999E+384 Inexact Rounded
2280	addx6995 add -9999999999999999E+369 -3E+368 -> -9.999999999999999E+384 Inexact Rounded
2281	addx6996 add -9999999999999999E+369 -2E+368 -> -9.999999999999999E+384 Inexact Rounded
2282	addx6997 add -9999999999999999E+369 -1E+368 -> -9.999999999999999E+384 Inexact Rounded
2283
2284	-- And for round down full and subnormal results
2285	rounding: down
2286	addx61100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact
2287	addx61101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact
2288	addx61103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact
2289	addx61104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact
2290	addx61105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact
2291	addx61106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact
2292	addx61107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact
2293	addx61108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact
2294	addx61109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact
2295
2296	rounding: ceiling
2297	addx61110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact
2298	addx61111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact
2299	addx61113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact
2300	addx61114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact
2301	addx61115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact
2302	addx61116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact
2303	addx61117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact
2304	addx61118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact
2305	addx61119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact
2306
2307	-- tests based on Gunnar Degnbol's edge case
2308	rounding: half_even
2309
2310	addx61300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded
2311	addx61310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded
2312	addx61311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded
2313	addx61312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded
2314	addx61313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded
2315	addx61314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded
2316	addx61315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded
2317	addx61316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded
2318	addx61317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded
2319	addx61318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded
2320	addx61319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded
2321	addx61320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded
2322	addx61321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded
2323	addx61322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded
2324	addx61323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded
2325	addx61324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded
2326	addx61325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
2327	addx61326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
2328	addx61327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
2329	addx61328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
2330	addx61329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
2331	addx61330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
2332	addx61331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
2333	addx61332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded
2334	addx61333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded
2335	addx61334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded
2336	addx61335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded
2337	addx61336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded
2338	addx61337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded
2339	addx61338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded
2340	addx61339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded
2341
2342	addx61340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded
2343	addx61341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded
2344
2345	addx61349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded
2346	addx61350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded
2347	addx61351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded
2348	addx61352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded
2349	addx61353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded
2350	addx61354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded
2351	addx61355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded
2352	addx61356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded
2353	addx61357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded
2354	addx61358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded
2355	addx61359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded
2356	addx61360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded
2357	addx61361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded
2358	addx61362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded
2359	addx61363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded
2360	addx61364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded
2361	addx61365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
2362	addx61367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
2363	addx61368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
2364	addx61369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
2365	addx61370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
2366	addx61371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
2367	addx61372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
2368	addx61373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded
2369	addx61374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded
2370	addx61375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded
2371	addx61376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded
2372	addx61377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded
2373	addx61378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded
2374	addx61379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded
2375	addx61380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded
2376	addx61381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded
2377	addx61382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded
2378	addx61383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded
2379	addx61384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded
2380	addx61385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded
2381	addx61386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded
2382	addx61387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded
2383	addx61388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded
2384	addx61389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded
2385	addx61390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded
2386	addx61391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded
2387	addx61392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded
2388	addx61393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded
2389	addx61394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded
2390	addx61395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded
2391	addx61396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded
2392
2393	-- More GD edge cases, where difference between the unadjusted
2394	-- exponents is larger than the maximum precision and one side is 0
2395	addx61420 add 0 1.123456789012345 -> 1.123456789012345
2396	addx61421 add 0 1.123456789012345E-1 -> 0.1123456789012345
2397	addx61422 add 0 1.123456789012345E-2 -> 0.01123456789012345
2398	addx61423 add 0 1.123456789012345E-3 -> 0.001123456789012345
2399	addx61424 add 0 1.123456789012345E-4 -> 0.0001123456789012345
2400	addx61425 add 0 1.123456789012345E-5 -> 0.00001123456789012345
2401	addx61426 add 0 1.123456789012345E-6 -> 0.000001123456789012345
2402	addx61427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7
2403	addx61428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8
2404	addx61429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9
2405	addx61430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10
2406	addx61431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11
2407	addx61432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12
2408	addx61433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13
2409	addx61434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14
2410	addx61435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15
2411	addx61436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16
2412	addx61437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17
2413	addx61438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18
2414	addx61439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19
2415
2416	-- same, reversed 0
2417	addx61440 add 1.123456789012345 0 -> 1.123456789012345
2418	addx61441 add 1.123456789012345E-1 0 -> 0.1123456789012345
2419	addx61442 add 1.123456789012345E-2 0 -> 0.01123456789012345
2420	addx61443 add 1.123456789012345E-3 0 -> 0.001123456789012345
2421	addx61444 add 1.123456789012345E-4 0 -> 0.0001123456789012345
2422	addx61445 add 1.123456789012345E-5 0 -> 0.00001123456789012345
2423	addx61446 add 1.123456789012345E-6 0 -> 0.000001123456789012345
2424	addx61447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7
2425	addx61448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8
2426	addx61449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9
2427	addx61450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10
2428	addx61451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11
2429	addx61452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12
2430	addx61453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13
2431	addx61454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14
2432	addx61455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15
2433	addx61456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16
2434	addx61457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17
2435	addx61458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18
2436	addx61459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19
2437
2438	-- same, Es on the 0
2439	addx61460 add 1.123456789012345 0E-0 -> 1.123456789012345
2440	addx61461 add 1.123456789012345 0E-1 -> 1.123456789012345
2441	addx61462 add 1.123456789012345 0E-2 -> 1.123456789012345
2442	addx61463 add 1.123456789012345 0E-3 -> 1.123456789012345
2443	addx61464 add 1.123456789012345 0E-4 -> 1.123456789012345
2444	addx61465 add 1.123456789012345 0E-5 -> 1.123456789012345
2445	addx61466 add 1.123456789012345 0E-6 -> 1.123456789012345
2446	addx61467 add 1.123456789012345 0E-7 -> 1.123456789012345
2447	addx61468 add 1.123456789012345 0E-8 -> 1.123456789012345
2448	addx61469 add 1.123456789012345 0E-9 -> 1.123456789012345
2449	addx61470 add 1.123456789012345 0E-10 -> 1.123456789012345
2450	addx61471 add 1.123456789012345 0E-11 -> 1.123456789012345
2451	addx61472 add 1.123456789012345 0E-12 -> 1.123456789012345
2452	addx61473 add 1.123456789012345 0E-13 -> 1.123456789012345
2453	addx61474 add 1.123456789012345 0E-14 -> 1.123456789012345
2454	addx61475 add 1.123456789012345 0E-15 -> 1.123456789012345
2455	-- next four flag Rounded because the 0 extends the result
2456	addx61476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded
2457	addx61477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded
2458	addx61478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded
2459	addx61479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded
2460
2461	-- sum of two opposite-sign operands is exactly 0 and floor => -0
2462	rounding: half_up
2463	-- exact zeros from zeros
2464	addx61500 add 0 0E-19 -> 0E-19
2465	addx61501 add -0 0E-19 -> 0E-19
2466	addx61502 add 0 -0E-19 -> 0E-19
2467	addx61503 add -0 -0E-19 -> -0E-19
2468	addx61504 add 0E-400 0E-19 -> 0E-398 Clamped
2469	addx61505 add -0E-400 0E-19 -> 0E-398 Clamped
2470	addx61506 add 0E-400 -0E-19 -> 0E-398 Clamped
2471	addx61507 add -0E-400 -0E-19 -> -0E-398 Clamped
2472	-- inexact zeros
2473	addx61511 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2474	addx61512 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2475	addx61513 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2476	addx61514 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2477	-- some exact zeros from non-zeros
2478	addx61515 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2479	addx61516 add -1E-401 1E-401 -> 0E-398 Clamped
2480	addx61517 add 1E-401 -1E-401 -> 0E-398 Clamped
2481	addx61518 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2482
2483	rounding: half_down
2484	-- exact zeros from zeros
2485	addx61520 add 0 0E-19 -> 0E-19
2486	addx61521 add -0 0E-19 -> 0E-19
2487	addx61522 add 0 -0E-19 -> 0E-19
2488	addx61523 add -0 -0E-19 -> -0E-19
2489	addx61524 add 0E-400 0E-19 -> 0E-398 Clamped
2490	addx61525 add -0E-400 0E-19 -> 0E-398 Clamped
2491	addx61526 add 0E-400 -0E-19 -> 0E-398 Clamped
2492	addx61527 add -0E-400 -0E-19 -> -0E-398 Clamped
2493	-- inexact zeros
2494	addx61531 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2495	addx61532 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2496	addx61533 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2497	addx61534 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2498	-- some exact zeros from non-zeros
2499	addx61535 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2500	addx61536 add -1E-401 1E-401 -> 0E-398 Clamped
2501	addx61537 add 1E-401 -1E-401 -> 0E-398 Clamped
2502	addx61538 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2503
2504	rounding: half_even
2505	-- exact zeros from zeros
2506	addx61540 add 0 0E-19 -> 0E-19
2507	addx61541 add -0 0E-19 -> 0E-19
2508	addx61542 add 0 -0E-19 -> 0E-19
2509	addx61543 add -0 -0E-19 -> -0E-19
2510	addx61544 add 0E-400 0E-19 -> 0E-398 Clamped
2511	addx61545 add -0E-400 0E-19 -> 0E-398 Clamped
2512	addx61546 add 0E-400 -0E-19 -> 0E-398 Clamped
2513	addx61547 add -0E-400 -0E-19 -> -0E-398 Clamped
2514	-- inexact zeros
2515	addx61551 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2516	addx61552 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2517	addx61553 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2518	addx61554 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2519	-- some exact zeros from non-zeros
2520	addx61555 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2521	addx61556 add -1E-401 1E-401 -> 0E-398 Clamped
2522	addx61557 add 1E-401 -1E-401 -> 0E-398 Clamped
2523	addx61558 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2524
2525	rounding: up
2526	-- exact zeros from zeros
2527	addx61560 add 0 0E-19 -> 0E-19
2528	addx61561 add -0 0E-19 -> 0E-19
2529	addx61562 add 0 -0E-19 -> 0E-19
2530	addx61563 add -0 -0E-19 -> -0E-19
2531	addx61564 add 0E-400 0E-19 -> 0E-398 Clamped
2532	addx61565 add -0E-400 0E-19 -> 0E-398 Clamped
2533	addx61566 add 0E-400 -0E-19 -> 0E-398 Clamped
2534	addx61567 add -0E-400 -0E-19 -> -0E-398 Clamped
2535	-- inexact zeros
2536	addx61571 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
2537	addx61572 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
2538	addx61573 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
2539	addx61574 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
2540	-- some exact zeros from non-zeros
2541	addx61575 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow
2542	addx61576 add -1E-401 1E-401 -> 0E-398 Clamped
2543	addx61577 add 1E-401 -1E-401 -> 0E-398 Clamped
2544	addx61578 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow
2545
2546	rounding: down
2547	-- exact zeros from zeros
2548	addx61580 add 0 0E-19 -> 0E-19
2549	addx61581 add -0 0E-19 -> 0E-19
2550	addx61582 add 0 -0E-19 -> 0E-19
2551	addx61583 add -0 -0E-19 -> -0E-19
2552	addx61584 add 0E-400 0E-19 -> 0E-398 Clamped
2553	addx61585 add -0E-400 0E-19 -> 0E-398 Clamped
2554	addx61586 add 0E-400 -0E-19 -> 0E-398 Clamped
2555	addx61587 add -0E-400 -0E-19 -> -0E-398 Clamped
2556	-- inexact zeros
2557	addx61591 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2558	addx61592 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2559	addx61593 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2560	addx61594 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2561	-- some exact zeros from non-zeros
2562	addx61595 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2563	addx61596 add -1E-401 1E-401 -> 0E-398 Clamped
2564	addx61597 add 1E-401 -1E-401 -> 0E-398 Clamped
2565	addx61598 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2566
2567	rounding: ceiling
2568	-- exact zeros from zeros
2569	addx61600 add 0 0E-19 -> 0E-19
2570	addx61601 add -0 0E-19 -> 0E-19
2571	addx61602 add 0 -0E-19 -> 0E-19
2572	addx61603 add -0 -0E-19 -> -0E-19
2573	addx61604 add 0E-400 0E-19 -> 0E-398 Clamped
2574	addx61605 add -0E-400 0E-19 -> 0E-398 Clamped
2575	addx61606 add 0E-400 -0E-19 -> 0E-398 Clamped
2576	addx61607 add -0E-400 -0E-19 -> -0E-398 Clamped
2577	-- inexact zeros
2578	addx61611 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
2579	addx61612 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow
2580	addx61613 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2581	addx61614 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2582	-- some exact zeros from non-zeros
2583	addx61615 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow
2584	addx61616 add -1E-401 1E-401 -> 0E-398 Clamped
2585	addx61617 add 1E-401 -1E-401 -> 0E-398 Clamped
2586	addx61618 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped
2587
2588	-- and the extra-special ugly case; unusual minuses marked by -- *
2589	rounding: floor
2590	-- exact zeros from zeros
2591	addx61620 add 0 0E-19 -> 0E-19
2592	addx61621 add -0 0E-19 -> -0E-19 -- *
2593	addx61622 add 0 -0E-19 -> -0E-19 -- *
2594	addx61623 add -0 -0E-19 -> -0E-19
2595	addx61624 add 0E-400 0E-19 -> 0E-398 Clamped
2596	addx61625 add -0E-400 0E-19 -> -0E-398 Clamped -- *
2597	addx61626 add 0E-400 -0E-19 -> -0E-398 Clamped -- *
2598	addx61627 add -0E-400 -0E-19 -> -0E-398 Clamped
2599	-- inexact zeros
2600	addx61631 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2601	addx61632 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2602	addx61633 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
2603	addx61634 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow
2604	-- some exact zeros from non-zeros
2605	addx61635 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped
2606	addx61636 add -1E-401 1E-401 -> -0E-398 Clamped -- *
2607	addx61637 add 1E-401 -1E-401 -> -0E-398 Clamped -- *
2608	addx61638 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow
2609
2610	-- Examples from SQL proposal (Krishna Kulkarni)
2611	addx61701 add 130E-2 120E-2 -> 2.50
2612	addx61702 add 130E-2 12E-1 -> 2.50
2613	addx61703 add 130E-2 1E0 -> 2.30
2614	addx61704 add 1E2 1E4 -> 1.01E+4
2615	addx61705 subtract 130E-2 120E-2 -> 0.10
2616	addx61706 subtract 130E-2 12E-1 -> 0.10
2617	addx61707 subtract 130E-2 1E0 -> 0.30
2618	addx61708 subtract 1E2 1E4 -> -9.9E+3
2619
2620	-- Gappy coefficients; check residue handling even with full coefficient gap
2621	rounding: half_even
2622
2623	addx62001 add 1234567890123456 1 -> 1234567890123457
2624	addx62002 add 1234567890123456 0.6 -> 1234567890123457 Inexact Rounded
2625	addx62003 add 1234567890123456 0.06 -> 1234567890123456 Inexact Rounded
2626	addx62004 add 1234567890123456 6E-3 -> 1234567890123456 Inexact Rounded
2627	addx62005 add 1234567890123456 6E-4 -> 1234567890123456 Inexact Rounded
2628	addx62006 add 1234567890123456 6E-5 -> 1234567890123456 Inexact Rounded
2629	addx62007 add 1234567890123456 6E-6 -> 1234567890123456 Inexact Rounded
2630	addx62008 add 1234567890123456 6E-7 -> 1234567890123456 Inexact Rounded
2631	addx62009 add 1234567890123456 6E-8 -> 1234567890123456 Inexact Rounded
2632	addx62010 add 1234567890123456 6E-9 -> 1234567890123456 Inexact Rounded
2633	addx62011 add 1234567890123456 6E-10 -> 1234567890123456 Inexact Rounded
2634	addx62012 add 1234567890123456 6E-11 -> 1234567890123456 Inexact Rounded
2635	addx62013 add 1234567890123456 6E-12 -> 1234567890123456 Inexact Rounded
2636	addx62014 add 1234567890123456 6E-13 -> 1234567890123456 Inexact Rounded
2637	addx62015 add 1234567890123456 6E-14 -> 1234567890123456 Inexact Rounded
2638	addx62016 add 1234567890123456 6E-15 -> 1234567890123456 Inexact Rounded
2639	addx62017 add 1234567890123456 6E-16 -> 1234567890123456 Inexact Rounded
2640	addx62018 add 1234567890123456 6E-17 -> 1234567890123456 Inexact Rounded
2641	addx62019 add 1234567890123456 6E-18 -> 1234567890123456 Inexact Rounded
2642	addx62020 add 1234567890123456 6E-19 -> 1234567890123456 Inexact Rounded
2643	addx62021 add 1234567890123456 6E-20 -> 1234567890123456 Inexact Rounded
2644
2645	-- widening second argument at gap
2646	addx62030 add 12345678 1 -> 12345679
2647	addx62031 add 12345678 0.1 -> 12345678.1
2648	addx62032 add 12345678 0.12 -> 12345678.12
2649	addx62033 add 12345678 0.123 -> 12345678.123
2650	addx62034 add 12345678 0.1234 -> 12345678.1234
2651	addx62035 add 12345678 0.12345 -> 12345678.12345
2652	addx62036 add 12345678 0.123456 -> 12345678.123456
2653	addx62037 add 12345678 0.1234567 -> 12345678.1234567
2654	addx62038 add 12345678 0.12345678 -> 12345678.12345678
2655	addx62039 add 12345678 0.123456789 -> 12345678.12345679 Inexact Rounded
2656	addx62040 add 12345678 0.123456785 -> 12345678.12345678 Inexact Rounded
2657	addx62041 add 12345678 0.1234567850 -> 12345678.12345678 Inexact Rounded
2658	addx62042 add 12345678 0.1234567851 -> 12345678.12345679 Inexact Rounded
2659	addx62043 add 12345678 0.12345678501 -> 12345678.12345679 Inexact Rounded
2660	addx62044 add 12345678 0.123456785001 -> 12345678.12345679 Inexact Rounded
2661	addx62045 add 12345678 0.1234567850001 -> 12345678.12345679 Inexact Rounded
2662	addx62046 add 12345678 0.12345678500001 -> 12345678.12345679 Inexact Rounded
2663	addx62047 add 12345678 0.123456785000001 -> 12345678.12345679 Inexact Rounded
2664	addx62048 add 12345678 0.1234567850000001 -> 12345678.12345679 Inexact Rounded
2665	addx62049 add 12345678 0.1234567850000000 -> 12345678.12345678 Inexact Rounded
2666	-- 90123456
2667	rounding: half_even
2668	addx62050 add 12345678 0.0234567750000000 -> 12345678.02345678 Inexact Rounded
2669	addx62051 add 12345678 0.0034567750000000 -> 12345678.00345678 Inexact Rounded
2670	addx62052 add 12345678 0.0004567750000000 -> 12345678.00045678 Inexact Rounded
2671	addx62053 add 12345678 0.0000567750000000 -> 12345678.00005678 Inexact Rounded
2672	addx62054 add 12345678 0.0000067750000000 -> 12345678.00000678 Inexact Rounded
2673	addx62055 add 12345678 0.0000007750000000 -> 12345678.00000078 Inexact Rounded
2674	addx62056 add 12345678 0.0000000750000000 -> 12345678.00000008 Inexact Rounded
2675	addx62057 add 12345678 0.0000000050000000 -> 12345678.00000000 Inexact Rounded
2676	addx62060 add 12345678 0.0234567750000001 -> 12345678.02345678 Inexact Rounded
2677	addx62061 add 12345678 0.0034567750000001 -> 12345678.00345678 Inexact Rounded
2678	addx62062 add 12345678 0.0004567750000001 -> 12345678.00045678 Inexact Rounded
2679	addx62063 add 12345678 0.0000567750000001 -> 12345678.00005678 Inexact Rounded
2680	addx62064 add 12345678 0.0000067750000001 -> 12345678.00000678 Inexact Rounded
2681	addx62065 add 12345678 0.0000007750000001 -> 12345678.00000078 Inexact Rounded
2682	addx62066 add 12345678 0.0000000750000001 -> 12345678.00000008 Inexact Rounded
2683	addx62067 add 12345678 0.0000000050000001 -> 12345678.00000001 Inexact Rounded
2684	-- far-out residues (full coefficient gap is 16+15 digits)
2685	rounding: up
2686	addx62070 add 12345678 1E-8 -> 12345678.00000001
2687	addx62071 add 12345678 1E-9 -> 12345678.00000001 Inexact Rounded
2688	addx62072 add 12345678 1E-10 -> 12345678.00000001 Inexact Rounded
2689	addx62073 add 12345678 1E-11 -> 12345678.00000001 Inexact Rounded
2690	addx62074 add 12345678 1E-12 -> 12345678.00000001 Inexact Rounded
2691	addx62075 add 12345678 1E-13 -> 12345678.00000001 Inexact Rounded
2692	addx62076 add 12345678 1E-14 -> 12345678.00000001 Inexact Rounded
2693	addx62077 add 12345678 1E-15 -> 12345678.00000001 Inexact Rounded
2694	addx62078 add 12345678 1E-16 -> 12345678.00000001 Inexact Rounded
2695	addx62079 add 12345678 1E-17 -> 12345678.00000001 Inexact Rounded
2696	addx62080 add 12345678 1E-18 -> 12345678.00000001 Inexact Rounded
2697	addx62081 add 12345678 1E-19 -> 12345678.00000001 Inexact Rounded
2698	addx62082 add 12345678 1E-20 -> 12345678.00000001 Inexact Rounded
2699	addx62083 add 12345678 1E-25 -> 12345678.00000001 Inexact Rounded
2700	addx62084 add 12345678 1E-30 -> 12345678.00000001 Inexact Rounded
2701	addx62085 add 12345678 1E-31 -> 12345678.00000001 Inexact Rounded
2702	addx62086 add 12345678 1E-32 -> 12345678.00000001 Inexact Rounded
2703	addx62087 add 12345678 1E-33 -> 12345678.00000001 Inexact Rounded
2704	addx62088 add 12345678 1E-34 -> 12345678.00000001 Inexact Rounded
2705	addx62089 add 12345678 1E-35 -> 12345678.00000001 Inexact Rounded
2706
2707	-- payload decapitate
2708	precision: 5
2709	addx62100 add 11 sNaN123456789 -> NaN56789 Invalid_operation
2710	addx62101 add -11 -sNaN123456789 -> -NaN56789 Invalid_operation
2711	addx62102 add 11 NaN123456789 -> NaN56789
2712	addx62103 add -11 -NaN123456789 -> -NaN56789
2713
2714	-- Null tests
2715	addx9990 add 10 # -> NaN Invalid_operation
2716	addx9991 add # 10 -> NaN Invalid_operation

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format