← Back to branch summary

~malept/ubuntu/lucid/python2.6/dev-dependency-fix

« back to all changes in this revision

Viewing changes to Lib/test/decimaltestdata/ddAdd.decTest

  • Committer: Bazaar Package Importer
  • Author(s): Matthias Klose
  • Date: 2009-02-13 12:51:00 UTC
  • Revision ID: james.westby@ubuntu.com-20090213125100-uufgcb9yeqzujpqw
Tags: upstream-2.6.1
Import upstream version 2.6.1

Show diffs side-by-side

added added

removed removed

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