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 (a] uk.ibm.com -- 19 ------------------------------------------------------------------------ 20 version: 2.59 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 1329
