1------------------------------------------------------------------------
2-- ddAdd.decTest -- decDouble 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------------------------------------------------------------------------
20version: 2.59
21
22-- This set of tests are for decDoubles only; all arguments are
23-- representable in a decDouble
24precision:   16
25maxExponent: 384
26minExponent: -383
27extended:    1
28clamp:       1
29rounding:    half_even
30
31-- [first group are 'quick confidence check']
32ddadd001 add 1       1       ->  2
33ddadd002 add 2       3       ->  5
34ddadd003 add '5.75'  '3.3'   ->  9.05
35ddadd004 add '5'     '-3'    ->  2
36ddadd005 add '-5'    '-3'    ->  -8
37ddadd006 add '-7'    '2.5'   ->  -4.5
38ddadd007 add '0.7'   '0.3'   ->  1.0
39ddadd008 add '1.25'  '1.25'  ->  2.50
40ddadd009 add '1.23456789'  '1.00000000' -> '2.23456789'
41ddadd010 add '1.23456789'  '1.00000011' -> '2.23456800'
42
43--             1234567890123456      1234567890123456
44ddadd011 add '0.4444444444444446'  '0.5555555555555555' -> '1.000000000000000' Inexact Rounded
45ddadd012 add '0.4444444444444445'  '0.5555555555555555' -> '1.000000000000000' Rounded
46ddadd013 add '0.4444444444444444'  '0.5555555555555555' -> '0.9999999999999999'
47ddadd014 add   '4444444444444444' '0.49'   -> '4444444444444444' Inexact Rounded
48ddadd015 add   '4444444444444444' '0.499'  -> '4444444444444444' Inexact Rounded
49ddadd016 add   '4444444444444444' '0.4999' -> '4444444444444444' Inexact Rounded
50ddadd017 add   '4444444444444444' '0.5000' -> '4444444444444444' Inexact Rounded
51ddadd018 add   '4444444444444444' '0.5001' -> '4444444444444445' Inexact Rounded
52ddadd019 add   '4444444444444444' '0.501'  -> '4444444444444445' Inexact Rounded
53ddadd020 add   '4444444444444444' '0.51'   -> '4444444444444445' Inexact Rounded
54
55ddadd021 add 0 1 -> 1
56ddadd022 add 1 1 -> 2
57ddadd023 add 2 1 -> 3
58ddadd024 add 3 1 -> 4
59ddadd025 add 4 1 -> 5
60ddadd026 add 5 1 -> 6
61ddadd027 add 6 1 -> 7
62ddadd028 add 7 1 -> 8
63ddadd029 add 8 1 -> 9
64ddadd030 add 9 1 -> 10
65
66-- some carrying effects
67ddadd031 add '0.9998'  '0.0000' -> '0.9998'
68ddadd032 add '0.9998'  '0.0001' -> '0.9999'
69ddadd033 add '0.9998'  '0.0002' -> '1.0000'
70ddadd034 add '0.9998'  '0.0003' -> '1.0001'
71
72ddadd035 add '70'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
73ddadd036 add '700'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
74ddadd037 add '7000'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
75ddadd038 add '70000'  '10000e+16' -> '1.000000000000001E+20' Inexact Rounded
76ddadd039 add '700000'  '10000e+16' -> '1.000000000000007E+20' Rounded
77
78-- symmetry:
79ddadd040 add '10000e+16'  '70' -> '1.000000000000000E+20' Inexact Rounded
80ddadd041 add '10000e+16'  '700' -> '1.000000000000000E+20' Inexact Rounded
81ddadd042 add '10000e+16'  '7000' -> '1.000000000000000E+20' Inexact Rounded
82ddadd044 add '10000e+16'  '70000' -> '1.000000000000001E+20' Inexact Rounded
83ddadd045 add '10000e+16'  '700000' -> '1.000000000000007E+20' Rounded
84
85-- same, without rounding
86ddadd046 add '10000e+9'  '7' -> '10000000000007'
87ddadd047 add '10000e+9'  '70' -> '10000000000070'
88ddadd048 add '10000e+9'  '700' -> '10000000000700'
89ddadd049 add '10000e+9'  '7000' -> '10000000007000'
90ddadd050 add '10000e+9'  '70000' -> '10000000070000'
91ddadd051 add '10000e+9'  '700000' -> '10000000700000'
92ddadd052 add '10000e+9'  '7000000' -> '10000007000000'
93
94-- examples from decarith
95ddadd053 add '12' '7.00' -> '19.00'
96ddadd054 add '1.3' '-1.07' -> '0.23'
97ddadd055 add '1.3' '-1.30' -> '0.00'
98ddadd056 add '1.3' '-2.07' -> '-0.77'
99ddadd057 add '1E+2' '1E+4' -> '1.01E+4'
100
101-- leading zero preservation
102ddadd061 add 1 '0.0001' -> '1.0001'
103ddadd062 add 1 '0.00001' -> '1.00001'
104ddadd063 add 1 '0.000001' -> '1.000001'
105ddadd064 add 1 '0.0000001' -> '1.0000001'
106ddadd065 add 1 '0.00000001' -> '1.00000001'
107
108-- some funny zeros [in case of bad signum]
109ddadd070 add 1  0    -> 1
110ddadd071 add 1 0.    -> 1
111ddadd072 add 1  .0   -> 1.0
112ddadd073 add 1 0.0   -> 1.0
113ddadd074 add 1 0.00  -> 1.00
114ddadd075 add  0  1   -> 1
115ddadd076 add 0.  1   -> 1
116ddadd077 add  .0 1   -> 1.0
117ddadd078 add 0.0 1   -> 1.0
118ddadd079 add 0.00 1  -> 1.00
119
120-- some carries
121ddadd080 add 999999998 1  -> 999999999
122ddadd081 add 999999999 1  -> 1000000000
123ddadd082 add  99999999 1  -> 100000000
124ddadd083 add   9999999 1  -> 10000000
125ddadd084 add    999999 1  -> 1000000
126ddadd085 add     99999 1  -> 100000
127ddadd086 add      9999 1  -> 10000
128ddadd087 add       999 1  -> 1000
129ddadd088 add        99 1  -> 100
130ddadd089 add         9 1  -> 10
131
132
133-- more LHS swaps
134ddadd090 add '-56267E-10'   0 ->  '-0.0000056267'
135ddadd091 add '-56267E-6'    0 ->  '-0.056267'
136ddadd092 add '-56267E-5'    0 ->  '-0.56267'
137ddadd093 add '-56267E-4'    0 ->  '-5.6267'
138ddadd094 add '-56267E-3'    0 ->  '-56.267'
139ddadd095 add '-56267E-2'    0 ->  '-562.67'
140ddadd096 add '-56267E-1'    0 ->  '-5626.7'
141ddadd097 add '-56267E-0'    0 ->  '-56267'
142ddadd098 add '-5E-10'       0 ->  '-5E-10'
143ddadd099 add '-5E-7'        0 ->  '-5E-7'
144ddadd100 add '-5E-6'        0 ->  '-0.000005'
145ddadd101 add '-5E-5'        0 ->  '-0.00005'
146ddadd102 add '-5E-4'        0 ->  '-0.0005'
147ddadd103 add '-5E-1'        0 ->  '-0.5'
148ddadd104 add '-5E0'         0 ->  '-5'
149ddadd105 add '-5E1'         0 ->  '-50'
150ddadd106 add '-5E5'         0 ->  '-500000'
151ddadd107 add '-5E15'        0 ->  '-5000000000000000'
152ddadd108 add '-5E16'        0 ->  '-5.000000000000000E+16'  Rounded
153ddadd109 add '-5E17'        0 ->  '-5.000000000000000E+17'  Rounded
154ddadd110 add '-5E18'        0 ->  '-5.000000000000000E+18'  Rounded
155ddadd111 add '-5E100'       0 ->  '-5.000000000000000E+100' Rounded
156
157-- more RHS swaps
158ddadd113 add 0  '-56267E-10' ->  '-0.0000056267'
159ddadd114 add 0  '-56267E-6'  ->  '-0.056267'
160ddadd116 add 0  '-56267E-5'  ->  '-0.56267'
161ddadd117 add 0  '-56267E-4'  ->  '-5.6267'
162ddadd119 add 0  '-56267E-3'  ->  '-56.267'
163ddadd120 add 0  '-56267E-2'  ->  '-562.67'
164ddadd121 add 0  '-56267E-1'  ->  '-5626.7'
165ddadd122 add 0  '-56267E-0'  ->  '-56267'
166ddadd123 add 0  '-5E-10'     ->  '-5E-10'
167ddadd124 add 0  '-5E-7'      ->  '-5E-7'
168ddadd125 add 0  '-5E-6'      ->  '-0.000005'
169ddadd126 add 0  '-5E-5'      ->  '-0.00005'
170ddadd127 add 0  '-5E-4'      ->  '-0.0005'
171ddadd128 add 0  '-5E-1'      ->  '-0.5'
172ddadd129 add 0  '-5E0'       ->  '-5'
173ddadd130 add 0  '-5E1'       ->  '-50'
174ddadd131 add 0  '-5E5'       ->  '-500000'
175ddadd132 add 0  '-5E15'      ->  '-5000000000000000'
176ddadd133 add 0  '-5E16'      ->  '-5.000000000000000E+16'   Rounded
177ddadd134 add 0  '-5E17'      ->  '-5.000000000000000E+17'   Rounded
178ddadd135 add 0  '-5E18'      ->  '-5.000000000000000E+18'   Rounded
179ddadd136 add 0  '-5E100'     ->  '-5.000000000000000E+100'  Rounded
180
181-- related
182ddadd137 add  1  '0E-19'      ->  '1.000000000000000'  Rounded
183ddadd138 add -1  '0E-19'      ->  '-1.000000000000000' Rounded
184ddadd139 add '0E-19' 1        ->  '1.000000000000000'  Rounded
185ddadd140 add '0E-19' -1       ->  '-1.000000000000000' Rounded
186ddadd141 add 1E+11   0.0000   ->  '100000000000.0000'
187ddadd142 add 1E+11   0.00000  ->  '100000000000.0000'  Rounded
188ddadd143 add 0.000   1E+12    ->  '1000000000000.000'
189ddadd144 add 0.0000  1E+12    ->  '1000000000000.000'  Rounded
190
191-- [some of the next group are really constructor tests]
192ddadd146 add '00.0'  0       ->  '0.0'
193ddadd147 add '0.00'  0       ->  '0.00'
194ddadd148 add  0      '0.00'  ->  '0.00'
195ddadd149 add  0      '00.0'  ->  '0.0'
196ddadd150 add '00.0'  '0.00'  ->  '0.00'
197ddadd151 add '0.00'  '00.0'  ->  '0.00'
198ddadd152 add '3'     '.3'    ->  '3.3'
199ddadd153 add '3.'    '.3'    ->  '3.3'
200ddadd154 add '3.0'   '.3'    ->  '3.3'
201ddadd155 add '3.00'  '.3'    ->  '3.30'
202ddadd156 add '3'     '3'     ->  '6'
203ddadd157 add '3'     '+3'    ->  '6'
204ddadd158 add '3'     '-3'    ->  '0'
205ddadd159 add '0.3'   '-0.3'  ->  '0.0'
206ddadd160 add '0.03'  '-0.03' ->  '0.00'
207
208-- try borderline precision, with carries, etc.
209ddadd161 add '1E+12' '-1'    -> '999999999999'
210ddadd162 add '1E+12'  '1.11' -> '1000000000001.11'
211ddadd163 add '1.11'  '1E+12' -> '1000000000001.11'
212ddadd164 add '-1'    '1E+12' -> '999999999999'
213ddadd165 add '7E+12' '-1'    -> '6999999999999'
214ddadd166 add '7E+12'  '1.11' -> '7000000000001.11'
215ddadd167 add '1.11'  '7E+12' -> '7000000000001.11'
216ddadd168 add '-1'    '7E+12' -> '6999999999999'
217
218rounding: half_up
219--           1.234567890123456      1234567890123456      1 234567890123456
220ddadd170 add '4.444444444444444'  '0.5555555555555567' -> '5.000000000000001' Inexact Rounded
221ddadd171 add '4.444444444444444'  '0.5555555555555566' -> '5.000000000000001' Inexact Rounded
222ddadd172 add '4.444444444444444'  '0.5555555555555565' -> '5.000000000000001' Inexact Rounded
223ddadd173 add '4.444444444444444'  '0.5555555555555564' -> '5.000000000000000' Inexact Rounded
224ddadd174 add '4.444444444444444'  '0.5555555555555553' -> '4.999999999999999' Inexact Rounded
225ddadd175 add '4.444444444444444'  '0.5555555555555552' -> '4.999999999999999' Inexact Rounded
226ddadd176 add '4.444444444444444'  '0.5555555555555551' -> '4.999999999999999' Inexact Rounded
227ddadd177 add '4.444444444444444'  '0.5555555555555550' -> '4.999999999999999' Rounded
228ddadd178 add '4.444444444444444'  '0.5555555555555545' -> '4.999999999999999' Inexact Rounded
229ddadd179 add '4.444444444444444'  '0.5555555555555544' -> '4.999999999999998' Inexact Rounded
230ddadd180 add '4.444444444444444'  '0.5555555555555543' -> '4.999999999999998' Inexact Rounded
231ddadd181 add '4.444444444444444'  '0.5555555555555542' -> '4.999999999999998' Inexact Rounded
232ddadd182 add '4.444444444444444'  '0.5555555555555541' -> '4.999999999999998' Inexact Rounded
233ddadd183 add '4.444444444444444'  '0.5555555555555540' -> '4.999999999999998' Rounded
234
235-- and some more, including residue effects and different roundings
236rounding: half_up
237ddadd200 add '1234560123456789' 0             -> '1234560123456789'
238ddadd201 add '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
239ddadd202 add '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
240ddadd203 add '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
241ddadd204 add '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
242ddadd205 add '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
243ddadd206 add '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
244ddadd207 add '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
245ddadd208 add '1234560123456789' 0.5           -> '1234560123456790' Inexact Rounded
246ddadd209 add '1234560123456789' 0.500000001   -> '1234560123456790' Inexact Rounded
247ddadd210 add '1234560123456789' 0.500001      -> '1234560123456790' Inexact Rounded
248ddadd211 add '1234560123456789' 0.51          -> '1234560123456790' Inexact Rounded
249ddadd212 add '1234560123456789' 0.6           -> '1234560123456790' Inexact Rounded
250ddadd213 add '1234560123456789' 0.9           -> '1234560123456790' Inexact Rounded
251ddadd214 add '1234560123456789' 0.99999       -> '1234560123456790' Inexact Rounded
252ddadd215 add '1234560123456789' 0.999999999   -> '1234560123456790' Inexact Rounded
253ddadd216 add '1234560123456789' 1             -> '1234560123456790'
254ddadd217 add '1234560123456789' 1.000000001   -> '1234560123456790' Inexact Rounded
255ddadd218 add '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
256ddadd219 add '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded
257
258rounding: half_even
259ddadd220 add '1234560123456789' 0             -> '1234560123456789'
260ddadd221 add '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
261ddadd222 add '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
262ddadd223 add '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
263ddadd224 add '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
264ddadd225 add '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
265ddadd226 add '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
266ddadd227 add '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
267ddadd228 add '1234560123456789' 0.5           -> '1234560123456790' Inexact Rounded
268ddadd229 add '1234560123456789' 0.500000001   -> '1234560123456790' Inexact Rounded
269ddadd230 add '1234560123456789' 0.500001      -> '1234560123456790' Inexact Rounded
270ddadd231 add '1234560123456789' 0.51          -> '1234560123456790' Inexact Rounded
271ddadd232 add '1234560123456789' 0.6           -> '1234560123456790' Inexact Rounded
272ddadd233 add '1234560123456789' 0.9           -> '1234560123456790' Inexact Rounded
273ddadd234 add '1234560123456789' 0.99999       -> '1234560123456790' Inexact Rounded
274ddadd235 add '1234560123456789' 0.999999999   -> '1234560123456790' Inexact Rounded
275ddadd236 add '1234560123456789' 1             -> '1234560123456790'
276ddadd237 add '1234560123456789' 1.00000001    -> '1234560123456790' Inexact Rounded
277ddadd238 add '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
278ddadd239 add '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded
279-- critical few with even bottom digit...
280ddadd240 add '1234560123456788' 0.499999999   -> '1234560123456788' Inexact Rounded
281ddadd241 add '1234560123456788' 0.5           -> '1234560123456788' Inexact Rounded
282ddadd242 add '1234560123456788' 0.500000001   -> '1234560123456789' Inexact Rounded
283
284rounding: down
285ddadd250 add '1234560123456789' 0             -> '1234560123456789'
286ddadd251 add '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
287ddadd252 add '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
288ddadd253 add '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
289ddadd254 add '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
290ddadd255 add '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
291ddadd256 add '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
292ddadd257 add '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
293ddadd258 add '1234560123456789' 0.5           -> '1234560123456789' Inexact Rounded
294ddadd259 add '1234560123456789' 0.500000001   -> '1234560123456789' Inexact Rounded
295ddadd260 add '1234560123456789' 0.500001      -> '1234560123456789' Inexact Rounded
296ddadd261 add '1234560123456789' 0.51          -> '1234560123456789' Inexact Rounded
297ddadd262 add '1234560123456789' 0.6           -> '1234560123456789' Inexact Rounded
298ddadd263 add '1234560123456789' 0.9           -> '1234560123456789' Inexact Rounded
299ddadd264 add '1234560123456789' 0.99999       -> '1234560123456789' Inexact Rounded
300ddadd265 add '1234560123456789' 0.999999999   -> '1234560123456789' Inexact Rounded
301ddadd266 add '1234560123456789' 1             -> '1234560123456790'
302ddadd267 add '1234560123456789' 1.00000001    -> '1234560123456790' Inexact Rounded
303ddadd268 add '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
304ddadd269 add '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded
305
306-- 1 in last place tests
307rounding: half_up
308ddadd301 add  -1   1      ->   0
309ddadd302 add   0   1      ->   1
310ddadd303 add   1   1      ->   2
311ddadd304 add  12   1      ->  13
312ddadd305 add  98   1      ->  99
313ddadd306 add  99   1      -> 100
314ddadd307 add 100   1      -> 101
315ddadd308 add 101   1      -> 102
316ddadd309 add  -1  -1      ->  -2
317ddadd310 add   0  -1      ->  -1
318ddadd311 add   1  -1      ->   0
319ddadd312 add  12  -1      ->  11
320ddadd313 add  98  -1      ->  97
321ddadd314 add  99  -1      ->  98
322ddadd315 add 100  -1      ->  99
323ddadd316 add 101  -1      -> 100
324
325ddadd321 add -0.01  0.01    ->  0.00
326ddadd322 add  0.00  0.01    ->  0.01
327ddadd323 add  0.01  0.01    ->  0.02
328ddadd324 add  0.12  0.01    ->  0.13
329ddadd325 add  0.98  0.01    ->  0.99
330ddadd326 add  0.99  0.01    ->  1.00
331ddadd327 add  1.00  0.01    ->  1.01
332ddadd328 add  1.01  0.01    ->  1.02
333ddadd329 add -0.01 -0.01    -> -0.02
334ddadd330 add  0.00 -0.01    -> -0.01
335ddadd331 add  0.01 -0.01    ->  0.00
336ddadd332 add  0.12 -0.01    ->  0.11
337ddadd333 add  0.98 -0.01    ->  0.97
338ddadd334 add  0.99 -0.01    ->  0.98
339ddadd335 add  1.00 -0.01    ->  0.99
340ddadd336 add  1.01 -0.01    ->  1.00
341
342-- some more cases where adding 0 affects the coefficient
343ddadd340 add 1E+3    0    ->         1000
344ddadd341 add 1E+15   0    ->    1000000000000000
345ddadd342 add 1E+16   0    ->   1.000000000000000E+16  Rounded
346ddadd343 add 1E+20   0    ->   1.000000000000000E+20  Rounded
347-- which simply follow from these cases ...
348ddadd344 add 1E+3    1    ->         1001
349ddadd345 add 1E+15   1    ->    1000000000000001
350ddadd346 add 1E+16   1    ->   1.000000000000000E+16  Inexact Rounded
351ddadd347 add 1E+20   1    ->   1.000000000000000E+20  Inexact Rounded
352ddadd348 add 1E+3    7    ->         1007
353ddadd349 add 1E+15   7    ->    1000000000000007
354ddadd350 add 1E+16   7    ->   1.000000000000001E+16  Inexact Rounded
355ddadd351 add 1E+20   7    ->   1.000000000000000E+20  Inexact Rounded
356
357-- tryzeros cases
358rounding:    half_up
359ddadd360  add 0E+50 10000E+1  -> 1.0000E+5
360ddadd361  add 0E-50 10000E+1  -> 100000.0000000000 Rounded
361ddadd362  add 10000E+1 0E-50  -> 100000.0000000000 Rounded
362ddadd363  add 10000E+1 10000E-50  -> 100000.0000000000 Rounded Inexact
363ddadd364  add 9.999999999999999E+384 -9.999999999999999E+384 -> 0E+369
364
365-- a curiosity from JSR 13 testing
366rounding:    half_down
367ddadd370 add  999999999999999 815 -> 1000000000000814
368ddadd371 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
369rounding:    half_up
370ddadd372 add  999999999999999 815 -> 1000000000000814
371ddadd373 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
372rounding:    half_even
373ddadd374 add  999999999999999 815 -> 1000000000000814
374ddadd375 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
375
376-- operands folded
377ddadd380 add   1E+384  1E+384  ->  2.000000000000000E+384  Clamped
378ddadd381 add   1E+380  1E+380  ->  2.00000000000E+380      Clamped
379ddadd382 add   1E+376  1E+376  ->  2.0000000E+376          Clamped
380ddadd383 add   1E+372  1E+372  ->  2.000E+372              Clamped
381ddadd384 add   1E+370  1E+370  ->  2.0E+370                Clamped
382ddadd385 add   1E+369  1E+369  ->  2E+369
383ddadd386 add   1E+368  1E+368  ->  2E+368
384
385-- ulp replacement tests
386ddadd400 add   1   77e-14      ->  1.00000000000077
387ddadd401 add   1   77e-15      ->  1.000000000000077
388ddadd402 add   1   77e-16      ->  1.000000000000008 Inexact Rounded
389ddadd403 add   1   77e-17      ->  1.000000000000001 Inexact Rounded
390ddadd404 add   1   77e-18      ->  1.000000000000000 Inexact Rounded
391ddadd405 add   1   77e-19      ->  1.000000000000000 Inexact Rounded
392ddadd406 add   1   77e-299     ->  1.000000000000000 Inexact Rounded
393
394ddadd410 add  10   77e-14      ->  10.00000000000077
395ddadd411 add  10   77e-15      ->  10.00000000000008 Inexact Rounded
396ddadd412 add  10   77e-16      ->  10.00000000000001 Inexact Rounded
397ddadd413 add  10   77e-17      ->  10.00000000000000 Inexact Rounded
398ddadd414 add  10   77e-18      ->  10.00000000000000 Inexact Rounded
399ddadd415 add  10   77e-19      ->  10.00000000000000 Inexact Rounded
400ddadd416 add  10   77e-299     ->  10.00000000000000 Inexact Rounded
401
402ddadd420 add  77e-14       1   ->  1.00000000000077
403ddadd421 add  77e-15       1   ->  1.000000000000077
404ddadd422 add  77e-16       1   ->  1.000000000000008 Inexact Rounded
405ddadd423 add  77e-17       1   ->  1.000000000000001 Inexact Rounded
406ddadd424 add  77e-18       1   ->  1.000000000000000 Inexact Rounded
407ddadd425 add  77e-19       1   ->  1.000000000000000 Inexact Rounded
408ddadd426 add  77e-299      1   ->  1.000000000000000 Inexact Rounded
409
410ddadd430 add  77e-14      10   ->  10.00000000000077
411ddadd431 add  77e-15      10   ->  10.00000000000008 Inexact Rounded
412ddadd432 add  77e-16      10   ->  10.00000000000001 Inexact Rounded
413ddadd433 add  77e-17      10   ->  10.00000000000000 Inexact Rounded
414ddadd434 add  77e-18      10   ->  10.00000000000000 Inexact Rounded
415ddadd435 add  77e-19      10   ->  10.00000000000000 Inexact Rounded
416ddadd436 add  77e-299     10   ->  10.00000000000000 Inexact Rounded
417
418-- fastpath boundary (more in dqadd)
419--            1234567890123456
420ddadd539 add '4444444444444444'  '3333333333333333' -> '7777777777777777'
421ddadd540 add '4444444444444444'  '4444444444444444' -> '8888888888888888'
422ddadd541 add '4444444444444444'  '5555555555555555' -> '9999999999999999'
423ddadd542 add '3333333333333333'  '4444444444444444' -> '7777777777777777'
424ddadd543 add '4444444444444444'  '4444444444444444' -> '8888888888888888'
425ddadd544 add '5555555555555555'  '4444444444444444' -> '9999999999999999'
426ddadd545 add '3000004000000000'  '3000000000000040' -> '6000004000000040'
427ddadd546 add '3000000400000000'  '4000000000000400' -> '7000000400000400'
428ddadd547 add '3000000040000000'  '5000000000004000' -> '8000000040004000'
429ddadd548 add '4000000004000000'  '3000000000040000' -> '7000000004040000'
430ddadd549 add '4000000000400000'  '4000000000400000' -> '8000000000800000'
431ddadd550 add '4000000000040000'  '5000000004000000' -> '9000000004040000'
432ddadd551 add '5000000000004000'  '3000000040000000' -> '8000000040004000'
433ddadd552 add '5000000000000400'  '4000000400000000' -> '9000000400000400'
434ddadd553 add '5000000000000040'  '5000004000000000' -> 1.000000400000004E+16 Rounded
435-- check propagation
436ddadd554 add '8999999999999999'  '0000000000000001' -> 9000000000000000
437ddadd555 add '0000000000000001'  '8999999999999999' -> 9000000000000000
438ddadd556 add '0999999999999999'  '0000000000000001' -> 1000000000000000
439ddadd557 add '0000000000000001'  '0999999999999999' -> 1000000000000000
440ddadd558 add '4444444444444444'  '4555555555555556' -> 9000000000000000
441ddadd559 add '4555555555555556'  '4444444444444444' -> 9000000000000000
442
443-- negative ulps
444ddadd6440 add   1   -77e-14      ->  0.99999999999923
445ddadd6441 add   1   -77e-15      ->  0.999999999999923
446ddadd6442 add   1   -77e-16      ->  0.9999999999999923
447ddadd6443 add   1   -77e-17      ->  0.9999999999999992 Inexact Rounded
448ddadd6444 add   1   -77e-18      ->  0.9999999999999999 Inexact Rounded
449ddadd6445 add   1   -77e-19      ->  1.000000000000000 Inexact Rounded
450ddadd6446 add   1   -77e-99      ->  1.000000000000000 Inexact Rounded
451
452ddadd6450 add  10   -77e-14      ->   9.99999999999923
453ddadd6451 add  10   -77e-15      ->   9.999999999999923
454ddadd6452 add  10   -77e-16      ->   9.999999999999992 Inexact Rounded
455ddadd6453 add  10   -77e-17      ->   9.999999999999999 Inexact Rounded
456ddadd6454 add  10   -77e-18      ->  10.00000000000000 Inexact Rounded
457ddadd6455 add  10   -77e-19      ->  10.00000000000000 Inexact Rounded
458ddadd6456 add  10   -77e-99      ->  10.00000000000000 Inexact Rounded
459
460ddadd6460 add  -77e-14       1   ->  0.99999999999923
461ddadd6461 add  -77e-15       1   ->  0.999999999999923
462ddadd6462 add  -77e-16       1   ->  0.9999999999999923
463ddadd6463 add  -77e-17       1   ->  0.9999999999999992 Inexact Rounded
464ddadd6464 add  -77e-18       1   ->  0.9999999999999999 Inexact Rounded
465ddadd6465 add  -77e-19       1   ->  1.000000000000000 Inexact Rounded
466ddadd6466 add  -77e-99       1   ->  1.000000000000000 Inexact Rounded
467
468ddadd6470 add  -77e-14      10   ->   9.99999999999923
469ddadd6471 add  -77e-15      10   ->   9.999999999999923
470ddadd6472 add  -77e-16      10   ->   9.999999999999992 Inexact Rounded
471ddadd6473 add  -77e-17      10   ->   9.999999999999999 Inexact Rounded
472ddadd6474 add  -77e-18      10   ->  10.00000000000000 Inexact Rounded
473ddadd6475 add  -77e-19      10   ->  10.00000000000000 Inexact Rounded
474ddadd6476 add  -77e-99      10   ->  10.00000000000000 Inexact Rounded
475
476-- negative ulps
477ddadd6480 add  -1    77e-14      ->  -0.99999999999923
478ddadd6481 add  -1    77e-15      ->  -0.999999999999923
479ddadd6482 add  -1    77e-16      ->  -0.9999999999999923
480ddadd6483 add  -1    77e-17      ->  -0.9999999999999992 Inexact Rounded
481ddadd6484 add  -1    77e-18      ->  -0.9999999999999999 Inexact Rounded
482ddadd6485 add  -1    77e-19      ->  -1.000000000000000 Inexact Rounded
483ddadd6486 add  -1    77e-99      ->  -1.000000000000000 Inexact Rounded
484
485ddadd6490 add -10    77e-14      ->   -9.99999999999923
486ddadd6491 add -10    77e-15      ->   -9.999999999999923
487ddadd6492 add -10    77e-16      ->   -9.999999999999992 Inexact Rounded
488ddadd6493 add -10    77e-17      ->   -9.999999999999999 Inexact Rounded
489ddadd6494 add -10    77e-18      ->  -10.00000000000000 Inexact Rounded
490ddadd6495 add -10    77e-19      ->  -10.00000000000000 Inexact Rounded
491ddadd6496 add -10    77e-99      ->  -10.00000000000000 Inexact Rounded
492
493ddadd6500 add   77e-14      -1   ->  -0.99999999999923
494ddadd6501 add   77e-15      -1   ->  -0.999999999999923
495ddadd6502 add   77e-16      -1   ->  -0.9999999999999923
496ddadd6503 add   77e-17      -1   ->  -0.9999999999999992 Inexact Rounded
497ddadd6504 add   77e-18      -1   ->  -0.9999999999999999 Inexact Rounded
498ddadd6505 add   77e-19      -1   ->  -1.000000000000000 Inexact Rounded
499ddadd6506 add   77e-99      -1   ->  -1.000000000000000 Inexact Rounded
500
501ddadd6510 add   77e-14      -10  ->   -9.99999999999923
502ddadd6511 add   77e-15      -10  ->   -9.999999999999923
503ddadd6512 add   77e-16      -10  ->   -9.999999999999992 Inexact Rounded
504ddadd6513 add   77e-17      -10  ->   -9.999999999999999 Inexact Rounded
505ddadd6514 add   77e-18      -10  ->  -10.00000000000000 Inexact Rounded
506ddadd6515 add   77e-19      -10  ->  -10.00000000000000 Inexact Rounded
507ddadd6516 add   77e-99      -10  ->  -10.00000000000000 Inexact Rounded
508
509-- and some more residue effects and different roundings
510rounding: half_up
511ddadd6540 add '6543210123456789' 0             -> '6543210123456789'
512ddadd6541 add '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
513ddadd6542 add '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
514ddadd6543 add '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
515ddadd6544 add '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
516ddadd6545 add '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
517ddadd6546 add '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
518ddadd6547 add '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
519ddadd6548 add '6543210123456789' 0.5           -> '6543210123456790' Inexact Rounded
520ddadd6549 add '6543210123456789' 0.500000001   -> '6543210123456790' Inexact Rounded
521ddadd6550 add '6543210123456789' 0.500001      -> '6543210123456790' Inexact Rounded
522ddadd6551 add '6543210123456789' 0.51          -> '6543210123456790' Inexact Rounded
523ddadd6552 add '6543210123456789' 0.6           -> '6543210123456790' Inexact Rounded
524ddadd6553 add '6543210123456789' 0.9           -> '6543210123456790' Inexact Rounded
525ddadd6554 add '6543210123456789' 0.99999       -> '6543210123456790' Inexact Rounded
526ddadd6555 add '6543210123456789' 0.999999999   -> '6543210123456790' Inexact Rounded
527ddadd6556 add '6543210123456789' 1             -> '6543210123456790'
528ddadd6557 add '6543210123456789' 1.000000001   -> '6543210123456790' Inexact Rounded
529ddadd6558 add '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
530ddadd6559 add '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded
531
532rounding: half_even
533ddadd6560 add '6543210123456789' 0             -> '6543210123456789'
534ddadd6561 add '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
535ddadd6562 add '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
536ddadd6563 add '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
537ddadd6564 add '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
538ddadd6565 add '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
539ddadd6566 add '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
540ddadd6567 add '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
541ddadd6568 add '6543210123456789' 0.5           -> '6543210123456790' Inexact Rounded
542ddadd6569 add '6543210123456789' 0.500000001   -> '6543210123456790' Inexact Rounded
543ddadd6570 add '6543210123456789' 0.500001      -> '6543210123456790' Inexact Rounded
544ddadd6571 add '6543210123456789' 0.51          -> '6543210123456790' Inexact Rounded
545ddadd6572 add '6543210123456789' 0.6           -> '6543210123456790' Inexact Rounded
546ddadd6573 add '6543210123456789' 0.9           -> '6543210123456790' Inexact Rounded
547ddadd6574 add '6543210123456789' 0.99999       -> '6543210123456790' Inexact Rounded
548ddadd6575 add '6543210123456789' 0.999999999   -> '6543210123456790' Inexact Rounded
549ddadd6576 add '6543210123456789' 1             -> '6543210123456790'
550ddadd6577 add '6543210123456789' 1.00000001    -> '6543210123456790' Inexact Rounded
551ddadd6578 add '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
552ddadd6579 add '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded
553
554-- critical few with even bottom digit...
555ddadd7540 add '6543210123456788' 0.499999999   -> '6543210123456788' Inexact Rounded
556ddadd7541 add '6543210123456788' 0.5           -> '6543210123456788' Inexact Rounded
557ddadd7542 add '6543210123456788' 0.500000001   -> '6543210123456789' Inexact Rounded
558
559rounding: down
560ddadd7550 add '6543210123456789' 0             -> '6543210123456789'
561ddadd7551 add '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
562ddadd7552 add '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
563ddadd7553 add '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
564ddadd7554 add '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
565ddadd7555 add '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
566ddadd7556 add '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
567ddadd7557 add '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
568ddadd7558 add '6543210123456789' 0.5           -> '6543210123456789' Inexact Rounded
569ddadd7559 add '6543210123456789' 0.500000001   -> '6543210123456789' Inexact Rounded
570ddadd7560 add '6543210123456789' 0.500001      -> '6543210123456789' Inexact Rounded
571ddadd7561 add '6543210123456789' 0.51          -> '6543210123456789' Inexact Rounded
572ddadd7562 add '6543210123456789' 0.6           -> '6543210123456789' Inexact Rounded
573ddadd7563 add '6543210123456789' 0.9           -> '6543210123456789' Inexact Rounded
574ddadd7564 add '6543210123456789' 0.99999       -> '6543210123456789' Inexact Rounded
575ddadd7565 add '6543210123456789' 0.999999999   -> '6543210123456789' Inexact Rounded
576ddadd7566 add '6543210123456789' 1             -> '6543210123456790'
577ddadd7567 add '6543210123456789' 1.00000001    -> '6543210123456790' Inexact Rounded
578ddadd7568 add '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
579ddadd7569 add '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded
580
581-- verify a query
582rounding:     down
583ddadd7661 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
584ddadd7662 add      0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
585ddadd7663 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
586ddadd7664 add      0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded
587
588-- more zeros, etc.
589rounding: half_even
590
591ddadd7701 add 5.00 1.00E-3 -> 5.00100
592ddadd7702 add 00.00 0.000  -> 0.000
593ddadd7703 add 00.00 0E-3   -> 0.000
594ddadd7704 add 0E-3  00.00  -> 0.000
595
596ddadd7710 add 0E+3  00.00  -> 0.00
597ddadd7711 add 0E+3  00.0   -> 0.0
598ddadd7712 add 0E+3  00.    -> 0
599ddadd7713 add 0E+3  00.E+1 -> 0E+1
600ddadd7714 add 0E+3  00.E+2 -> 0E+2
601ddadd7715 add 0E+3  00.E+3 -> 0E+3
602ddadd7716 add 0E+3  00.E+4 -> 0E+3
603ddadd7717 add 0E+3  00.E+5 -> 0E+3
604ddadd7718 add 0E+3  -00.0   -> 0.0
605ddadd7719 add 0E+3  -00.    -> 0
606ddadd7731 add 0E+3  -00.E+1 -> 0E+1
607
608ddadd7720 add 00.00  0E+3  -> 0.00
609ddadd7721 add 00.0   0E+3  -> 0.0
610ddadd7722 add 00.    0E+3  -> 0
611ddadd7723 add 00.E+1 0E+3  -> 0E+1
612ddadd7724 add 00.E+2 0E+3  -> 0E+2
613ddadd7725 add 00.E+3 0E+3  -> 0E+3
614ddadd7726 add 00.E+4 0E+3  -> 0E+3
615ddadd7727 add 00.E+5 0E+3  -> 0E+3
616ddadd7728 add -00.00 0E+3  -> 0.00
617ddadd7729 add -00.0  0E+3  -> 0.0
618ddadd7730 add -00.   0E+3  -> 0
619
620ddadd7732 add  0     0     ->  0
621ddadd7733 add  0    -0     ->  0
622ddadd7734 add -0     0     ->  0
623ddadd7735 add -0    -0     -> -0     -- IEEE 854 special case
624
625ddadd7736 add  1    -1     ->  0
626ddadd7737 add -1    -1     -> -2
627ddadd7738 add  1     1     ->  2
628ddadd7739 add -1     1     ->  0
629
630ddadd7741 add  0    -1     -> -1
631ddadd7742 add -0    -1     -> -1
632ddadd7743 add  0     1     ->  1
633ddadd7744 add -0     1     ->  1
634ddadd7745 add -1     0     -> -1
635ddadd7746 add -1    -0     -> -1
636ddadd7747 add  1     0     ->  1
637ddadd7748 add  1    -0     ->  1
638
639ddadd7751 add  0.0  -1     -> -1.0
640ddadd7752 add -0.0  -1     -> -1.0
641ddadd7753 add  0.0   1     ->  1.0
642ddadd7754 add -0.0   1     ->  1.0
643ddadd7755 add -1.0   0     -> -1.0
644ddadd7756 add -1.0  -0     -> -1.0
645ddadd7757 add  1.0   0     ->  1.0
646ddadd7758 add  1.0  -0     ->  1.0
647
648ddadd7761 add  0    -1.0   -> -1.0
649ddadd7762 add -0    -1.0   -> -1.0
650ddadd7763 add  0     1.0   ->  1.0
651ddadd7764 add -0     1.0   ->  1.0
652ddadd7765 add -1     0.0   -> -1.0
653ddadd7766 add -1    -0.0   -> -1.0
654ddadd7767 add  1     0.0   ->  1.0
655ddadd7768 add  1    -0.0   ->  1.0
656
657ddadd7771 add  0.0  -1.0   -> -1.0
658ddadd7772 add -0.0  -1.0   -> -1.0
659ddadd7773 add  0.0   1.0   ->  1.0
660ddadd7774 add -0.0   1.0   ->  1.0
661ddadd7775 add -1.0   0.0   -> -1.0
662ddadd7776 add -1.0  -0.0   -> -1.0
663ddadd7777 add  1.0   0.0   ->  1.0
664ddadd7778 add  1.0  -0.0   ->  1.0
665
666-- Specials
667ddadd7780 add -Inf  -Inf   -> -Infinity
668ddadd7781 add -Inf  -1000  -> -Infinity
669ddadd7782 add -Inf  -1     -> -Infinity
670ddadd7783 add -Inf  -0     -> -Infinity
671ddadd7784 add -Inf   0     -> -Infinity
672ddadd7785 add -Inf   1     -> -Infinity
673ddadd7786 add -Inf   1000  -> -Infinity
674ddadd7787 add -1000 -Inf   -> -Infinity
675ddadd7788 add -Inf  -Inf   -> -Infinity
676ddadd7789 add -1    -Inf   -> -Infinity
677ddadd7790 add -0    -Inf   -> -Infinity
678ddadd7791 add  0    -Inf   -> -Infinity
679ddadd7792 add  1    -Inf   -> -Infinity
680ddadd7793 add  1000 -Inf   -> -Infinity
681ddadd7794 add  Inf  -Inf   ->  NaN  Invalid_operation
682
683ddadd7800 add  Inf  -Inf   ->  NaN  Invalid_operation
684ddadd7801 add  Inf  -1000  ->  Infinity
685ddadd7802 add  Inf  -1     ->  Infinity
686ddadd7803 add  Inf  -0     ->  Infinity
687ddadd7804 add  Inf   0     ->  Infinity
688ddadd7805 add  Inf   1     ->  Infinity
689ddadd7806 add  Inf   1000  ->  Infinity
690ddadd7807 add  Inf   Inf   ->  Infinity
691ddadd7808 add -1000  Inf   ->  Infinity
692ddadd7809 add -Inf   Inf   ->  NaN  Invalid_operation
693ddadd7810 add -1     Inf   ->  Infinity
694ddadd7811 add -0     Inf   ->  Infinity
695ddadd7812 add  0     Inf   ->  Infinity
696ddadd7813 add  1     Inf   ->  Infinity
697ddadd7814 add  1000  Inf   ->  Infinity
698ddadd7815 add  Inf   Inf   ->  Infinity
699
700ddadd7821 add  NaN -Inf    ->  NaN
701ddadd7822 add  NaN -1000   ->  NaN
702ddadd7823 add  NaN -1      ->  NaN
703ddadd7824 add  NaN -0      ->  NaN
704ddadd7825 add  NaN  0      ->  NaN
705ddadd7826 add  NaN  1      ->  NaN
706ddadd7827 add  NaN  1000   ->  NaN
707ddadd7828 add  NaN  Inf    ->  NaN
708ddadd7829 add  NaN  NaN    ->  NaN
709ddadd7830 add -Inf  NaN    ->  NaN
710ddadd7831 add -1000 NaN    ->  NaN
711ddadd7832 add -1    NaN    ->  NaN
712ddadd7833 add -0    NaN    ->  NaN
713ddadd7834 add  0    NaN    ->  NaN
714ddadd7835 add  1    NaN    ->  NaN
715ddadd7836 add  1000 NaN    ->  NaN
716ddadd7837 add  Inf  NaN    ->  NaN
717
718ddadd7841 add  sNaN -Inf   ->  NaN  Invalid_operation
719ddadd7842 add  sNaN -1000  ->  NaN  Invalid_operation
720ddadd7843 add  sNaN -1     ->  NaN  Invalid_operation
721ddadd7844 add  sNaN -0     ->  NaN  Invalid_operation
722ddadd7845 add  sNaN  0     ->  NaN  Invalid_operation
723ddadd7846 add  sNaN  1     ->  NaN  Invalid_operation
724ddadd7847 add  sNaN  1000  ->  NaN  Invalid_operation
725ddadd7848 add  sNaN  NaN   ->  NaN  Invalid_operation
726ddadd7849 add  sNaN sNaN   ->  NaN  Invalid_operation
727ddadd7850 add  NaN  sNaN   ->  NaN  Invalid_operation
728ddadd7851 add -Inf  sNaN   ->  NaN  Invalid_operation
729ddadd7852 add -1000 sNaN   ->  NaN  Invalid_operation
730ddadd7853 add -1    sNaN   ->  NaN  Invalid_operation
731ddadd7854 add -0    sNaN   ->  NaN  Invalid_operation
732ddadd7855 add  0    sNaN   ->  NaN  Invalid_operation
733ddadd7856 add  1    sNaN   ->  NaN  Invalid_operation
734ddadd7857 add  1000 sNaN   ->  NaN  Invalid_operation
735ddadd7858 add  Inf  sNaN   ->  NaN  Invalid_operation
736ddadd7859 add  NaN  sNaN   ->  NaN  Invalid_operation
737
738-- propagating NaNs
739ddadd7861 add  NaN1   -Inf    ->  NaN1
740ddadd7862 add +NaN2   -1000   ->  NaN2
741ddadd7863 add  NaN3    1000   ->  NaN3
742ddadd7864 add  NaN4    Inf    ->  NaN4
743ddadd7865 add  NaN5   +NaN6   ->  NaN5
744ddadd7866 add -Inf     NaN7   ->  NaN7
745ddadd7867 add -1000    NaN8   ->  NaN8
746ddadd7868 add  1000    NaN9   ->  NaN9
747ddadd7869 add  Inf    +NaN10  ->  NaN10
748ddadd7871 add  sNaN11  -Inf   ->  NaN11  Invalid_operation
749ddadd7872 add  sNaN12  -1000  ->  NaN12  Invalid_operation
750ddadd7873 add  sNaN13   1000  ->  NaN13  Invalid_operation
751ddadd7874 add  sNaN14   NaN17 ->  NaN14  Invalid_operation
752ddadd7875 add  sNaN15  sNaN18 ->  NaN15  Invalid_operation
753ddadd7876 add  NaN16   sNaN19 ->  NaN19  Invalid_operation
754ddadd7877 add -Inf    +sNaN20 ->  NaN20  Invalid_operation
755ddadd7878 add -1000    sNaN21 ->  NaN21  Invalid_operation
756ddadd7879 add  1000    sNaN22 ->  NaN22  Invalid_operation
757ddadd7880 add  Inf     sNaN23 ->  NaN23  Invalid_operation
758ddadd7881 add +NaN25  +sNaN24 ->  NaN24  Invalid_operation
759ddadd7882 add -NaN26    NaN28 -> -NaN26
760ddadd7883 add -sNaN27  sNaN29 -> -NaN27  Invalid_operation
761ddadd7884 add  1000    -NaN30 -> -NaN30
762ddadd7885 add  1000   -sNaN31 -> -NaN31  Invalid_operation
763
764-- Here we explore near the boundary of rounding a subnormal to Nmin
765ddadd7575 add  1E-383 -1E-398 ->  9.99999999999999E-384  Subnormal
766ddadd7576 add -1E-383 +1E-398 -> -9.99999999999999E-384  Subnormal
767
768-- and another curious case
769ddadd7577 add 7.000000000000E-385 -1.00000E-391 -> 6.999999000000E-385 Subnormal
770
771-- check overflow edge case
772--               1234567890123456
773ddadd7972 apply   9.999999999999999E+384         -> 9.999999999999999E+384
774ddadd7973 add     9.999999999999999E+384  1      -> 9.999999999999999E+384 Inexact Rounded
775ddadd7974 add      9999999999999999E+369  1      -> 9.999999999999999E+384 Inexact Rounded
776ddadd7975 add      9999999999999999E+369  1E+369  -> Infinity Overflow Inexact Rounded
777ddadd7976 add      9999999999999999E+369  9E+368  -> Infinity Overflow Inexact Rounded
778ddadd7977 add      9999999999999999E+369  8E+368  -> Infinity Overflow Inexact Rounded
779ddadd7978 add      9999999999999999E+369  7E+368  -> Infinity Overflow Inexact Rounded
780ddadd7979 add      9999999999999999E+369  6E+368  -> Infinity Overflow Inexact Rounded
781ddadd7980 add      9999999999999999E+369  5E+368  -> Infinity Overflow Inexact Rounded
782ddadd7981 add      9999999999999999E+369  4E+368  -> 9.999999999999999E+384 Inexact Rounded
783ddadd7982 add      9999999999999999E+369  3E+368  -> 9.999999999999999E+384 Inexact Rounded
784ddadd7983 add      9999999999999999E+369  2E+368  -> 9.999999999999999E+384 Inexact Rounded
785ddadd7984 add      9999999999999999E+369  1E+368  -> 9.999999999999999E+384 Inexact Rounded
786
787ddadd7985 apply  -9.999999999999999E+384         -> -9.999999999999999E+384
788ddadd7986 add    -9.999999999999999E+384 -1      -> -9.999999999999999E+384 Inexact Rounded
789ddadd7987 add     -9999999999999999E+369 -1      -> -9.999999999999999E+384 Inexact Rounded
790ddadd7988 add     -9999999999999999E+369 -1E+369  -> -Infinity Overflow Inexact Rounded
791ddadd7989 add     -9999999999999999E+369 -9E+368  -> -Infinity Overflow Inexact Rounded
792ddadd7990 add     -9999999999999999E+369 -8E+368  -> -Infinity Overflow Inexact Rounded
793ddadd7991 add     -9999999999999999E+369 -7E+368  -> -Infinity Overflow Inexact Rounded
794ddadd7992 add     -9999999999999999E+369 -6E+368  -> -Infinity Overflow Inexact Rounded
795ddadd7993 add     -9999999999999999E+369 -5E+368  -> -Infinity Overflow Inexact Rounded
796ddadd7994 add     -9999999999999999E+369 -4E+368  -> -9.999999999999999E+384 Inexact Rounded
797ddadd7995 add     -9999999999999999E+369 -3E+368  -> -9.999999999999999E+384 Inexact Rounded
798ddadd7996 add     -9999999999999999E+369 -2E+368  -> -9.999999999999999E+384 Inexact Rounded
799ddadd7997 add     -9999999999999999E+369 -1E+368  -> -9.999999999999999E+384 Inexact Rounded
800
801-- And for round down full and subnormal results
802rounding:     down
803ddadd71100 add 1e+2 -1e-383    -> 99.99999999999999 Rounded Inexact
804ddadd71101 add 1e+1 -1e-383    -> 9.999999999999999  Rounded Inexact
805ddadd71103 add   +1 -1e-383    -> 0.9999999999999999  Rounded Inexact
806ddadd71104 add 1e-1 -1e-383    -> 0.09999999999999999  Rounded Inexact
807ddadd71105 add 1e-2 -1e-383    -> 0.009999999999999999  Rounded Inexact
808ddadd71106 add 1e-3 -1e-383    -> 0.0009999999999999999  Rounded Inexact
809ddadd71107 add 1e-4 -1e-383    -> 0.00009999999999999999  Rounded Inexact
810ddadd71108 add 1e-5 -1e-383    -> 0.000009999999999999999  Rounded Inexact
811ddadd71109 add 1e-6 -1e-383    -> 9.999999999999999E-7  Rounded Inexact
812
813rounding:     ceiling
814ddadd71110 add -1e+2 +1e-383   -> -99.99999999999999 Rounded Inexact
815ddadd71111 add -1e+1 +1e-383   -> -9.999999999999999  Rounded Inexact
816ddadd71113 add    -1 +1e-383   -> -0.9999999999999999  Rounded Inexact
817ddadd71114 add -1e-1 +1e-383   -> -0.09999999999999999  Rounded Inexact
818ddadd71115 add -1e-2 +1e-383   -> -0.009999999999999999  Rounded Inexact
819ddadd71116 add -1e-3 +1e-383   -> -0.0009999999999999999  Rounded Inexact
820ddadd71117 add -1e-4 +1e-383   -> -0.00009999999999999999  Rounded Inexact
821ddadd71118 add -1e-5 +1e-383   -> -0.000009999999999999999  Rounded Inexact
822ddadd71119 add -1e-6 +1e-383   -> -9.999999999999999E-7  Rounded Inexact
823
824-- tests based on Gunnar Degnbol's edge case
825rounding:     half_even
826
827ddadd71300 add 1E16  -0.5                 ->  1.000000000000000E+16 Inexact Rounded
828ddadd71310 add 1E16  -0.51                ->  9999999999999999      Inexact Rounded
829ddadd71311 add 1E16  -0.501               ->  9999999999999999      Inexact Rounded
830ddadd71312 add 1E16  -0.5001              ->  9999999999999999      Inexact Rounded
831ddadd71313 add 1E16  -0.50001             ->  9999999999999999      Inexact Rounded
832ddadd71314 add 1E16  -0.500001            ->  9999999999999999      Inexact Rounded
833ddadd71315 add 1E16  -0.5000001           ->  9999999999999999      Inexact Rounded
834ddadd71316 add 1E16  -0.50000001          ->  9999999999999999      Inexact Rounded
835ddadd71317 add 1E16  -0.500000001         ->  9999999999999999      Inexact Rounded
836ddadd71318 add 1E16  -0.5000000001        ->  9999999999999999      Inexact Rounded
837ddadd71319 add 1E16  -0.50000000001       ->  9999999999999999      Inexact Rounded
838ddadd71320 add 1E16  -0.500000000001      ->  9999999999999999      Inexact Rounded
839ddadd71321 add 1E16  -0.5000000000001     ->  9999999999999999      Inexact Rounded
840ddadd71322 add 1E16  -0.50000000000001    ->  9999999999999999      Inexact Rounded
841ddadd71323 add 1E16  -0.500000000000001   ->  9999999999999999      Inexact Rounded
842ddadd71324 add 1E16  -0.5000000000000001  ->  9999999999999999      Inexact Rounded
843ddadd71325 add 1E16  -0.5000000000000000  ->  1.000000000000000E+16 Inexact Rounded
844ddadd71326 add 1E16  -0.500000000000000   ->  1.000000000000000E+16 Inexact Rounded
845ddadd71327 add 1E16  -0.50000000000000    ->  1.000000000000000E+16 Inexact Rounded
846ddadd71328 add 1E16  -0.5000000000000     ->  1.000000000000000E+16 Inexact Rounded
847ddadd71329 add 1E16  -0.500000000000      ->  1.000000000000000E+16 Inexact Rounded
848ddadd71330 add 1E16  -0.50000000000       ->  1.000000000000000E+16 Inexact Rounded
849ddadd71331 add 1E16  -0.5000000000        ->  1.000000000000000E+16 Inexact Rounded
850ddadd71332 add 1E16  -0.500000000         ->  1.000000000000000E+16 Inexact Rounded
851ddadd71333 add 1E16  -0.50000000          ->  1.000000000000000E+16 Inexact Rounded
852ddadd71334 add 1E16  -0.5000000           ->  1.000000000000000E+16 Inexact Rounded
853ddadd71335 add 1E16  -0.500000            ->  1.000000000000000E+16 Inexact Rounded
854ddadd71336 add 1E16  -0.50000             ->  1.000000000000000E+16 Inexact Rounded
855ddadd71337 add 1E16  -0.5000              ->  1.000000000000000E+16 Inexact Rounded
856ddadd71338 add 1E16  -0.500               ->  1.000000000000000E+16 Inexact Rounded
857ddadd71339 add 1E16  -0.50                ->  1.000000000000000E+16 Inexact Rounded
858
859ddadd71340 add 1E16  -5000000.000010001   ->  9999999995000000      Inexact Rounded
860ddadd71341 add 1E16  -5000000.000000001   ->  9999999995000000      Inexact Rounded
861
862ddadd71349 add 9999999999999999 0.4                 ->  9999999999999999      Inexact Rounded
863ddadd71350 add 9999999999999999 0.49                ->  9999999999999999      Inexact Rounded
864ddadd71351 add 9999999999999999 0.499               ->  9999999999999999      Inexact Rounded
865ddadd71352 add 9999999999999999 0.4999              ->  9999999999999999      Inexact Rounded
866ddadd71353 add 9999999999999999 0.49999             ->  9999999999999999      Inexact Rounded
867ddadd71354 add 9999999999999999 0.499999            ->  9999999999999999      Inexact Rounded
868ddadd71355 add 9999999999999999 0.4999999           ->  9999999999999999      Inexact Rounded
869ddadd71356 add 9999999999999999 0.49999999          ->  9999999999999999      Inexact Rounded
870ddadd71357 add 9999999999999999 0.499999999         ->  9999999999999999      Inexact Rounded
871ddadd71358 add 9999999999999999 0.4999999999        ->  9999999999999999      Inexact Rounded
872ddadd71359 add 9999999999999999 0.49999999999       ->  9999999999999999      Inexact Rounded
873ddadd71360 add 9999999999999999 0.499999999999      ->  9999999999999999      Inexact Rounded
874ddadd71361 add 9999999999999999 0.4999999999999     ->  9999999999999999      Inexact Rounded
875ddadd71362 add 9999999999999999 0.49999999999999    ->  9999999999999999      Inexact Rounded
876ddadd71363 add 9999999999999999 0.499999999999999   ->  9999999999999999      Inexact Rounded
877ddadd71364 add 9999999999999999 0.4999999999999999  ->  9999999999999999      Inexact Rounded
878ddadd71365 add 9999999999999999 0.5000000000000000  ->  1.000000000000000E+16 Inexact Rounded
879ddadd71367 add 9999999999999999 0.500000000000000   ->  1.000000000000000E+16 Inexact Rounded
880ddadd71368 add 9999999999999999 0.50000000000000    ->  1.000000000000000E+16 Inexact Rounded
881ddadd71369 add 9999999999999999 0.5000000000000     ->  1.000000000000000E+16 Inexact Rounded
882ddadd71370 add 9999999999999999 0.500000000000      ->  1.000000000000000E+16 Inexact Rounded
883ddadd71371 add 9999999999999999 0.50000000000       ->  1.000000000000000E+16 Inexact Rounded
884ddadd71372 add 9999999999999999 0.5000000000        ->  1.000000000000000E+16 Inexact Rounded
885ddadd71373 add 9999999999999999 0.500000000         ->  1.000000000000000E+16 Inexact Rounded
886ddadd71374 add 9999999999999999 0.50000000          ->  1.000000000000000E+16 Inexact Rounded
887ddadd71375 add 9999999999999999 0.5000000           ->  1.000000000000000E+16 Inexact Rounded
888ddadd71376 add 9999999999999999 0.500000            ->  1.000000000000000E+16 Inexact Rounded
889ddadd71377 add 9999999999999999 0.50000             ->  1.000000000000000E+16 Inexact Rounded
890ddadd71378 add 9999999999999999 0.5000              ->  1.000000000000000E+16 Inexact Rounded
891ddadd71379 add 9999999999999999 0.500               ->  1.000000000000000E+16 Inexact Rounded
892ddadd71380 add 9999999999999999 0.50                ->  1.000000000000000E+16 Inexact Rounded
893ddadd71381 add 9999999999999999 0.5                 ->  1.000000000000000E+16 Inexact Rounded
894ddadd71382 add 9999999999999999 0.5000000000000001  ->  1.000000000000000E+16 Inexact Rounded
895ddadd71383 add 9999999999999999 0.500000000000001   ->  1.000000000000000E+16 Inexact Rounded
896ddadd71384 add 9999999999999999 0.50000000000001    ->  1.000000000000000E+16 Inexact Rounded
897ddadd71385 add 9999999999999999 0.5000000000001     ->  1.000000000000000E+16 Inexact Rounded
898ddadd71386 add 9999999999999999 0.500000000001      ->  1.000000000000000E+16 Inexact Rounded
899ddadd71387 add 9999999999999999 0.50000000001       ->  1.000000000000000E+16 Inexact Rounded
900ddadd71388 add 9999999999999999 0.5000000001        ->  1.000000000000000E+16 Inexact Rounded
901ddadd71389 add 9999999999999999 0.500000001         ->  1.000000000000000E+16 Inexact Rounded
902ddadd71390 add 9999999999999999 0.50000001          ->  1.000000000000000E+16 Inexact Rounded
903ddadd71391 add 9999999999999999 0.5000001           ->  1.000000000000000E+16 Inexact Rounded
904ddadd71392 add 9999999999999999 0.500001            ->  1.000000000000000E+16 Inexact Rounded
905ddadd71393 add 9999999999999999 0.50001             ->  1.000000000000000E+16 Inexact Rounded
906ddadd71394 add 9999999999999999 0.5001              ->  1.000000000000000E+16 Inexact Rounded
907ddadd71395 add 9999999999999999 0.501               ->  1.000000000000000E+16 Inexact Rounded
908ddadd71396 add 9999999999999999 0.51                ->  1.000000000000000E+16 Inexact Rounded
909
910-- More GD edge cases, where difference between the unadjusted
911-- exponents is larger than the maximum precision and one side is 0
912ddadd71420 add  0 1.123456789012345     -> 1.123456789012345
913ddadd71421 add  0 1.123456789012345E-1  -> 0.1123456789012345
914ddadd71422 add  0 1.123456789012345E-2  -> 0.01123456789012345
915ddadd71423 add  0 1.123456789012345E-3  -> 0.001123456789012345
916ddadd71424 add  0 1.123456789012345E-4  -> 0.0001123456789012345
917ddadd71425 add  0 1.123456789012345E-5  -> 0.00001123456789012345
918ddadd71426 add  0 1.123456789012345E-6  -> 0.000001123456789012345
919ddadd71427 add  0 1.123456789012345E-7  -> 1.123456789012345E-7
920ddadd71428 add  0 1.123456789012345E-8  -> 1.123456789012345E-8
921ddadd71429 add  0 1.123456789012345E-9  -> 1.123456789012345E-9
922ddadd71430 add  0 1.123456789012345E-10 -> 1.123456789012345E-10
923ddadd71431 add  0 1.123456789012345E-11 -> 1.123456789012345E-11
924ddadd71432 add  0 1.123456789012345E-12 -> 1.123456789012345E-12
925ddadd71433 add  0 1.123456789012345E-13 -> 1.123456789012345E-13
926ddadd71434 add  0 1.123456789012345E-14 -> 1.123456789012345E-14
927ddadd71435 add  0 1.123456789012345E-15 -> 1.123456789012345E-15
928ddadd71436 add  0 1.123456789012345E-16 -> 1.123456789012345E-16
929ddadd71437 add  0 1.123456789012345E-17 -> 1.123456789012345E-17
930ddadd71438 add  0 1.123456789012345E-18 -> 1.123456789012345E-18
931ddadd71439 add  0 1.123456789012345E-19 -> 1.123456789012345E-19
932
933-- same, reversed 0
934ddadd71440 add 1.123456789012345     0 -> 1.123456789012345
935ddadd71441 add 1.123456789012345E-1  0 -> 0.1123456789012345
936ddadd71442 add 1.123456789012345E-2  0 -> 0.01123456789012345
937ddadd71443 add 1.123456789012345E-3  0 -> 0.001123456789012345
938ddadd71444 add 1.123456789012345E-4  0 -> 0.0001123456789012345
939ddadd71445 add 1.123456789012345E-5  0 -> 0.00001123456789012345
940ddadd71446 add 1.123456789012345E-6  0 -> 0.000001123456789012345
941ddadd71447 add 1.123456789012345E-7  0 -> 1.123456789012345E-7
942ddadd71448 add 1.123456789012345E-8  0 -> 1.123456789012345E-8
943ddadd71449 add 1.123456789012345E-9  0 -> 1.123456789012345E-9
944ddadd71450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10
945ddadd71451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11
946ddadd71452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12
947ddadd71453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13
948ddadd71454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14
949ddadd71455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15
950ddadd71456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16
951ddadd71457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17
952ddadd71458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18
953ddadd71459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19
954
955-- same, Es on the 0
956ddadd71460 add 1.123456789012345  0E-0   -> 1.123456789012345
957ddadd71461 add 1.123456789012345  0E-1   -> 1.123456789012345
958ddadd71462 add 1.123456789012345  0E-2   -> 1.123456789012345
959ddadd71463 add 1.123456789012345  0E-3   -> 1.123456789012345
960ddadd71464 add 1.123456789012345  0E-4   -> 1.123456789012345
961ddadd71465 add 1.123456789012345  0E-5   -> 1.123456789012345
962ddadd71466 add 1.123456789012345  0E-6   -> 1.123456789012345
963ddadd71467 add 1.123456789012345  0E-7   -> 1.123456789012345
964ddadd71468 add 1.123456789012345  0E-8   -> 1.123456789012345
965ddadd71469 add 1.123456789012345  0E-9   -> 1.123456789012345
966ddadd71470 add 1.123456789012345  0E-10  -> 1.123456789012345
967ddadd71471 add 1.123456789012345  0E-11  -> 1.123456789012345
968ddadd71472 add 1.123456789012345  0E-12  -> 1.123456789012345
969ddadd71473 add 1.123456789012345  0E-13  -> 1.123456789012345
970ddadd71474 add 1.123456789012345  0E-14  -> 1.123456789012345
971ddadd71475 add 1.123456789012345  0E-15  -> 1.123456789012345
972-- next four flag Rounded because the 0 extends the result
973ddadd71476 add 1.123456789012345  0E-16  -> 1.123456789012345 Rounded
974ddadd71477 add 1.123456789012345  0E-17  -> 1.123456789012345 Rounded
975ddadd71478 add 1.123456789012345  0E-18  -> 1.123456789012345 Rounded
976ddadd71479 add 1.123456789012345  0E-19  -> 1.123456789012345 Rounded
977
978-- sum of two opposite-sign operands is exactly 0 and floor => -0
979rounding:    half_up
980-- exact zeros from zeros
981ddadd71500 add  0        0E-19  ->  0E-19
982ddadd71501 add -0        0E-19  ->  0E-19
983ddadd71502 add  0       -0E-19  ->  0E-19
984ddadd71503 add -0       -0E-19  -> -0E-19
985-- exact zeros from non-zeros
986ddadd71511 add -11      11    ->  0
987ddadd71512 add  11     -11    ->  0
988
989rounding:    half_down
990-- exact zeros from zeros
991ddadd71520 add  0        0E-19  ->  0E-19
992ddadd71521 add -0        0E-19  ->  0E-19
993ddadd71522 add  0       -0E-19  ->  0E-19
994ddadd71523 add -0       -0E-19  -> -0E-19
995-- exact zeros from non-zeros
996ddadd71531 add -11      11    ->  0
997ddadd71532 add  11     -11    ->  0
998
999rounding:    half_even
1000-- exact zeros from zeros
1001ddadd71540 add  0        0E-19  ->  0E-19
1002ddadd71541 add -0        0E-19  ->  0E-19
1003ddadd71542 add  0       -0E-19  ->  0E-19
1004ddadd71543 add -0       -0E-19  -> -0E-19
1005-- exact zeros from non-zeros
1006ddadd71551 add -11      11    ->  0
1007ddadd71552 add  11     -11    ->  0
1008
1009rounding:    up
1010-- exact zeros from zeros
1011ddadd71560 add  0        0E-19  ->  0E-19
1012ddadd71561 add -0        0E-19  ->  0E-19
1013ddadd71562 add  0       -0E-19  ->  0E-19
1014ddadd71563 add -0       -0E-19  -> -0E-19
1015-- exact zeros from non-zeros
1016ddadd71571 add -11      11    ->  0
1017ddadd71572 add  11     -11    ->  0
1018
1019rounding:    down
1020-- exact zeros from zeros
1021ddadd71580 add  0        0E-19  ->  0E-19
1022ddadd71581 add -0        0E-19  ->  0E-19
1023ddadd71582 add  0       -0E-19  ->  0E-19
1024ddadd71583 add -0       -0E-19  -> -0E-19
1025-- exact zeros from non-zeros
1026ddadd71591 add -11      11    ->  0
1027ddadd71592 add  11     -11    ->  0
1028
1029rounding:    ceiling
1030-- exact zeros from zeros
1031ddadd71600 add  0        0E-19  ->  0E-19
1032ddadd71601 add -0        0E-19  ->  0E-19
1033ddadd71602 add  0       -0E-19  ->  0E-19
1034ddadd71603 add -0       -0E-19  -> -0E-19
1035-- exact zeros from non-zeros
1036ddadd71611 add -11      11    ->  0
1037ddadd71612 add  11     -11    ->  0
1038
1039-- and the extra-special ugly case; unusual minuses marked by -- *
1040rounding:    floor
1041-- exact zeros from zeros
1042ddadd71620 add  0        0E-19  ->  0E-19
1043ddadd71621 add -0        0E-19  -> -0E-19           -- *
1044ddadd71622 add  0       -0E-19  -> -0E-19           -- *
1045ddadd71623 add -0       -0E-19  -> -0E-19
1046-- exact zeros from non-zeros
1047ddadd71631 add -11      11    ->  -0                -- *
1048ddadd71632 add  11     -11    ->  -0                -- *
1049
1050-- Examples from SQL proposal (Krishna Kulkarni)
1051ddadd71701 add 130E-2    120E-2    -> 2.50
1052ddadd71702 add 130E-2    12E-1     -> 2.50
1053ddadd71703 add 130E-2    1E0       -> 2.30
1054ddadd71704 add 1E2       1E4       -> 1.01E+4
1055ddadd71705 add 130E-2   -120E-2 -> 0.10
1056ddadd71706 add 130E-2   -12E-1  -> 0.10
1057ddadd71707 add 130E-2   -1E0    -> 0.30
1058ddadd71708 add 1E2      -1E4    -> -9.9E+3
1059
1060-- query from Vincent Kulandaisamy
1061rounding: ceiling
1062ddadd71801  add  7.8822773805862E+277    -5.1757503820663E-21 -> 7.882277380586200E+277 Inexact Rounded
1063ddadd71802  add  7.882277380586200E+277  12.341               -> 7.882277380586201E+277 Inexact Rounded
1064ddadd71803  add  7.882277380586201E+277  2.7270545046613E-31  -> 7.882277380586202E+277 Inexact Rounded
1065
1066ddadd71811  add                   12.341 -5.1757503820663E-21 -> 12.34100000000000      Inexact Rounded
1067ddadd71812  add        12.34100000000000 2.7270545046613E-31  -> 12.34100000000001      Inexact Rounded
1068ddadd71813  add        12.34100000000001 7.8822773805862E+277 -> 7.882277380586201E+277 Inexact Rounded
1069
1070-- Gappy coefficients; check residue handling even with full coefficient gap
1071rounding: half_even
1072
1073ddadd75001 add 1234567890123456 1      -> 1234567890123457
1074ddadd75002 add 1234567890123456 0.6    -> 1234567890123457  Inexact Rounded
1075ddadd75003 add 1234567890123456 0.06   -> 1234567890123456  Inexact Rounded
1076ddadd75004 add 1234567890123456 6E-3   -> 1234567890123456  Inexact Rounded
1077ddadd75005 add 1234567890123456 6E-4   -> 1234567890123456  Inexact Rounded
1078ddadd75006 add 1234567890123456 6E-5   -> 1234567890123456  Inexact Rounded
1079ddadd75007 add 1234567890123456 6E-6   -> 1234567890123456  Inexact Rounded
1080ddadd75008 add 1234567890123456 6E-7   -> 1234567890123456  Inexact Rounded
1081ddadd75009 add 1234567890123456 6E-8   -> 1234567890123456  Inexact Rounded
1082ddadd75010 add 1234567890123456 6E-9   -> 1234567890123456  Inexact Rounded
1083ddadd75011 add 1234567890123456 6E-10  -> 1234567890123456  Inexact Rounded
1084ddadd75012 add 1234567890123456 6E-11  -> 1234567890123456  Inexact Rounded
1085ddadd75013 add 1234567890123456 6E-12  -> 1234567890123456  Inexact Rounded
1086ddadd75014 add 1234567890123456 6E-13  -> 1234567890123456  Inexact Rounded
1087ddadd75015 add 1234567890123456 6E-14  -> 1234567890123456  Inexact Rounded
1088ddadd75016 add 1234567890123456 6E-15  -> 1234567890123456  Inexact Rounded
1089ddadd75017 add 1234567890123456 6E-16  -> 1234567890123456  Inexact Rounded
1090ddadd75018 add 1234567890123456 6E-17  -> 1234567890123456  Inexact Rounded
1091ddadd75019 add 1234567890123456 6E-18  -> 1234567890123456  Inexact Rounded
1092ddadd75020 add 1234567890123456 6E-19  -> 1234567890123456  Inexact Rounded
1093ddadd75021 add 1234567890123456 6E-20  -> 1234567890123456  Inexact Rounded
1094
1095-- widening second argument at gap
1096ddadd75030 add 12345678 1                       -> 12345679
1097ddadd75031 add 12345678 0.1                     -> 12345678.1
1098ddadd75032 add 12345678 0.12                    -> 12345678.12
1099ddadd75033 add 12345678 0.123                   -> 12345678.123
1100ddadd75034 add 12345678 0.1234                  -> 12345678.1234
1101ddadd75035 add 12345678 0.12345                 -> 12345678.12345
1102ddadd75036 add 12345678 0.123456                -> 12345678.123456
1103ddadd75037 add 12345678 0.1234567               -> 12345678.1234567
1104ddadd75038 add 12345678 0.12345678              -> 12345678.12345678
1105ddadd75039 add 12345678 0.123456789             -> 12345678.12345679 Inexact Rounded
1106ddadd75040 add 12345678 0.123456785             -> 12345678.12345678 Inexact Rounded
1107ddadd75041 add 12345678 0.1234567850            -> 12345678.12345678 Inexact Rounded
1108ddadd75042 add 12345678 0.1234567851            -> 12345678.12345679 Inexact Rounded
1109ddadd75043 add 12345678 0.12345678501           -> 12345678.12345679 Inexact Rounded
1110ddadd75044 add 12345678 0.123456785001          -> 12345678.12345679 Inexact Rounded
1111ddadd75045 add 12345678 0.1234567850001         -> 12345678.12345679 Inexact Rounded
1112ddadd75046 add 12345678 0.12345678500001        -> 12345678.12345679 Inexact Rounded
1113ddadd75047 add 12345678 0.123456785000001       -> 12345678.12345679 Inexact Rounded
1114ddadd75048 add 12345678 0.1234567850000001      -> 12345678.12345679 Inexact Rounded
1115ddadd75049 add 12345678 0.1234567850000000      -> 12345678.12345678 Inexact Rounded
1116--                               90123456
1117rounding: half_even
1118ddadd75050 add 12345678 0.0234567750000000      -> 12345678.02345678 Inexact Rounded
1119ddadd75051 add 12345678 0.0034567750000000      -> 12345678.00345678 Inexact Rounded
1120ddadd75052 add 12345678 0.0004567750000000      -> 12345678.00045678 Inexact Rounded
1121ddadd75053 add 12345678 0.0000567750000000      -> 12345678.00005678 Inexact Rounded
1122ddadd75054 add 12345678 0.0000067750000000      -> 12345678.00000678 Inexact Rounded
1123ddadd75055 add 12345678 0.0000007750000000      -> 12345678.00000078 Inexact Rounded
1124ddadd75056 add 12345678 0.0000000750000000      -> 12345678.00000008 Inexact Rounded
1125ddadd75057 add 12345678 0.0000000050000000      -> 12345678.00000000 Inexact Rounded
1126ddadd75060 add 12345678 0.0234567750000001      -> 12345678.02345678 Inexact Rounded
1127ddadd75061 add 12345678 0.0034567750000001      -> 12345678.00345678 Inexact Rounded
1128ddadd75062 add 12345678 0.0004567750000001      -> 12345678.00045678 Inexact Rounded
1129ddadd75063 add 12345678 0.0000567750000001      -> 12345678.00005678 Inexact Rounded
1130ddadd75064 add 12345678 0.0000067750000001      -> 12345678.00000678 Inexact Rounded
1131ddadd75065 add 12345678 0.0000007750000001      -> 12345678.00000078 Inexact Rounded
1132ddadd75066 add 12345678 0.0000000750000001      -> 12345678.00000008 Inexact Rounded
1133ddadd75067 add 12345678 0.0000000050000001      -> 12345678.00000001 Inexact Rounded
1134-- far-out residues (full coefficient gap is 16+15 digits)
1135rounding: up
1136ddadd75070 add 12345678 1E-8                    -> 12345678.00000001
1137ddadd75071 add 12345678 1E-9                    -> 12345678.00000001 Inexact Rounded
1138ddadd75072 add 12345678 1E-10                   -> 12345678.00000001 Inexact Rounded
1139ddadd75073 add 12345678 1E-11                   -> 12345678.00000001 Inexact Rounded
1140ddadd75074 add 12345678 1E-12                   -> 12345678.00000001 Inexact Rounded
1141ddadd75075 add 12345678 1E-13                   -> 12345678.00000001 Inexact Rounded
1142ddadd75076 add 12345678 1E-14                   -> 12345678.00000001 Inexact Rounded
1143ddadd75077 add 12345678 1E-15                   -> 12345678.00000001 Inexact Rounded
1144ddadd75078 add 12345678 1E-16                   -> 12345678.00000001 Inexact Rounded
1145ddadd75079 add 12345678 1E-17                   -> 12345678.00000001 Inexact Rounded
1146ddadd75080 add 12345678 1E-18                   -> 12345678.00000001 Inexact Rounded
1147ddadd75081 add 12345678 1E-19                   -> 12345678.00000001 Inexact Rounded
1148ddadd75082 add 12345678 1E-20                   -> 12345678.00000001 Inexact Rounded
1149ddadd75083 add 12345678 1E-25                   -> 12345678.00000001 Inexact Rounded
1150ddadd75084 add 12345678 1E-30                   -> 12345678.00000001 Inexact Rounded
1151ddadd75085 add 12345678 1E-31                   -> 12345678.00000001 Inexact Rounded
1152ddadd75086 add 12345678 1E-32                   -> 12345678.00000001 Inexact Rounded
1153ddadd75087 add 12345678 1E-33                   -> 12345678.00000001 Inexact Rounded
1154ddadd75088 add 12345678 1E-34                   -> 12345678.00000001 Inexact Rounded
1155ddadd75089 add 12345678 1E-35                   -> 12345678.00000001 Inexact Rounded
1156
1157-- Punit's
1158ddadd75100 add 1.000 -200.000                   -> -199.000
1159
1160-- Rounding swathe
1161rounding: half_even
1162ddadd81100 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
1163ddadd81101 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1164ddadd81102 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1165ddadd81103 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1166ddadd81104 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1167ddadd81105 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1168ddadd81106 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1169ddadd81107 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1170ddadd81108 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1171ddadd81109 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1172ddadd81120 add  9999999999999999E+369  9E+369  ->  Infinity Overflow  Inexact Rounded
1173ddadd81121 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded
1174
1175rounding: half_up
1176ddadd81200 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
1177ddadd81201 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1178ddadd81202 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1179ddadd81203 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1180ddadd81204 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1181ddadd81205 add  .2450    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1182ddadd81206 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1183ddadd81207 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1184ddadd81208 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1185ddadd81209 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1186ddadd81220 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
1187ddadd81221 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded
1188
1189rounding: half_down
1190ddadd81300 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
1191ddadd81301 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1192ddadd81302 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1193ddadd81303 add  .2350    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1194ddadd81304 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1195ddadd81305 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1196ddadd81306 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1197ddadd81307 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1198ddadd81308 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1199ddadd81309 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1200ddadd81320 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
1201ddadd81321 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded
1202
1203rounding: up
1204ddadd81400 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
1205ddadd81401 add  .2301    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1206ddadd81402 add  .2310    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1207ddadd81403 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1208ddadd81404 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1209ddadd81405 add  .2450    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1210ddadd81406 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1211ddadd81407 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1212ddadd81408 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1213ddadd81409 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1214ddadd81411 add -.2399   -12345678901234.00    -> -12345678901234.24  Inexact Rounded
1215ddadd81420 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
1216ddadd81421 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded
1217
1218rounding: down
1219ddadd81500 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
1220ddadd81501 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1221ddadd81502 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1222ddadd81503 add  .2350    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1223ddadd81504 add  .2351    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1224ddadd81505 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1225ddadd81506 add  .2451    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1226ddadd81507 add  .2360    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1227ddadd81508 add  .2370    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1228ddadd81509 add  .2399    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1229ddadd81511 add -.2399   -12345678901234.00    -> -12345678901234.23  Inexact Rounded
1230ddadd81520 add  9999999999999999E+369  9E+369 ->  9.999999999999999E+384 Overflow  Inexact Rounded
1231ddadd81521 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow  Inexact Rounded
1232
1233rounding: ceiling
1234ddadd81600 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
1235ddadd81601 add  .2301    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1236ddadd81602 add  .2310    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1237ddadd81603 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1238ddadd81604 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1239ddadd81605 add  .2450    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1240ddadd81606 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
1241ddadd81607 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1242ddadd81608 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1243ddadd81609 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1244ddadd81611 add -.2399   -12345678901234.00    -> -12345678901234.23  Inexact Rounded
1245ddadd81620 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
1246ddadd81621 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow  Inexact Rounded
1247
1248rounding: floor
1249ddadd81700 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
1250ddadd81701 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1251ddadd81702 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1252ddadd81703 add  .2350    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1253ddadd81704 add  .2351    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1254ddadd81705 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1255ddadd81706 add  .2451    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1256ddadd81707 add  .2360    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1257ddadd81708 add  .2370    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1258ddadd81709 add  .2399    12345678901234.00    ->  12345678901234.23  Inexact Rounded
1259ddadd81711 add -.2399   -12345678901234.00    -> -12345678901234.24  Inexact Rounded
1260ddadd81720 add  9999999999999999E+369  9E+369 ->  9.999999999999999E+384 Overflow  Inexact Rounded
1261ddadd81721 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded
1262
1263rounding: 05up
1264ddadd81800 add  .2000    12345678901234.00    ->  12345678901234.20  Rounded
1265ddadd81801 add  .2001    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1266ddadd81802 add  .2010    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1267ddadd81803 add  .2050    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1268ddadd81804 add  .2051    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1269ddadd81807 add  .2060    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1270ddadd81808 add  .2070    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1271ddadd81809 add  .2099    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1272ddadd81811 add -.2099   -12345678901234.00    -> -12345678901234.21  Inexact Rounded
1273ddadd81820 add  9999999999999999E+369  9E+369 ->  9.999999999999999E+384 Overflow  Inexact Rounded
1274ddadd81821 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow  Inexact Rounded
1275
1276ddadd81900 add  .2100    12345678901234.00    ->  12345678901234.21  Rounded
1277ddadd81901 add  .2101    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1278ddadd81902 add  .2110    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1279ddadd81903 add  .2150    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1280ddadd81904 add  .2151    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1281ddadd81907 add  .2160    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1282ddadd81908 add  .2170    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1283ddadd81909 add  .2199    12345678901234.00    ->  12345678901234.21  Inexact Rounded
1284ddadd81911 add -.2199   -12345678901234.00    -> -12345678901234.21  Inexact Rounded
1285
1286ddadd82000 add  .2400    12345678901234.00    ->  12345678901234.24  Rounded
1287ddadd82001 add  .2401    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1288ddadd82002 add  .2410    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1289ddadd82003 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1290ddadd82004 add  .2451    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1291ddadd82007 add  .2460    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1292ddadd82008 add  .2470    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1293ddadd82009 add  .2499    12345678901234.00    ->  12345678901234.24  Inexact Rounded
1294ddadd82011 add -.2499   -12345678901234.00    -> -12345678901234.24  Inexact Rounded
1295
1296ddadd82100 add  .2500    12345678901234.00    ->  12345678901234.25  Rounded
1297ddadd82101 add  .2501    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1298ddadd82102 add  .2510    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1299ddadd82103 add  .2550    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1300ddadd82104 add  .2551    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1301ddadd82107 add  .2560    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1302ddadd82108 add  .2570    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1303ddadd82109 add  .2599    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1304ddadd82111 add -.2599   -12345678901234.00    -> -12345678901234.26  Inexact Rounded
1305
1306ddadd82200 add  .2600    12345678901234.00    ->  12345678901234.26  Rounded
1307ddadd82201 add  .2601    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1308ddadd82202 add  .2610    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1309ddadd82203 add  .2650    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1310ddadd82204 add  .2651    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1311ddadd82207 add  .2660    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1312ddadd82208 add  .2670    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1313ddadd82209 add  .2699    12345678901234.00    ->  12345678901234.26  Inexact Rounded
1314ddadd82211 add -.2699   -12345678901234.00    -> -12345678901234.26  Inexact Rounded
1315
1316ddadd82300 add  .2900    12345678901234.00    ->  12345678901234.29  Rounded
1317ddadd82301 add  .2901    12345678901234.00    ->  12345678901234.29  Inexact Rounded
1318ddadd82302 add  .2910    12345678901234.00    ->  12345678901234.29  Inexact Rounded
1319ddadd82303 add  .2950    12345678901234.00    ->  12345678901234.29  Inexact Rounded
1320ddadd82304 add  .2951    12345678901234.00    ->  12345678901234.29  Inexact Rounded
1321ddadd82307 add  .2960    12345678901234.00    ->  12345678901234.29  Inexact Rounded
1322ddadd82308 add  .2970    12345678901234.00    ->  12345678901234.29  Inexact Rounded
1323ddadd82309 add  .2999    12345678901234.00    ->  12345678901234.29  Inexact Rounded
1324ddadd82311 add -.2999   -12345678901234.00    -> -12345678901234.29  Inexact Rounded
1325
1326-- Null tests
1327ddadd9990 add 10  # -> NaN Invalid_operation
1328ddadd9991 add  # 10 -> NaN Invalid_operation
1329