Plan 9 from Bell Labs’s /usr/web/sources/contrib/jas/root/sys/lib/python2.7/test/decimaltestdata/ddAdd.decTest

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


------------------------------------------------------------------------
-- ddAdd.decTest -- decDouble addition                                --
-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
------------------------------------------------------------------------
-- Please see the document "General Decimal Arithmetic Testcases"     --
-- at http://www2.hursley.ibm.com/decimal for the description of      --
-- these testcases.                                                   --
--                                                                    --
-- These testcases are experimental ('beta' versions), and they       --
-- may contain errors.  They are offered on an as-is basis.  In       --
-- particular, achieving the same results as the tests here is not    --
-- a guarantee that an implementation complies with any Standard      --
-- or specification.  The tests are not exhaustive.                   --
--                                                                    --
-- Please send comments, suggestions, and corrections to the author:  --
--   Mike Cowlishaw, IBM Fellow                                       --
--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
--   mfc@uk.ibm.com                                                   --
------------------------------------------------------------------------
version: 2.59

-- This set of tests are for decDoubles only; all arguments are
-- representable in a decDouble
precision:   16
maxExponent: 384
minExponent: -383
extended:    1
clamp:       1
rounding:    half_even

-- [first group are 'quick confidence check']
ddadd001 add 1       1       ->  2
ddadd002 add 2       3       ->  5
ddadd003 add '5.75'  '3.3'   ->  9.05
ddadd004 add '5'     '-3'    ->  2
ddadd005 add '-5'    '-3'    ->  -8
ddadd006 add '-7'    '2.5'   ->  -4.5
ddadd007 add '0.7'   '0.3'   ->  1.0
ddadd008 add '1.25'  '1.25'  ->  2.50
ddadd009 add '1.23456789'  '1.00000000' -> '2.23456789'
ddadd010 add '1.23456789'  '1.00000011' -> '2.23456800'

--             1234567890123456      1234567890123456
ddadd011 add '0.4444444444444446'  '0.5555555555555555' -> '1.000000000000000' Inexact Rounded
ddadd012 add '0.4444444444444445'  '0.5555555555555555' -> '1.000000000000000' Rounded
ddadd013 add '0.4444444444444444'  '0.5555555555555555' -> '0.9999999999999999'
ddadd014 add   '4444444444444444' '0.49'   -> '4444444444444444' Inexact Rounded
ddadd015 add   '4444444444444444' '0.499'  -> '4444444444444444' Inexact Rounded
ddadd016 add   '4444444444444444' '0.4999' -> '4444444444444444' Inexact Rounded
ddadd017 add   '4444444444444444' '0.5000' -> '4444444444444444' Inexact Rounded
ddadd018 add   '4444444444444444' '0.5001' -> '4444444444444445' Inexact Rounded
ddadd019 add   '4444444444444444' '0.501'  -> '4444444444444445' Inexact Rounded
ddadd020 add   '4444444444444444' '0.51'   -> '4444444444444445' Inexact Rounded

ddadd021 add 0 1 -> 1
ddadd022 add 1 1 -> 2
ddadd023 add 2 1 -> 3
ddadd024 add 3 1 -> 4
ddadd025 add 4 1 -> 5
ddadd026 add 5 1 -> 6
ddadd027 add 6 1 -> 7
ddadd028 add 7 1 -> 8
ddadd029 add 8 1 -> 9
ddadd030 add 9 1 -> 10

-- some carrying effects
ddadd031 add '0.9998'  '0.0000' -> '0.9998'
ddadd032 add '0.9998'  '0.0001' -> '0.9999'
ddadd033 add '0.9998'  '0.0002' -> '1.0000'
ddadd034 add '0.9998'  '0.0003' -> '1.0001'

ddadd035 add '70'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
ddadd036 add '700'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
ddadd037 add '7000'  '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
ddadd038 add '70000'  '10000e+16' -> '1.000000000000001E+20' Inexact Rounded
ddadd039 add '700000'  '10000e+16' -> '1.000000000000007E+20' Rounded

-- symmetry:
ddadd040 add '10000e+16'  '70' -> '1.000000000000000E+20' Inexact Rounded
ddadd041 add '10000e+16'  '700' -> '1.000000000000000E+20' Inexact Rounded
ddadd042 add '10000e+16'  '7000' -> '1.000000000000000E+20' Inexact Rounded
ddadd044 add '10000e+16'  '70000' -> '1.000000000000001E+20' Inexact Rounded
ddadd045 add '10000e+16'  '700000' -> '1.000000000000007E+20' Rounded

-- same, without rounding
ddadd046 add '10000e+9'  '7' -> '10000000000007'
ddadd047 add '10000e+9'  '70' -> '10000000000070'
ddadd048 add '10000e+9'  '700' -> '10000000000700'
ddadd049 add '10000e+9'  '7000' -> '10000000007000'
ddadd050 add '10000e+9'  '70000' -> '10000000070000'
ddadd051 add '10000e+9'  '700000' -> '10000000700000'
ddadd052 add '10000e+9'  '7000000' -> '10000007000000'

-- examples from decarith
ddadd053 add '12' '7.00' -> '19.00'
ddadd054 add '1.3' '-1.07' -> '0.23'
ddadd055 add '1.3' '-1.30' -> '0.00'
ddadd056 add '1.3' '-2.07' -> '-0.77'
ddadd057 add '1E+2' '1E+4' -> '1.01E+4'

-- leading zero preservation
ddadd061 add 1 '0.0001' -> '1.0001'
ddadd062 add 1 '0.00001' -> '1.00001'
ddadd063 add 1 '0.000001' -> '1.000001'
ddadd064 add 1 '0.0000001' -> '1.0000001'
ddadd065 add 1 '0.00000001' -> '1.00000001'

-- some funny zeros [in case of bad signum]
ddadd070 add 1  0    -> 1
ddadd071 add 1 0.    -> 1
ddadd072 add 1  .0   -> 1.0
ddadd073 add 1 0.0   -> 1.0
ddadd074 add 1 0.00  -> 1.00
ddadd075 add  0  1   -> 1
ddadd076 add 0.  1   -> 1
ddadd077 add  .0 1   -> 1.0
ddadd078 add 0.0 1   -> 1.0
ddadd079 add 0.00 1  -> 1.00

-- some carries
ddadd080 add 999999998 1  -> 999999999
ddadd081 add 999999999 1  -> 1000000000
ddadd082 add  99999999 1  -> 100000000
ddadd083 add   9999999 1  -> 10000000
ddadd084 add    999999 1  -> 1000000
ddadd085 add     99999 1  -> 100000
ddadd086 add      9999 1  -> 10000
ddadd087 add       999 1  -> 1000
ddadd088 add        99 1  -> 100
ddadd089 add         9 1  -> 10


-- more LHS swaps
ddadd090 add '-56267E-10'   0 ->  '-0.0000056267'
ddadd091 add '-56267E-6'    0 ->  '-0.056267'
ddadd092 add '-56267E-5'    0 ->  '-0.56267'
ddadd093 add '-56267E-4'    0 ->  '-5.6267'
ddadd094 add '-56267E-3'    0 ->  '-56.267'
ddadd095 add '-56267E-2'    0 ->  '-562.67'
ddadd096 add '-56267E-1'    0 ->  '-5626.7'
ddadd097 add '-56267E-0'    0 ->  '-56267'
ddadd098 add '-5E-10'       0 ->  '-5E-10'
ddadd099 add '-5E-7'        0 ->  '-5E-7'
ddadd100 add '-5E-6'        0 ->  '-0.000005'
ddadd101 add '-5E-5'        0 ->  '-0.00005'
ddadd102 add '-5E-4'        0 ->  '-0.0005'
ddadd103 add '-5E-1'        0 ->  '-0.5'
ddadd104 add '-5E0'         0 ->  '-5'
ddadd105 add '-5E1'         0 ->  '-50'
ddadd106 add '-5E5'         0 ->  '-500000'
ddadd107 add '-5E15'        0 ->  '-5000000000000000'
ddadd108 add '-5E16'        0 ->  '-5.000000000000000E+16'  Rounded
ddadd109 add '-5E17'        0 ->  '-5.000000000000000E+17'  Rounded
ddadd110 add '-5E18'        0 ->  '-5.000000000000000E+18'  Rounded
ddadd111 add '-5E100'       0 ->  '-5.000000000000000E+100' Rounded

-- more RHS swaps
ddadd113 add 0  '-56267E-10' ->  '-0.0000056267'
ddadd114 add 0  '-56267E-6'  ->  '-0.056267'
ddadd116 add 0  '-56267E-5'  ->  '-0.56267'
ddadd117 add 0  '-56267E-4'  ->  '-5.6267'
ddadd119 add 0  '-56267E-3'  ->  '-56.267'
ddadd120 add 0  '-56267E-2'  ->  '-562.67'
ddadd121 add 0  '-56267E-1'  ->  '-5626.7'
ddadd122 add 0  '-56267E-0'  ->  '-56267'
ddadd123 add 0  '-5E-10'     ->  '-5E-10'
ddadd124 add 0  '-5E-7'      ->  '-5E-7'
ddadd125 add 0  '-5E-6'      ->  '-0.000005'
ddadd126 add 0  '-5E-5'      ->  '-0.00005'
ddadd127 add 0  '-5E-4'      ->  '-0.0005'
ddadd128 add 0  '-5E-1'      ->  '-0.5'
ddadd129 add 0  '-5E0'       ->  '-5'
ddadd130 add 0  '-5E1'       ->  '-50'
ddadd131 add 0  '-5E5'       ->  '-500000'
ddadd132 add 0  '-5E15'      ->  '-5000000000000000'
ddadd133 add 0  '-5E16'      ->  '-5.000000000000000E+16'   Rounded
ddadd134 add 0  '-5E17'      ->  '-5.000000000000000E+17'   Rounded
ddadd135 add 0  '-5E18'      ->  '-5.000000000000000E+18'   Rounded
ddadd136 add 0  '-5E100'     ->  '-5.000000000000000E+100'  Rounded

-- related
ddadd137 add  1  '0E-19'      ->  '1.000000000000000'  Rounded
ddadd138 add -1  '0E-19'      ->  '-1.000000000000000' Rounded
ddadd139 add '0E-19' 1        ->  '1.000000000000000'  Rounded
ddadd140 add '0E-19' -1       ->  '-1.000000000000000' Rounded
ddadd141 add 1E+11   0.0000   ->  '100000000000.0000'
ddadd142 add 1E+11   0.00000  ->  '100000000000.0000'  Rounded
ddadd143 add 0.000   1E+12    ->  '1000000000000.000'
ddadd144 add 0.0000  1E+12    ->  '1000000000000.000'  Rounded

-- [some of the next group are really constructor tests]
ddadd146 add '00.0'  0       ->  '0.0'
ddadd147 add '0.00'  0       ->  '0.00'
ddadd148 add  0      '0.00'  ->  '0.00'
ddadd149 add  0      '00.0'  ->  '0.0'
ddadd150 add '00.0'  '0.00'  ->  '0.00'
ddadd151 add '0.00'  '00.0'  ->  '0.00'
ddadd152 add '3'     '.3'    ->  '3.3'
ddadd153 add '3.'    '.3'    ->  '3.3'
ddadd154 add '3.0'   '.3'    ->  '3.3'
ddadd155 add '3.00'  '.3'    ->  '3.30'
ddadd156 add '3'     '3'     ->  '6'
ddadd157 add '3'     '+3'    ->  '6'
ddadd158 add '3'     '-3'    ->  '0'
ddadd159 add '0.3'   '-0.3'  ->  '0.0'
ddadd160 add '0.03'  '-0.03' ->  '0.00'

-- try borderline precision, with carries, etc.
ddadd161 add '1E+12' '-1'    -> '999999999999'
ddadd162 add '1E+12'  '1.11' -> '1000000000001.11'
ddadd163 add '1.11'  '1E+12' -> '1000000000001.11'
ddadd164 add '-1'    '1E+12' -> '999999999999'
ddadd165 add '7E+12' '-1'    -> '6999999999999'
ddadd166 add '7E+12'  '1.11' -> '7000000000001.11'
ddadd167 add '1.11'  '7E+12' -> '7000000000001.11'
ddadd168 add '-1'    '7E+12' -> '6999999999999'

rounding: half_up
--           1.234567890123456      1234567890123456      1 234567890123456
ddadd170 add '4.444444444444444'  '0.5555555555555567' -> '5.000000000000001' Inexact Rounded
ddadd171 add '4.444444444444444'  '0.5555555555555566' -> '5.000000000000001' Inexact Rounded
ddadd172 add '4.444444444444444'  '0.5555555555555565' -> '5.000000000000001' Inexact Rounded
ddadd173 add '4.444444444444444'  '0.5555555555555564' -> '5.000000000000000' Inexact Rounded
ddadd174 add '4.444444444444444'  '0.5555555555555553' -> '4.999999999999999' Inexact Rounded
ddadd175 add '4.444444444444444'  '0.5555555555555552' -> '4.999999999999999' Inexact Rounded
ddadd176 add '4.444444444444444'  '0.5555555555555551' -> '4.999999999999999' Inexact Rounded
ddadd177 add '4.444444444444444'  '0.5555555555555550' -> '4.999999999999999' Rounded
ddadd178 add '4.444444444444444'  '0.5555555555555545' -> '4.999999999999999' Inexact Rounded
ddadd179 add '4.444444444444444'  '0.5555555555555544' -> '4.999999999999998' Inexact Rounded
ddadd180 add '4.444444444444444'  '0.5555555555555543' -> '4.999999999999998' Inexact Rounded
ddadd181 add '4.444444444444444'  '0.5555555555555542' -> '4.999999999999998' Inexact Rounded
ddadd182 add '4.444444444444444'  '0.5555555555555541' -> '4.999999999999998' Inexact Rounded
ddadd183 add '4.444444444444444'  '0.5555555555555540' -> '4.999999999999998' Rounded

-- and some more, including residue effects and different roundings
rounding: half_up
ddadd200 add '1234560123456789' 0             -> '1234560123456789'
ddadd201 add '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
ddadd202 add '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
ddadd203 add '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
ddadd204 add '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
ddadd205 add '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
ddadd206 add '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
ddadd207 add '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
ddadd208 add '1234560123456789' 0.5           -> '1234560123456790' Inexact Rounded
ddadd209 add '1234560123456789' 0.500000001   -> '1234560123456790' Inexact Rounded
ddadd210 add '1234560123456789' 0.500001      -> '1234560123456790' Inexact Rounded
ddadd211 add '1234560123456789' 0.51          -> '1234560123456790' Inexact Rounded
ddadd212 add '1234560123456789' 0.6           -> '1234560123456790' Inexact Rounded
ddadd213 add '1234560123456789' 0.9           -> '1234560123456790' Inexact Rounded
ddadd214 add '1234560123456789' 0.99999       -> '1234560123456790' Inexact Rounded
ddadd215 add '1234560123456789' 0.999999999   -> '1234560123456790' Inexact Rounded
ddadd216 add '1234560123456789' 1             -> '1234560123456790'
ddadd217 add '1234560123456789' 1.000000001   -> '1234560123456790' Inexact Rounded
ddadd218 add '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
ddadd219 add '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded

rounding: half_even
ddadd220 add '1234560123456789' 0             -> '1234560123456789'
ddadd221 add '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
ddadd222 add '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
ddadd223 add '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
ddadd224 add '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
ddadd225 add '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
ddadd226 add '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
ddadd227 add '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
ddadd228 add '1234560123456789' 0.5           -> '1234560123456790' Inexact Rounded
ddadd229 add '1234560123456789' 0.500000001   -> '1234560123456790' Inexact Rounded
ddadd230 add '1234560123456789' 0.500001      -> '1234560123456790' Inexact Rounded
ddadd231 add '1234560123456789' 0.51          -> '1234560123456790' Inexact Rounded
ddadd232 add '1234560123456789' 0.6           -> '1234560123456790' Inexact Rounded
ddadd233 add '1234560123456789' 0.9           -> '1234560123456790' Inexact Rounded
ddadd234 add '1234560123456789' 0.99999       -> '1234560123456790' Inexact Rounded
ddadd235 add '1234560123456789' 0.999999999   -> '1234560123456790' Inexact Rounded
ddadd236 add '1234560123456789' 1             -> '1234560123456790'
ddadd237 add '1234560123456789' 1.00000001    -> '1234560123456790' Inexact Rounded
ddadd238 add '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
ddadd239 add '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded
-- critical few with even bottom digit...
ddadd240 add '1234560123456788' 0.499999999   -> '1234560123456788' Inexact Rounded
ddadd241 add '1234560123456788' 0.5           -> '1234560123456788' Inexact Rounded
ddadd242 add '1234560123456788' 0.500000001   -> '1234560123456789' Inexact Rounded

rounding: down
ddadd250 add '1234560123456789' 0             -> '1234560123456789'
ddadd251 add '1234560123456789' 0.000000001   -> '1234560123456789' Inexact Rounded
ddadd252 add '1234560123456789' 0.000001      -> '1234560123456789' Inexact Rounded
ddadd253 add '1234560123456789' 0.1           -> '1234560123456789' Inexact Rounded
ddadd254 add '1234560123456789' 0.4           -> '1234560123456789' Inexact Rounded
ddadd255 add '1234560123456789' 0.49          -> '1234560123456789' Inexact Rounded
ddadd256 add '1234560123456789' 0.499999      -> '1234560123456789' Inexact Rounded
ddadd257 add '1234560123456789' 0.499999999   -> '1234560123456789' Inexact Rounded
ddadd258 add '1234560123456789' 0.5           -> '1234560123456789' Inexact Rounded
ddadd259 add '1234560123456789' 0.500000001   -> '1234560123456789' Inexact Rounded
ddadd260 add '1234560123456789' 0.500001      -> '1234560123456789' Inexact Rounded
ddadd261 add '1234560123456789' 0.51          -> '1234560123456789' Inexact Rounded
ddadd262 add '1234560123456789' 0.6           -> '1234560123456789' Inexact Rounded
ddadd263 add '1234560123456789' 0.9           -> '1234560123456789' Inexact Rounded
ddadd264 add '1234560123456789' 0.99999       -> '1234560123456789' Inexact Rounded
ddadd265 add '1234560123456789' 0.999999999   -> '1234560123456789' Inexact Rounded
ddadd266 add '1234560123456789' 1             -> '1234560123456790'
ddadd267 add '1234560123456789' 1.00000001    -> '1234560123456790' Inexact Rounded
ddadd268 add '1234560123456789' 1.00001       -> '1234560123456790' Inexact Rounded
ddadd269 add '1234560123456789' 1.1           -> '1234560123456790' Inexact Rounded

-- 1 in last place tests
rounding: half_up
ddadd301 add  -1   1      ->   0
ddadd302 add   0   1      ->   1
ddadd303 add   1   1      ->   2
ddadd304 add  12   1      ->  13
ddadd305 add  98   1      ->  99
ddadd306 add  99   1      -> 100
ddadd307 add 100   1      -> 101
ddadd308 add 101   1      -> 102
ddadd309 add  -1  -1      ->  -2
ddadd310 add   0  -1      ->  -1
ddadd311 add   1  -1      ->   0
ddadd312 add  12  -1      ->  11
ddadd313 add  98  -1      ->  97
ddadd314 add  99  -1      ->  98
ddadd315 add 100  -1      ->  99
ddadd316 add 101  -1      -> 100

ddadd321 add -0.01  0.01    ->  0.00
ddadd322 add  0.00  0.01    ->  0.01
ddadd323 add  0.01  0.01    ->  0.02
ddadd324 add  0.12  0.01    ->  0.13
ddadd325 add  0.98  0.01    ->  0.99
ddadd326 add  0.99  0.01    ->  1.00
ddadd327 add  1.00  0.01    ->  1.01
ddadd328 add  1.01  0.01    ->  1.02
ddadd329 add -0.01 -0.01    -> -0.02
ddadd330 add  0.00 -0.01    -> -0.01
ddadd331 add  0.01 -0.01    ->  0.00
ddadd332 add  0.12 -0.01    ->  0.11
ddadd333 add  0.98 -0.01    ->  0.97
ddadd334 add  0.99 -0.01    ->  0.98
ddadd335 add  1.00 -0.01    ->  0.99
ddadd336 add  1.01 -0.01    ->  1.00

-- some more cases where adding 0 affects the coefficient
ddadd340 add 1E+3    0    ->         1000
ddadd341 add 1E+15   0    ->    1000000000000000
ddadd342 add 1E+16   0    ->   1.000000000000000E+16  Rounded
ddadd343 add 1E+20   0    ->   1.000000000000000E+20  Rounded
-- which simply follow from these cases ...
ddadd344 add 1E+3    1    ->         1001
ddadd345 add 1E+15   1    ->    1000000000000001
ddadd346 add 1E+16   1    ->   1.000000000000000E+16  Inexact Rounded
ddadd347 add 1E+20   1    ->   1.000000000000000E+20  Inexact Rounded
ddadd348 add 1E+3    7    ->         1007
ddadd349 add 1E+15   7    ->    1000000000000007
ddadd350 add 1E+16   7    ->   1.000000000000001E+16  Inexact Rounded
ddadd351 add 1E+20   7    ->   1.000000000000000E+20  Inexact Rounded

-- tryzeros cases
rounding:    half_up
ddadd360  add 0E+50 10000E+1  -> 1.0000E+5
ddadd361  add 0E-50 10000E+1  -> 100000.0000000000 Rounded
ddadd362  add 10000E+1 0E-50  -> 100000.0000000000 Rounded
ddadd363  add 10000E+1 10000E-50  -> 100000.0000000000 Rounded Inexact
ddadd364  add 9.999999999999999E+384 -9.999999999999999E+384 -> 0E+369

-- a curiosity from JSR 13 testing
rounding:    half_down
ddadd370 add  999999999999999 815 -> 1000000000000814
ddadd371 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
rounding:    half_up
ddadd372 add  999999999999999 815 -> 1000000000000814
ddadd373 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
rounding:    half_even
ddadd374 add  999999999999999 815 -> 1000000000000814
ddadd375 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact

-- operands folded
ddadd380 add   1E+384  1E+384  ->  2.000000000000000E+384  Clamped
ddadd381 add   1E+380  1E+380  ->  2.00000000000E+380      Clamped
ddadd382 add   1E+376  1E+376  ->  2.0000000E+376          Clamped
ddadd383 add   1E+372  1E+372  ->  2.000E+372              Clamped
ddadd384 add   1E+370  1E+370  ->  2.0E+370                Clamped
ddadd385 add   1E+369  1E+369  ->  2E+369
ddadd386 add   1E+368  1E+368  ->  2E+368

-- ulp replacement tests
ddadd400 add   1   77e-14      ->  1.00000000000077
ddadd401 add   1   77e-15      ->  1.000000000000077
ddadd402 add   1   77e-16      ->  1.000000000000008 Inexact Rounded
ddadd403 add   1   77e-17      ->  1.000000000000001 Inexact Rounded
ddadd404 add   1   77e-18      ->  1.000000000000000 Inexact Rounded
ddadd405 add   1   77e-19      ->  1.000000000000000 Inexact Rounded
ddadd406 add   1   77e-299     ->  1.000000000000000 Inexact Rounded

ddadd410 add  10   77e-14      ->  10.00000000000077
ddadd411 add  10   77e-15      ->  10.00000000000008 Inexact Rounded
ddadd412 add  10   77e-16      ->  10.00000000000001 Inexact Rounded
ddadd413 add  10   77e-17      ->  10.00000000000000 Inexact Rounded
ddadd414 add  10   77e-18      ->  10.00000000000000 Inexact Rounded
ddadd415 add  10   77e-19      ->  10.00000000000000 Inexact Rounded
ddadd416 add  10   77e-299     ->  10.00000000000000 Inexact Rounded

ddadd420 add  77e-14       1   ->  1.00000000000077
ddadd421 add  77e-15       1   ->  1.000000000000077
ddadd422 add  77e-16       1   ->  1.000000000000008 Inexact Rounded
ddadd423 add  77e-17       1   ->  1.000000000000001 Inexact Rounded
ddadd424 add  77e-18       1   ->  1.000000000000000 Inexact Rounded
ddadd425 add  77e-19       1   ->  1.000000000000000 Inexact Rounded
ddadd426 add  77e-299      1   ->  1.000000000000000 Inexact Rounded

ddadd430 add  77e-14      10   ->  10.00000000000077
ddadd431 add  77e-15      10   ->  10.00000000000008 Inexact Rounded
ddadd432 add  77e-16      10   ->  10.00000000000001 Inexact Rounded
ddadd433 add  77e-17      10   ->  10.00000000000000 Inexact Rounded
ddadd434 add  77e-18      10   ->  10.00000000000000 Inexact Rounded
ddadd435 add  77e-19      10   ->  10.00000000000000 Inexact Rounded
ddadd436 add  77e-299     10   ->  10.00000000000000 Inexact Rounded

-- fastpath boundary (more in dqadd)
--            1234567890123456
ddadd539 add '4444444444444444'  '3333333333333333' -> '7777777777777777'
ddadd540 add '4444444444444444'  '4444444444444444' -> '8888888888888888'
ddadd541 add '4444444444444444'  '5555555555555555' -> '9999999999999999'
ddadd542 add '3333333333333333'  '4444444444444444' -> '7777777777777777'
ddadd543 add '4444444444444444'  '4444444444444444' -> '8888888888888888'
ddadd544 add '5555555555555555'  '4444444444444444' -> '9999999999999999'
ddadd545 add '3000004000000000'  '3000000000000040' -> '6000004000000040'
ddadd546 add '3000000400000000'  '4000000000000400' -> '7000000400000400'
ddadd547 add '3000000040000000'  '5000000000004000' -> '8000000040004000'
ddadd548 add '4000000004000000'  '3000000000040000' -> '7000000004040000'
ddadd549 add '4000000000400000'  '4000000000400000' -> '8000000000800000'
ddadd550 add '4000000000040000'  '5000000004000000' -> '9000000004040000'
ddadd551 add '5000000000004000'  '3000000040000000' -> '8000000040004000'
ddadd552 add '5000000000000400'  '4000000400000000' -> '9000000400000400'
ddadd553 add '5000000000000040'  '5000004000000000' -> 1.000000400000004E+16 Rounded
-- check propagation
ddadd554 add '8999999999999999'  '0000000000000001' -> 9000000000000000
ddadd555 add '0000000000000001'  '8999999999999999' -> 9000000000000000
ddadd556 add '0999999999999999'  '0000000000000001' -> 1000000000000000
ddadd557 add '0000000000000001'  '0999999999999999' -> 1000000000000000
ddadd558 add '4444444444444444'  '4555555555555556' -> 9000000000000000
ddadd559 add '4555555555555556'  '4444444444444444' -> 9000000000000000

-- negative ulps
ddadd6440 add   1   -77e-14      ->  0.99999999999923
ddadd6441 add   1   -77e-15      ->  0.999999999999923
ddadd6442 add   1   -77e-16      ->  0.9999999999999923
ddadd6443 add   1   -77e-17      ->  0.9999999999999992 Inexact Rounded
ddadd6444 add   1   -77e-18      ->  0.9999999999999999 Inexact Rounded
ddadd6445 add   1   -77e-19      ->  1.000000000000000 Inexact Rounded
ddadd6446 add   1   -77e-99      ->  1.000000000000000 Inexact Rounded

ddadd6450 add  10   -77e-14      ->   9.99999999999923
ddadd6451 add  10   -77e-15      ->   9.999999999999923
ddadd6452 add  10   -77e-16      ->   9.999999999999992 Inexact Rounded
ddadd6453 add  10   -77e-17      ->   9.999999999999999 Inexact Rounded
ddadd6454 add  10   -77e-18      ->  10.00000000000000 Inexact Rounded
ddadd6455 add  10   -77e-19      ->  10.00000000000000 Inexact Rounded
ddadd6456 add  10   -77e-99      ->  10.00000000000000 Inexact Rounded

ddadd6460 add  -77e-14       1   ->  0.99999999999923
ddadd6461 add  -77e-15       1   ->  0.999999999999923
ddadd6462 add  -77e-16       1   ->  0.9999999999999923
ddadd6463 add  -77e-17       1   ->  0.9999999999999992 Inexact Rounded
ddadd6464 add  -77e-18       1   ->  0.9999999999999999 Inexact Rounded
ddadd6465 add  -77e-19       1   ->  1.000000000000000 Inexact Rounded
ddadd6466 add  -77e-99       1   ->  1.000000000000000 Inexact Rounded

ddadd6470 add  -77e-14      10   ->   9.99999999999923
ddadd6471 add  -77e-15      10   ->   9.999999999999923
ddadd6472 add  -77e-16      10   ->   9.999999999999992 Inexact Rounded
ddadd6473 add  -77e-17      10   ->   9.999999999999999 Inexact Rounded
ddadd6474 add  -77e-18      10   ->  10.00000000000000 Inexact Rounded
ddadd6475 add  -77e-19      10   ->  10.00000000000000 Inexact Rounded
ddadd6476 add  -77e-99      10   ->  10.00000000000000 Inexact Rounded

-- negative ulps
ddadd6480 add  -1    77e-14      ->  -0.99999999999923
ddadd6481 add  -1    77e-15      ->  -0.999999999999923
ddadd6482 add  -1    77e-16      ->  -0.9999999999999923
ddadd6483 add  -1    77e-17      ->  -0.9999999999999992 Inexact Rounded
ddadd6484 add  -1    77e-18      ->  -0.9999999999999999 Inexact Rounded
ddadd6485 add  -1    77e-19      ->  -1.000000000000000 Inexact Rounded
ddadd6486 add  -1    77e-99      ->  -1.000000000000000 Inexact Rounded

ddadd6490 add -10    77e-14      ->   -9.99999999999923
ddadd6491 add -10    77e-15      ->   -9.999999999999923
ddadd6492 add -10    77e-16      ->   -9.999999999999992 Inexact Rounded
ddadd6493 add -10    77e-17      ->   -9.999999999999999 Inexact Rounded
ddadd6494 add -10    77e-18      ->  -10.00000000000000 Inexact Rounded
ddadd6495 add -10    77e-19      ->  -10.00000000000000 Inexact Rounded
ddadd6496 add -10    77e-99      ->  -10.00000000000000 Inexact Rounded

ddadd6500 add   77e-14      -1   ->  -0.99999999999923
ddadd6501 add   77e-15      -1   ->  -0.999999999999923
ddadd6502 add   77e-16      -1   ->  -0.9999999999999923
ddadd6503 add   77e-17      -1   ->  -0.9999999999999992 Inexact Rounded
ddadd6504 add   77e-18      -1   ->  -0.9999999999999999 Inexact Rounded
ddadd6505 add   77e-19      -1   ->  -1.000000000000000 Inexact Rounded
ddadd6506 add   77e-99      -1   ->  -1.000000000000000 Inexact Rounded

ddadd6510 add   77e-14      -10  ->   -9.99999999999923
ddadd6511 add   77e-15      -10  ->   -9.999999999999923
ddadd6512 add   77e-16      -10  ->   -9.999999999999992 Inexact Rounded
ddadd6513 add   77e-17      -10  ->   -9.999999999999999 Inexact Rounded
ddadd6514 add   77e-18      -10  ->  -10.00000000000000 Inexact Rounded
ddadd6515 add   77e-19      -10  ->  -10.00000000000000 Inexact Rounded
ddadd6516 add   77e-99      -10  ->  -10.00000000000000 Inexact Rounded

-- and some more residue effects and different roundings
rounding: half_up
ddadd6540 add '6543210123456789' 0             -> '6543210123456789'
ddadd6541 add '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
ddadd6542 add '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
ddadd6543 add '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
ddadd6544 add '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
ddadd6545 add '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
ddadd6546 add '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
ddadd6547 add '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
ddadd6548 add '6543210123456789' 0.5           -> '6543210123456790' Inexact Rounded
ddadd6549 add '6543210123456789' 0.500000001   -> '6543210123456790' Inexact Rounded
ddadd6550 add '6543210123456789' 0.500001      -> '6543210123456790' Inexact Rounded
ddadd6551 add '6543210123456789' 0.51          -> '6543210123456790' Inexact Rounded
ddadd6552 add '6543210123456789' 0.6           -> '6543210123456790' Inexact Rounded
ddadd6553 add '6543210123456789' 0.9           -> '6543210123456790' Inexact Rounded
ddadd6554 add '6543210123456789' 0.99999       -> '6543210123456790' Inexact Rounded
ddadd6555 add '6543210123456789' 0.999999999   -> '6543210123456790' Inexact Rounded
ddadd6556 add '6543210123456789' 1             -> '6543210123456790'
ddadd6557 add '6543210123456789' 1.000000001   -> '6543210123456790' Inexact Rounded
ddadd6558 add '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
ddadd6559 add '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded

rounding: half_even
ddadd6560 add '6543210123456789' 0             -> '6543210123456789'
ddadd6561 add '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
ddadd6562 add '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
ddadd6563 add '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
ddadd6564 add '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
ddadd6565 add '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
ddadd6566 add '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
ddadd6567 add '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
ddadd6568 add '6543210123456789' 0.5           -> '6543210123456790' Inexact Rounded
ddadd6569 add '6543210123456789' 0.500000001   -> '6543210123456790' Inexact Rounded
ddadd6570 add '6543210123456789' 0.500001      -> '6543210123456790' Inexact Rounded
ddadd6571 add '6543210123456789' 0.51          -> '6543210123456790' Inexact Rounded
ddadd6572 add '6543210123456789' 0.6           -> '6543210123456790' Inexact Rounded
ddadd6573 add '6543210123456789' 0.9           -> '6543210123456790' Inexact Rounded
ddadd6574 add '6543210123456789' 0.99999       -> '6543210123456790' Inexact Rounded
ddadd6575 add '6543210123456789' 0.999999999   -> '6543210123456790' Inexact Rounded
ddadd6576 add '6543210123456789' 1             -> '6543210123456790'
ddadd6577 add '6543210123456789' 1.00000001    -> '6543210123456790' Inexact Rounded
ddadd6578 add '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
ddadd6579 add '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded

-- critical few with even bottom digit...
ddadd7540 add '6543210123456788' 0.499999999   -> '6543210123456788' Inexact Rounded
ddadd7541 add '6543210123456788' 0.5           -> '6543210123456788' Inexact Rounded
ddadd7542 add '6543210123456788' 0.500000001   -> '6543210123456789' Inexact Rounded

rounding: down
ddadd7550 add '6543210123456789' 0             -> '6543210123456789'
ddadd7551 add '6543210123456789' 0.000000001   -> '6543210123456789' Inexact Rounded
ddadd7552 add '6543210123456789' 0.000001      -> '6543210123456789' Inexact Rounded
ddadd7553 add '6543210123456789' 0.1           -> '6543210123456789' Inexact Rounded
ddadd7554 add '6543210123456789' 0.4           -> '6543210123456789' Inexact Rounded
ddadd7555 add '6543210123456789' 0.49          -> '6543210123456789' Inexact Rounded
ddadd7556 add '6543210123456789' 0.499999      -> '6543210123456789' Inexact Rounded
ddadd7557 add '6543210123456789' 0.499999999   -> '6543210123456789' Inexact Rounded
ddadd7558 add '6543210123456789' 0.5           -> '6543210123456789' Inexact Rounded
ddadd7559 add '6543210123456789' 0.500000001   -> '6543210123456789' Inexact Rounded
ddadd7560 add '6543210123456789' 0.500001      -> '6543210123456789' Inexact Rounded
ddadd7561 add '6543210123456789' 0.51          -> '6543210123456789' Inexact Rounded
ddadd7562 add '6543210123456789' 0.6           -> '6543210123456789' Inexact Rounded
ddadd7563 add '6543210123456789' 0.9           -> '6543210123456789' Inexact Rounded
ddadd7564 add '6543210123456789' 0.99999       -> '6543210123456789' Inexact Rounded
ddadd7565 add '6543210123456789' 0.999999999   -> '6543210123456789' Inexact Rounded
ddadd7566 add '6543210123456789' 1             -> '6543210123456790'
ddadd7567 add '6543210123456789' 1.00000001    -> '6543210123456790' Inexact Rounded
ddadd7568 add '6543210123456789' 1.00001       -> '6543210123456790' Inexact Rounded
ddadd7569 add '6543210123456789' 1.1           -> '6543210123456790' Inexact Rounded

-- verify a query
rounding:     down
ddadd7661 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
ddadd7662 add      0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
ddadd7663 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
ddadd7664 add      0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded

-- more zeros, etc.
rounding: half_even

ddadd7701 add 5.00 1.00E-3 -> 5.00100
ddadd7702 add 00.00 0.000  -> 0.000
ddadd7703 add 00.00 0E-3   -> 0.000
ddadd7704 add 0E-3  00.00  -> 0.000

ddadd7710 add 0E+3  00.00  -> 0.00
ddadd7711 add 0E+3  00.0   -> 0.0
ddadd7712 add 0E+3  00.    -> 0
ddadd7713 add 0E+3  00.E+1 -> 0E+1
ddadd7714 add 0E+3  00.E+2 -> 0E+2
ddadd7715 add 0E+3  00.E+3 -> 0E+3
ddadd7716 add 0E+3  00.E+4 -> 0E+3
ddadd7717 add 0E+3  00.E+5 -> 0E+3
ddadd7718 add 0E+3  -00.0   -> 0.0
ddadd7719 add 0E+3  -00.    -> 0
ddadd7731 add 0E+3  -00.E+1 -> 0E+1

ddadd7720 add 00.00  0E+3  -> 0.00
ddadd7721 add 00.0   0E+3  -> 0.0
ddadd7722 add 00.    0E+3  -> 0
ddadd7723 add 00.E+1 0E+3  -> 0E+1
ddadd7724 add 00.E+2 0E+3  -> 0E+2
ddadd7725 add 00.E+3 0E+3  -> 0E+3
ddadd7726 add 00.E+4 0E+3  -> 0E+3
ddadd7727 add 00.E+5 0E+3  -> 0E+3
ddadd7728 add -00.00 0E+3  -> 0.00
ddadd7729 add -00.0  0E+3  -> 0.0
ddadd7730 add -00.   0E+3  -> 0

ddadd7732 add  0     0     ->  0
ddadd7733 add  0    -0     ->  0
ddadd7734 add -0     0     ->  0
ddadd7735 add -0    -0     -> -0     -- IEEE 854 special case

ddadd7736 add  1    -1     ->  0
ddadd7737 add -1    -1     -> -2
ddadd7738 add  1     1     ->  2
ddadd7739 add -1     1     ->  0

ddadd7741 add  0    -1     -> -1
ddadd7742 add -0    -1     -> -1
ddadd7743 add  0     1     ->  1
ddadd7744 add -0     1     ->  1
ddadd7745 add -1     0     -> -1
ddadd7746 add -1    -0     -> -1
ddadd7747 add  1     0     ->  1
ddadd7748 add  1    -0     ->  1

ddadd7751 add  0.0  -1     -> -1.0
ddadd7752 add -0.0  -1     -> -1.0
ddadd7753 add  0.0   1     ->  1.0
ddadd7754 add -0.0   1     ->  1.0
ddadd7755 add -1.0   0     -> -1.0
ddadd7756 add -1.0  -0     -> -1.0
ddadd7757 add  1.0   0     ->  1.0
ddadd7758 add  1.0  -0     ->  1.0

ddadd7761 add  0    -1.0   -> -1.0
ddadd7762 add -0    -1.0   -> -1.0
ddadd7763 add  0     1.0   ->  1.0
ddadd7764 add -0     1.0   ->  1.0
ddadd7765 add -1     0.0   -> -1.0
ddadd7766 add -1    -0.0   -> -1.0
ddadd7767 add  1     0.0   ->  1.0
ddadd7768 add  1    -0.0   ->  1.0

ddadd7771 add  0.0  -1.0   -> -1.0
ddadd7772 add -0.0  -1.0   -> -1.0
ddadd7773 add  0.0   1.0   ->  1.0
ddadd7774 add -0.0   1.0   ->  1.0
ddadd7775 add -1.0   0.0   -> -1.0
ddadd7776 add -1.0  -0.0   -> -1.0
ddadd7777 add  1.0   0.0   ->  1.0
ddadd7778 add  1.0  -0.0   ->  1.0

-- Specials
ddadd7780 add -Inf  -Inf   -> -Infinity
ddadd7781 add -Inf  -1000  -> -Infinity
ddadd7782 add -Inf  -1     -> -Infinity
ddadd7783 add -Inf  -0     -> -Infinity
ddadd7784 add -Inf   0     -> -Infinity
ddadd7785 add -Inf   1     -> -Infinity
ddadd7786 add -Inf   1000  -> -Infinity
ddadd7787 add -1000 -Inf   -> -Infinity
ddadd7788 add -Inf  -Inf   -> -Infinity
ddadd7789 add -1    -Inf   -> -Infinity
ddadd7790 add -0    -Inf   -> -Infinity
ddadd7791 add  0    -Inf   -> -Infinity
ddadd7792 add  1    -Inf   -> -Infinity
ddadd7793 add  1000 -Inf   -> -Infinity
ddadd7794 add  Inf  -Inf   ->  NaN  Invalid_operation

ddadd7800 add  Inf  -Inf   ->  NaN  Invalid_operation
ddadd7801 add  Inf  -1000  ->  Infinity
ddadd7802 add  Inf  -1     ->  Infinity
ddadd7803 add  Inf  -0     ->  Infinity
ddadd7804 add  Inf   0     ->  Infinity
ddadd7805 add  Inf   1     ->  Infinity
ddadd7806 add  Inf   1000  ->  Infinity
ddadd7807 add  Inf   Inf   ->  Infinity
ddadd7808 add -1000  Inf   ->  Infinity
ddadd7809 add -Inf   Inf   ->  NaN  Invalid_operation
ddadd7810 add -1     Inf   ->  Infinity
ddadd7811 add -0     Inf   ->  Infinity
ddadd7812 add  0     Inf   ->  Infinity
ddadd7813 add  1     Inf   ->  Infinity
ddadd7814 add  1000  Inf   ->  Infinity
ddadd7815 add  Inf   Inf   ->  Infinity

ddadd7821 add  NaN -Inf    ->  NaN
ddadd7822 add  NaN -1000   ->  NaN
ddadd7823 add  NaN -1      ->  NaN
ddadd7824 add  NaN -0      ->  NaN
ddadd7825 add  NaN  0      ->  NaN
ddadd7826 add  NaN  1      ->  NaN
ddadd7827 add  NaN  1000   ->  NaN
ddadd7828 add  NaN  Inf    ->  NaN
ddadd7829 add  NaN  NaN    ->  NaN
ddadd7830 add -Inf  NaN    ->  NaN
ddadd7831 add -1000 NaN    ->  NaN
ddadd7832 add -1    NaN    ->  NaN
ddadd7833 add -0    NaN    ->  NaN
ddadd7834 add  0    NaN    ->  NaN
ddadd7835 add  1    NaN    ->  NaN
ddadd7836 add  1000 NaN    ->  NaN
ddadd7837 add  Inf  NaN    ->  NaN

ddadd7841 add  sNaN -Inf   ->  NaN  Invalid_operation
ddadd7842 add  sNaN -1000  ->  NaN  Invalid_operation
ddadd7843 add  sNaN -1     ->  NaN  Invalid_operation
ddadd7844 add  sNaN -0     ->  NaN  Invalid_operation
ddadd7845 add  sNaN  0     ->  NaN  Invalid_operation
ddadd7846 add  sNaN  1     ->  NaN  Invalid_operation
ddadd7847 add  sNaN  1000  ->  NaN  Invalid_operation
ddadd7848 add  sNaN  NaN   ->  NaN  Invalid_operation
ddadd7849 add  sNaN sNaN   ->  NaN  Invalid_operation
ddadd7850 add  NaN  sNaN   ->  NaN  Invalid_operation
ddadd7851 add -Inf  sNaN   ->  NaN  Invalid_operation
ddadd7852 add -1000 sNaN   ->  NaN  Invalid_operation
ddadd7853 add -1    sNaN   ->  NaN  Invalid_operation
ddadd7854 add -0    sNaN   ->  NaN  Invalid_operation
ddadd7855 add  0    sNaN   ->  NaN  Invalid_operation
ddadd7856 add  1    sNaN   ->  NaN  Invalid_operation
ddadd7857 add  1000 sNaN   ->  NaN  Invalid_operation
ddadd7858 add  Inf  sNaN   ->  NaN  Invalid_operation
ddadd7859 add  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
ddadd7861 add  NaN1   -Inf    ->  NaN1
ddadd7862 add +NaN2   -1000   ->  NaN2
ddadd7863 add  NaN3    1000   ->  NaN3
ddadd7864 add  NaN4    Inf    ->  NaN4
ddadd7865 add  NaN5   +NaN6   ->  NaN5
ddadd7866 add -Inf     NaN7   ->  NaN7
ddadd7867 add -1000    NaN8   ->  NaN8
ddadd7868 add  1000    NaN9   ->  NaN9
ddadd7869 add  Inf    +NaN10  ->  NaN10
ddadd7871 add  sNaN11  -Inf   ->  NaN11  Invalid_operation
ddadd7872 add  sNaN12  -1000  ->  NaN12  Invalid_operation
ddadd7873 add  sNaN13   1000  ->  NaN13  Invalid_operation
ddadd7874 add  sNaN14   NaN17 ->  NaN14  Invalid_operation
ddadd7875 add  sNaN15  sNaN18 ->  NaN15  Invalid_operation
ddadd7876 add  NaN16   sNaN19 ->  NaN19  Invalid_operation
ddadd7877 add -Inf    +sNaN20 ->  NaN20  Invalid_operation
ddadd7878 add -1000    sNaN21 ->  NaN21  Invalid_operation
ddadd7879 add  1000    sNaN22 ->  NaN22  Invalid_operation
ddadd7880 add  Inf     sNaN23 ->  NaN23  Invalid_operation
ddadd7881 add +NaN25  +sNaN24 ->  NaN24  Invalid_operation
ddadd7882 add -NaN26    NaN28 -> -NaN26
ddadd7883 add -sNaN27  sNaN29 -> -NaN27  Invalid_operation
ddadd7884 add  1000    -NaN30 -> -NaN30
ddadd7885 add  1000   -sNaN31 -> -NaN31  Invalid_operation

-- Here we explore near the boundary of rounding a subnormal to Nmin
ddadd7575 add  1E-383 -1E-398 ->  9.99999999999999E-384  Subnormal
ddadd7576 add -1E-383 +1E-398 -> -9.99999999999999E-384  Subnormal

-- and another curious case
ddadd7577 add 7.000000000000E-385 -1.00000E-391 -> 6.999999000000E-385 Subnormal

-- check overflow edge case
--               1234567890123456
ddadd7972 apply   9.999999999999999E+384         -> 9.999999999999999E+384
ddadd7973 add     9.999999999999999E+384  1      -> 9.999999999999999E+384 Inexact Rounded
ddadd7974 add      9999999999999999E+369  1      -> 9.999999999999999E+384 Inexact Rounded
ddadd7975 add      9999999999999999E+369  1E+369  -> Infinity Overflow Inexact Rounded
ddadd7976 add      9999999999999999E+369  9E+368  -> Infinity Overflow Inexact Rounded
ddadd7977 add      9999999999999999E+369  8E+368  -> Infinity Overflow Inexact Rounded
ddadd7978 add      9999999999999999E+369  7E+368  -> Infinity Overflow Inexact Rounded
ddadd7979 add      9999999999999999E+369  6E+368  -> Infinity Overflow Inexact Rounded
ddadd7980 add      9999999999999999E+369  5E+368  -> Infinity Overflow Inexact Rounded
ddadd7981 add      9999999999999999E+369  4E+368  -> 9.999999999999999E+384 Inexact Rounded
ddadd7982 add      9999999999999999E+369  3E+368  -> 9.999999999999999E+384 Inexact Rounded
ddadd7983 add      9999999999999999E+369  2E+368  -> 9.999999999999999E+384 Inexact Rounded
ddadd7984 add      9999999999999999E+369  1E+368  -> 9.999999999999999E+384 Inexact Rounded

ddadd7985 apply  -9.999999999999999E+384         -> -9.999999999999999E+384
ddadd7986 add    -9.999999999999999E+384 -1      -> -9.999999999999999E+384 Inexact Rounded
ddadd7987 add     -9999999999999999E+369 -1      -> -9.999999999999999E+384 Inexact Rounded
ddadd7988 add     -9999999999999999E+369 -1E+369  -> -Infinity Overflow Inexact Rounded
ddadd7989 add     -9999999999999999E+369 -9E+368  -> -Infinity Overflow Inexact Rounded
ddadd7990 add     -9999999999999999E+369 -8E+368  -> -Infinity Overflow Inexact Rounded
ddadd7991 add     -9999999999999999E+369 -7E+368  -> -Infinity Overflow Inexact Rounded
ddadd7992 add     -9999999999999999E+369 -6E+368  -> -Infinity Overflow Inexact Rounded
ddadd7993 add     -9999999999999999E+369 -5E+368  -> -Infinity Overflow Inexact Rounded
ddadd7994 add     -9999999999999999E+369 -4E+368  -> -9.999999999999999E+384 Inexact Rounded
ddadd7995 add     -9999999999999999E+369 -3E+368  -> -9.999999999999999E+384 Inexact Rounded
ddadd7996 add     -9999999999999999E+369 -2E+368  -> -9.999999999999999E+384 Inexact Rounded
ddadd7997 add     -9999999999999999E+369 -1E+368  -> -9.999999999999999E+384 Inexact Rounded

-- And for round down full and subnormal results
rounding:     down
ddadd71100 add 1e+2 -1e-383    -> 99.99999999999999 Rounded Inexact
ddadd71101 add 1e+1 -1e-383    -> 9.999999999999999  Rounded Inexact
ddadd71103 add   +1 -1e-383    -> 0.9999999999999999  Rounded Inexact
ddadd71104 add 1e-1 -1e-383    -> 0.09999999999999999  Rounded Inexact
ddadd71105 add 1e-2 -1e-383    -> 0.009999999999999999  Rounded Inexact
ddadd71106 add 1e-3 -1e-383    -> 0.0009999999999999999  Rounded Inexact
ddadd71107 add 1e-4 -1e-383    -> 0.00009999999999999999  Rounded Inexact
ddadd71108 add 1e-5 -1e-383    -> 0.000009999999999999999  Rounded Inexact
ddadd71109 add 1e-6 -1e-383    -> 9.999999999999999E-7  Rounded Inexact

rounding:     ceiling
ddadd71110 add -1e+2 +1e-383   -> -99.99999999999999 Rounded Inexact
ddadd71111 add -1e+1 +1e-383   -> -9.999999999999999  Rounded Inexact
ddadd71113 add    -1 +1e-383   -> -0.9999999999999999  Rounded Inexact
ddadd71114 add -1e-1 +1e-383   -> -0.09999999999999999  Rounded Inexact
ddadd71115 add -1e-2 +1e-383   -> -0.009999999999999999  Rounded Inexact
ddadd71116 add -1e-3 +1e-383   -> -0.0009999999999999999  Rounded Inexact
ddadd71117 add -1e-4 +1e-383   -> -0.00009999999999999999  Rounded Inexact
ddadd71118 add -1e-5 +1e-383   -> -0.000009999999999999999  Rounded Inexact
ddadd71119 add -1e-6 +1e-383   -> -9.999999999999999E-7  Rounded Inexact

-- tests based on Gunnar Degnbol's edge case
rounding:     half_even

ddadd71300 add 1E16  -0.5                 ->  1.000000000000000E+16 Inexact Rounded
ddadd71310 add 1E16  -0.51                ->  9999999999999999      Inexact Rounded
ddadd71311 add 1E16  -0.501               ->  9999999999999999      Inexact Rounded
ddadd71312 add 1E16  -0.5001              ->  9999999999999999      Inexact Rounded
ddadd71313 add 1E16  -0.50001             ->  9999999999999999      Inexact Rounded
ddadd71314 add 1E16  -0.500001            ->  9999999999999999      Inexact Rounded
ddadd71315 add 1E16  -0.5000001           ->  9999999999999999      Inexact Rounded
ddadd71316 add 1E16  -0.50000001          ->  9999999999999999      Inexact Rounded
ddadd71317 add 1E16  -0.500000001         ->  9999999999999999      Inexact Rounded
ddadd71318 add 1E16  -0.5000000001        ->  9999999999999999      Inexact Rounded
ddadd71319 add 1E16  -0.50000000001       ->  9999999999999999      Inexact Rounded
ddadd71320 add 1E16  -0.500000000001      ->  9999999999999999      Inexact Rounded
ddadd71321 add 1E16  -0.5000000000001     ->  9999999999999999      Inexact Rounded
ddadd71322 add 1E16  -0.50000000000001    ->  9999999999999999      Inexact Rounded
ddadd71323 add 1E16  -0.500000000000001   ->  9999999999999999      Inexact Rounded
ddadd71324 add 1E16  -0.5000000000000001  ->  9999999999999999      Inexact Rounded
ddadd71325 add 1E16  -0.5000000000000000  ->  1.000000000000000E+16 Inexact Rounded
ddadd71326 add 1E16  -0.500000000000000   ->  1.000000000000000E+16 Inexact Rounded
ddadd71327 add 1E16  -0.50000000000000    ->  1.000000000000000E+16 Inexact Rounded
ddadd71328 add 1E16  -0.5000000000000     ->  1.000000000000000E+16 Inexact Rounded
ddadd71329 add 1E16  -0.500000000000      ->  1.000000000000000E+16 Inexact Rounded
ddadd71330 add 1E16  -0.50000000000       ->  1.000000000000000E+16 Inexact Rounded
ddadd71331 add 1E16  -0.5000000000        ->  1.000000000000000E+16 Inexact Rounded
ddadd71332 add 1E16  -0.500000000         ->  1.000000000000000E+16 Inexact Rounded
ddadd71333 add 1E16  -0.50000000          ->  1.000000000000000E+16 Inexact Rounded
ddadd71334 add 1E16  -0.5000000           ->  1.000000000000000E+16 Inexact Rounded
ddadd71335 add 1E16  -0.500000            ->  1.000000000000000E+16 Inexact Rounded
ddadd71336 add 1E16  -0.50000             ->  1.000000000000000E+16 Inexact Rounded
ddadd71337 add 1E16  -0.5000              ->  1.000000000000000E+16 Inexact Rounded
ddadd71338 add 1E16  -0.500               ->  1.000000000000000E+16 Inexact Rounded
ddadd71339 add 1E16  -0.50                ->  1.000000000000000E+16 Inexact Rounded

ddadd71340 add 1E16  -5000000.000010001   ->  9999999995000000      Inexact Rounded
ddadd71341 add 1E16  -5000000.000000001   ->  9999999995000000      Inexact Rounded

ddadd71349 add 9999999999999999 0.4                 ->  9999999999999999      Inexact Rounded
ddadd71350 add 9999999999999999 0.49                ->  9999999999999999      Inexact Rounded
ddadd71351 add 9999999999999999 0.499               ->  9999999999999999      Inexact Rounded
ddadd71352 add 9999999999999999 0.4999              ->  9999999999999999      Inexact Rounded
ddadd71353 add 9999999999999999 0.49999             ->  9999999999999999      Inexact Rounded
ddadd71354 add 9999999999999999 0.499999            ->  9999999999999999      Inexact Rounded
ddadd71355 add 9999999999999999 0.4999999           ->  9999999999999999      Inexact Rounded
ddadd71356 add 9999999999999999 0.49999999          ->  9999999999999999      Inexact Rounded
ddadd71357 add 9999999999999999 0.499999999         ->  9999999999999999      Inexact Rounded
ddadd71358 add 9999999999999999 0.4999999999        ->  9999999999999999      Inexact Rounded
ddadd71359 add 9999999999999999 0.49999999999       ->  9999999999999999      Inexact Rounded
ddadd71360 add 9999999999999999 0.499999999999      ->  9999999999999999      Inexact Rounded
ddadd71361 add 9999999999999999 0.4999999999999     ->  9999999999999999      Inexact Rounded
ddadd71362 add 9999999999999999 0.49999999999999    ->  9999999999999999      Inexact Rounded
ddadd71363 add 9999999999999999 0.499999999999999   ->  9999999999999999      Inexact Rounded
ddadd71364 add 9999999999999999 0.4999999999999999  ->  9999999999999999      Inexact Rounded
ddadd71365 add 9999999999999999 0.5000000000000000  ->  1.000000000000000E+16 Inexact Rounded
ddadd71367 add 9999999999999999 0.500000000000000   ->  1.000000000000000E+16 Inexact Rounded
ddadd71368 add 9999999999999999 0.50000000000000    ->  1.000000000000000E+16 Inexact Rounded
ddadd71369 add 9999999999999999 0.5000000000000     ->  1.000000000000000E+16 Inexact Rounded
ddadd71370 add 9999999999999999 0.500000000000      ->  1.000000000000000E+16 Inexact Rounded
ddadd71371 add 9999999999999999 0.50000000000       ->  1.000000000000000E+16 Inexact Rounded
ddadd71372 add 9999999999999999 0.5000000000        ->  1.000000000000000E+16 Inexact Rounded
ddadd71373 add 9999999999999999 0.500000000         ->  1.000000000000000E+16 Inexact Rounded
ddadd71374 add 9999999999999999 0.50000000          ->  1.000000000000000E+16 Inexact Rounded
ddadd71375 add 9999999999999999 0.5000000           ->  1.000000000000000E+16 Inexact Rounded
ddadd71376 add 9999999999999999 0.500000            ->  1.000000000000000E+16 Inexact Rounded
ddadd71377 add 9999999999999999 0.50000             ->  1.000000000000000E+16 Inexact Rounded
ddadd71378 add 9999999999999999 0.5000              ->  1.000000000000000E+16 Inexact Rounded
ddadd71379 add 9999999999999999 0.500               ->  1.000000000000000E+16 Inexact Rounded
ddadd71380 add 9999999999999999 0.50                ->  1.000000000000000E+16 Inexact Rounded
ddadd71381 add 9999999999999999 0.5                 ->  1.000000000000000E+16 Inexact Rounded
ddadd71382 add 9999999999999999 0.5000000000000001  ->  1.000000000000000E+16 Inexact Rounded
ddadd71383 add 9999999999999999 0.500000000000001   ->  1.000000000000000E+16 Inexact Rounded
ddadd71384 add 9999999999999999 0.50000000000001    ->  1.000000000000000E+16 Inexact Rounded
ddadd71385 add 9999999999999999 0.5000000000001     ->  1.000000000000000E+16 Inexact Rounded
ddadd71386 add 9999999999999999 0.500000000001      ->  1.000000000000000E+16 Inexact Rounded
ddadd71387 add 9999999999999999 0.50000000001       ->  1.000000000000000E+16 Inexact Rounded
ddadd71388 add 9999999999999999 0.5000000001        ->  1.000000000000000E+16 Inexact Rounded
ddadd71389 add 9999999999999999 0.500000001         ->  1.000000000000000E+16 Inexact Rounded
ddadd71390 add 9999999999999999 0.50000001          ->  1.000000000000000E+16 Inexact Rounded
ddadd71391 add 9999999999999999 0.5000001           ->  1.000000000000000E+16 Inexact Rounded
ddadd71392 add 9999999999999999 0.500001            ->  1.000000000000000E+16 Inexact Rounded
ddadd71393 add 9999999999999999 0.50001             ->  1.000000000000000E+16 Inexact Rounded
ddadd71394 add 9999999999999999 0.5001              ->  1.000000000000000E+16 Inexact Rounded
ddadd71395 add 9999999999999999 0.501               ->  1.000000000000000E+16 Inexact Rounded
ddadd71396 add 9999999999999999 0.51                ->  1.000000000000000E+16 Inexact Rounded

-- More GD edge cases, where difference between the unadjusted
-- exponents is larger than the maximum precision and one side is 0
ddadd71420 add  0 1.123456789012345     -> 1.123456789012345
ddadd71421 add  0 1.123456789012345E-1  -> 0.1123456789012345
ddadd71422 add  0 1.123456789012345E-2  -> 0.01123456789012345
ddadd71423 add  0 1.123456789012345E-3  -> 0.001123456789012345
ddadd71424 add  0 1.123456789012345E-4  -> 0.0001123456789012345
ddadd71425 add  0 1.123456789012345E-5  -> 0.00001123456789012345
ddadd71426 add  0 1.123456789012345E-6  -> 0.000001123456789012345
ddadd71427 add  0 1.123456789012345E-7  -> 1.123456789012345E-7
ddadd71428 add  0 1.123456789012345E-8  -> 1.123456789012345E-8
ddadd71429 add  0 1.123456789012345E-9  -> 1.123456789012345E-9
ddadd71430 add  0 1.123456789012345E-10 -> 1.123456789012345E-10
ddadd71431 add  0 1.123456789012345E-11 -> 1.123456789012345E-11
ddadd71432 add  0 1.123456789012345E-12 -> 1.123456789012345E-12
ddadd71433 add  0 1.123456789012345E-13 -> 1.123456789012345E-13
ddadd71434 add  0 1.123456789012345E-14 -> 1.123456789012345E-14
ddadd71435 add  0 1.123456789012345E-15 -> 1.123456789012345E-15
ddadd71436 add  0 1.123456789012345E-16 -> 1.123456789012345E-16
ddadd71437 add  0 1.123456789012345E-17 -> 1.123456789012345E-17
ddadd71438 add  0 1.123456789012345E-18 -> 1.123456789012345E-18
ddadd71439 add  0 1.123456789012345E-19 -> 1.123456789012345E-19

-- same, reversed 0
ddadd71440 add 1.123456789012345     0 -> 1.123456789012345
ddadd71441 add 1.123456789012345E-1  0 -> 0.1123456789012345
ddadd71442 add 1.123456789012345E-2  0 -> 0.01123456789012345
ddadd71443 add 1.123456789012345E-3  0 -> 0.001123456789012345
ddadd71444 add 1.123456789012345E-4  0 -> 0.0001123456789012345
ddadd71445 add 1.123456789012345E-5  0 -> 0.00001123456789012345
ddadd71446 add 1.123456789012345E-6  0 -> 0.000001123456789012345
ddadd71447 add 1.123456789012345E-7  0 -> 1.123456789012345E-7
ddadd71448 add 1.123456789012345E-8  0 -> 1.123456789012345E-8
ddadd71449 add 1.123456789012345E-9  0 -> 1.123456789012345E-9
ddadd71450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10
ddadd71451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11
ddadd71452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12
ddadd71453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13
ddadd71454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14
ddadd71455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15
ddadd71456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16
ddadd71457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17
ddadd71458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18
ddadd71459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19

-- same, Es on the 0
ddadd71460 add 1.123456789012345  0E-0   -> 1.123456789012345
ddadd71461 add 1.123456789012345  0E-1   -> 1.123456789012345
ddadd71462 add 1.123456789012345  0E-2   -> 1.123456789012345
ddadd71463 add 1.123456789012345  0E-3   -> 1.123456789012345
ddadd71464 add 1.123456789012345  0E-4   -> 1.123456789012345
ddadd71465 add 1.123456789012345  0E-5   -> 1.123456789012345
ddadd71466 add 1.123456789012345  0E-6   -> 1.123456789012345
ddadd71467 add 1.123456789012345  0E-7   -> 1.123456789012345
ddadd71468 add 1.123456789012345  0E-8   -> 1.123456789012345
ddadd71469 add 1.123456789012345  0E-9   -> 1.123456789012345
ddadd71470 add 1.123456789012345  0E-10  -> 1.123456789012345
ddadd71471 add 1.123456789012345  0E-11  -> 1.123456789012345
ddadd71472 add 1.123456789012345  0E-12  -> 1.123456789012345
ddadd71473 add 1.123456789012345  0E-13  -> 1.123456789012345
ddadd71474 add 1.123456789012345  0E-14  -> 1.123456789012345
ddadd71475 add 1.123456789012345  0E-15  -> 1.123456789012345
-- next four flag Rounded because the 0 extends the result
ddadd71476 add 1.123456789012345  0E-16  -> 1.123456789012345 Rounded
ddadd71477 add 1.123456789012345  0E-17  -> 1.123456789012345 Rounded
ddadd71478 add 1.123456789012345  0E-18  -> 1.123456789012345 Rounded
ddadd71479 add 1.123456789012345  0E-19  -> 1.123456789012345 Rounded

-- sum of two opposite-sign operands is exactly 0 and floor => -0
rounding:    half_up
-- exact zeros from zeros
ddadd71500 add  0        0E-19  ->  0E-19
ddadd71501 add -0        0E-19  ->  0E-19
ddadd71502 add  0       -0E-19  ->  0E-19
ddadd71503 add -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddadd71511 add -11      11    ->  0
ddadd71512 add  11     -11    ->  0

rounding:    half_down
-- exact zeros from zeros
ddadd71520 add  0        0E-19  ->  0E-19
ddadd71521 add -0        0E-19  ->  0E-19
ddadd71522 add  0       -0E-19  ->  0E-19
ddadd71523 add -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddadd71531 add -11      11    ->  0
ddadd71532 add  11     -11    ->  0

rounding:    half_even
-- exact zeros from zeros
ddadd71540 add  0        0E-19  ->  0E-19
ddadd71541 add -0        0E-19  ->  0E-19
ddadd71542 add  0       -0E-19  ->  0E-19
ddadd71543 add -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddadd71551 add -11      11    ->  0
ddadd71552 add  11     -11    ->  0

rounding:    up
-- exact zeros from zeros
ddadd71560 add  0        0E-19  ->  0E-19
ddadd71561 add -0        0E-19  ->  0E-19
ddadd71562 add  0       -0E-19  ->  0E-19
ddadd71563 add -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddadd71571 add -11      11    ->  0
ddadd71572 add  11     -11    ->  0

rounding:    down
-- exact zeros from zeros
ddadd71580 add  0        0E-19  ->  0E-19
ddadd71581 add -0        0E-19  ->  0E-19
ddadd71582 add  0       -0E-19  ->  0E-19
ddadd71583 add -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddadd71591 add -11      11    ->  0
ddadd71592 add  11     -11    ->  0

rounding:    ceiling
-- exact zeros from zeros
ddadd71600 add  0        0E-19  ->  0E-19
ddadd71601 add -0        0E-19  ->  0E-19
ddadd71602 add  0       -0E-19  ->  0E-19
ddadd71603 add -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddadd71611 add -11      11    ->  0
ddadd71612 add  11     -11    ->  0

-- and the extra-special ugly case; unusual minuses marked by -- *
rounding:    floor
-- exact zeros from zeros
ddadd71620 add  0        0E-19  ->  0E-19
ddadd71621 add -0        0E-19  -> -0E-19           -- *
ddadd71622 add  0       -0E-19  -> -0E-19           -- *
ddadd71623 add -0       -0E-19  -> -0E-19
-- exact zeros from non-zeros
ddadd71631 add -11      11    ->  -0                -- *
ddadd71632 add  11     -11    ->  -0                -- *

-- Examples from SQL proposal (Krishna Kulkarni)
ddadd71701 add 130E-2    120E-2    -> 2.50
ddadd71702 add 130E-2    12E-1     -> 2.50
ddadd71703 add 130E-2    1E0       -> 2.30
ddadd71704 add 1E2       1E4       -> 1.01E+4
ddadd71705 add 130E-2   -120E-2 -> 0.10
ddadd71706 add 130E-2   -12E-1  -> 0.10
ddadd71707 add 130E-2   -1E0    -> 0.30
ddadd71708 add 1E2      -1E4    -> -9.9E+3

-- query from Vincent Kulandaisamy
rounding: ceiling
ddadd71801  add  7.8822773805862E+277    -5.1757503820663E-21 -> 7.882277380586200E+277 Inexact Rounded
ddadd71802  add  7.882277380586200E+277  12.341               -> 7.882277380586201E+277 Inexact Rounded
ddadd71803  add  7.882277380586201E+277  2.7270545046613E-31  -> 7.882277380586202E+277 Inexact Rounded

ddadd71811  add                   12.341 -5.1757503820663E-21 -> 12.34100000000000      Inexact Rounded
ddadd71812  add        12.34100000000000 2.7270545046613E-31  -> 12.34100000000001      Inexact Rounded
ddadd71813  add        12.34100000000001 7.8822773805862E+277 -> 7.882277380586201E+277 Inexact Rounded

-- Gappy coefficients; check residue handling even with full coefficient gap
rounding: half_even

ddadd75001 add 1234567890123456 1      -> 1234567890123457
ddadd75002 add 1234567890123456 0.6    -> 1234567890123457  Inexact Rounded
ddadd75003 add 1234567890123456 0.06   -> 1234567890123456  Inexact Rounded
ddadd75004 add 1234567890123456 6E-3   -> 1234567890123456  Inexact Rounded
ddadd75005 add 1234567890123456 6E-4   -> 1234567890123456  Inexact Rounded
ddadd75006 add 1234567890123456 6E-5   -> 1234567890123456  Inexact Rounded
ddadd75007 add 1234567890123456 6E-6   -> 1234567890123456  Inexact Rounded
ddadd75008 add 1234567890123456 6E-7   -> 1234567890123456  Inexact Rounded
ddadd75009 add 1234567890123456 6E-8   -> 1234567890123456  Inexact Rounded
ddadd75010 add 1234567890123456 6E-9   -> 1234567890123456  Inexact Rounded
ddadd75011 add 1234567890123456 6E-10  -> 1234567890123456  Inexact Rounded
ddadd75012 add 1234567890123456 6E-11  -> 1234567890123456  Inexact Rounded
ddadd75013 add 1234567890123456 6E-12  -> 1234567890123456  Inexact Rounded
ddadd75014 add 1234567890123456 6E-13  -> 1234567890123456  Inexact Rounded
ddadd75015 add 1234567890123456 6E-14  -> 1234567890123456  Inexact Rounded
ddadd75016 add 1234567890123456 6E-15  -> 1234567890123456  Inexact Rounded
ddadd75017 add 1234567890123456 6E-16  -> 1234567890123456  Inexact Rounded
ddadd75018 add 1234567890123456 6E-17  -> 1234567890123456  Inexact Rounded
ddadd75019 add 1234567890123456 6E-18  -> 1234567890123456  Inexact Rounded
ddadd75020 add 1234567890123456 6E-19  -> 1234567890123456  Inexact Rounded
ddadd75021 add 1234567890123456 6E-20  -> 1234567890123456  Inexact Rounded

-- widening second argument at gap
ddadd75030 add 12345678 1                       -> 12345679
ddadd75031 add 12345678 0.1                     -> 12345678.1
ddadd75032 add 12345678 0.12                    -> 12345678.12
ddadd75033 add 12345678 0.123                   -> 12345678.123
ddadd75034 add 12345678 0.1234                  -> 12345678.1234
ddadd75035 add 12345678 0.12345                 -> 12345678.12345
ddadd75036 add 12345678 0.123456                -> 12345678.123456
ddadd75037 add 12345678 0.1234567               -> 12345678.1234567
ddadd75038 add 12345678 0.12345678              -> 12345678.12345678
ddadd75039 add 12345678 0.123456789             -> 12345678.12345679 Inexact Rounded
ddadd75040 add 12345678 0.123456785             -> 12345678.12345678 Inexact Rounded
ddadd75041 add 12345678 0.1234567850            -> 12345678.12345678 Inexact Rounded
ddadd75042 add 12345678 0.1234567851            -> 12345678.12345679 Inexact Rounded
ddadd75043 add 12345678 0.12345678501           -> 12345678.12345679 Inexact Rounded
ddadd75044 add 12345678 0.123456785001          -> 12345678.12345679 Inexact Rounded
ddadd75045 add 12345678 0.1234567850001         -> 12345678.12345679 Inexact Rounded
ddadd75046 add 12345678 0.12345678500001        -> 12345678.12345679 Inexact Rounded
ddadd75047 add 12345678 0.123456785000001       -> 12345678.12345679 Inexact Rounded
ddadd75048 add 12345678 0.1234567850000001      -> 12345678.12345679 Inexact Rounded
ddadd75049 add 12345678 0.1234567850000000      -> 12345678.12345678 Inexact Rounded
--                               90123456
rounding: half_even
ddadd75050 add 12345678 0.0234567750000000      -> 12345678.02345678 Inexact Rounded
ddadd75051 add 12345678 0.0034567750000000      -> 12345678.00345678 Inexact Rounded
ddadd75052 add 12345678 0.0004567750000000      -> 12345678.00045678 Inexact Rounded
ddadd75053 add 12345678 0.0000567750000000      -> 12345678.00005678 Inexact Rounded
ddadd75054 add 12345678 0.0000067750000000      -> 12345678.00000678 Inexact Rounded
ddadd75055 add 12345678 0.0000007750000000      -> 12345678.00000078 Inexact Rounded
ddadd75056 add 12345678 0.0000000750000000      -> 12345678.00000008 Inexact Rounded
ddadd75057 add 12345678 0.0000000050000000      -> 12345678.00000000 Inexact Rounded
ddadd75060 add 12345678 0.0234567750000001      -> 12345678.02345678 Inexact Rounded
ddadd75061 add 12345678 0.0034567750000001      -> 12345678.00345678 Inexact Rounded
ddadd75062 add 12345678 0.0004567750000001      -> 12345678.00045678 Inexact Rounded
ddadd75063 add 12345678 0.0000567750000001      -> 12345678.00005678 Inexact Rounded
ddadd75064 add 12345678 0.0000067750000001      -> 12345678.00000678 Inexact Rounded
ddadd75065 add 12345678 0.0000007750000001      -> 12345678.00000078 Inexact Rounded
ddadd75066 add 12345678 0.0000000750000001      -> 12345678.00000008 Inexact Rounded
ddadd75067 add 12345678 0.0000000050000001      -> 12345678.00000001 Inexact Rounded
-- far-out residues (full coefficient gap is 16+15 digits)
rounding: up
ddadd75070 add 12345678 1E-8                    -> 12345678.00000001
ddadd75071 add 12345678 1E-9                    -> 12345678.00000001 Inexact Rounded
ddadd75072 add 12345678 1E-10                   -> 12345678.00000001 Inexact Rounded
ddadd75073 add 12345678 1E-11                   -> 12345678.00000001 Inexact Rounded
ddadd75074 add 12345678 1E-12                   -> 12345678.00000001 Inexact Rounded
ddadd75075 add 12345678 1E-13                   -> 12345678.00000001 Inexact Rounded
ddadd75076 add 12345678 1E-14                   -> 12345678.00000001 Inexact Rounded
ddadd75077 add 12345678 1E-15                   -> 12345678.00000001 Inexact Rounded
ddadd75078 add 12345678 1E-16                   -> 12345678.00000001 Inexact Rounded
ddadd75079 add 12345678 1E-17                   -> 12345678.00000001 Inexact Rounded
ddadd75080 add 12345678 1E-18                   -> 12345678.00000001 Inexact Rounded
ddadd75081 add 12345678 1E-19                   -> 12345678.00000001 Inexact Rounded
ddadd75082 add 12345678 1E-20                   -> 12345678.00000001 Inexact Rounded
ddadd75083 add 12345678 1E-25                   -> 12345678.00000001 Inexact Rounded
ddadd75084 add 12345678 1E-30                   -> 12345678.00000001 Inexact Rounded
ddadd75085 add 12345678 1E-31                   -> 12345678.00000001 Inexact Rounded
ddadd75086 add 12345678 1E-32                   -> 12345678.00000001 Inexact Rounded
ddadd75087 add 12345678 1E-33                   -> 12345678.00000001 Inexact Rounded
ddadd75088 add 12345678 1E-34                   -> 12345678.00000001 Inexact Rounded
ddadd75089 add 12345678 1E-35                   -> 12345678.00000001 Inexact Rounded

-- Punit's
ddadd75100 add 1.000 -200.000                   -> -199.000

-- Rounding swathe
rounding: half_even
ddadd81100 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
ddadd81101 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81102 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81103 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81104 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81105 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81106 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81107 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81108 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81109 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81120 add  9999999999999999E+369  9E+369  ->  Infinity Overflow  Inexact Rounded
ddadd81121 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded

rounding: half_up
ddadd81200 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
ddadd81201 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81202 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81203 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81204 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81205 add  .2450    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81206 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81207 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81208 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81209 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81220 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
ddadd81221 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded

rounding: half_down
ddadd81300 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
ddadd81301 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81302 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81303 add  .2350    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81304 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81305 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81306 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81307 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81308 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81309 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81320 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
ddadd81321 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded

rounding: up
ddadd81400 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
ddadd81401 add  .2301    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81402 add  .2310    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81403 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81404 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81405 add  .2450    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81406 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81407 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81408 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81409 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81411 add -.2399   -12345678901234.00    -> -12345678901234.24  Inexact Rounded
ddadd81420 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
ddadd81421 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded

rounding: down
ddadd81500 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
ddadd81501 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81502 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81503 add  .2350    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81504 add  .2351    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81505 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81506 add  .2451    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81507 add  .2360    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81508 add  .2370    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81509 add  .2399    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81511 add -.2399   -12345678901234.00    -> -12345678901234.23  Inexact Rounded
ddadd81520 add  9999999999999999E+369  9E+369 ->  9.999999999999999E+384 Overflow  Inexact Rounded
ddadd81521 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow  Inexact Rounded

rounding: ceiling
ddadd81600 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
ddadd81601 add  .2301    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81602 add  .2310    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81603 add  .2350    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81604 add  .2351    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81605 add  .2450    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81606 add  .2451    12345678901234.00    ->  12345678901234.25  Inexact Rounded
ddadd81607 add  .2360    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81608 add  .2370    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81609 add  .2399    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81611 add -.2399   -12345678901234.00    -> -12345678901234.23  Inexact Rounded
ddadd81620 add  9999999999999999E+369  9E+369 ->  Infinity Overflow  Inexact Rounded
ddadd81621 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow  Inexact Rounded

rounding: floor
ddadd81700 add  .2300    12345678901234.00    ->  12345678901234.23  Rounded
ddadd81701 add  .2301    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81702 add  .2310    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81703 add  .2350    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81704 add  .2351    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81705 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81706 add  .2451    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd81707 add  .2360    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81708 add  .2370    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81709 add  .2399    12345678901234.00    ->  12345678901234.23  Inexact Rounded
ddadd81711 add -.2399   -12345678901234.00    -> -12345678901234.24  Inexact Rounded
ddadd81720 add  9999999999999999E+369  9E+369 ->  9.999999999999999E+384 Overflow  Inexact Rounded
ddadd81721 add -9999999999999999E+369 -9E+369 -> -Infinity Overflow  Inexact Rounded

rounding: 05up
ddadd81800 add  .2000    12345678901234.00    ->  12345678901234.20  Rounded
ddadd81801 add  .2001    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81802 add  .2010    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81803 add  .2050    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81804 add  .2051    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81807 add  .2060    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81808 add  .2070    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81809 add  .2099    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81811 add -.2099   -12345678901234.00    -> -12345678901234.21  Inexact Rounded
ddadd81820 add  9999999999999999E+369  9E+369 ->  9.999999999999999E+384 Overflow  Inexact Rounded
ddadd81821 add -9999999999999999E+369 -9E+369 -> -9.999999999999999E+384 Overflow  Inexact Rounded

ddadd81900 add  .2100    12345678901234.00    ->  12345678901234.21  Rounded
ddadd81901 add  .2101    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81902 add  .2110    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81903 add  .2150    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81904 add  .2151    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81907 add  .2160    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81908 add  .2170    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81909 add  .2199    12345678901234.00    ->  12345678901234.21  Inexact Rounded
ddadd81911 add -.2199   -12345678901234.00    -> -12345678901234.21  Inexact Rounded

ddadd82000 add  .2400    12345678901234.00    ->  12345678901234.24  Rounded
ddadd82001 add  .2401    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd82002 add  .2410    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd82003 add  .2450    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd82004 add  .2451    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd82007 add  .2460    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd82008 add  .2470    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd82009 add  .2499    12345678901234.00    ->  12345678901234.24  Inexact Rounded
ddadd82011 add -.2499   -12345678901234.00    -> -12345678901234.24  Inexact Rounded

ddadd82100 add  .2500    12345678901234.00    ->  12345678901234.25  Rounded
ddadd82101 add  .2501    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82102 add  .2510    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82103 add  .2550    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82104 add  .2551    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82107 add  .2560    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82108 add  .2570    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82109 add  .2599    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82111 add -.2599   -12345678901234.00    -> -12345678901234.26  Inexact Rounded

ddadd82200 add  .2600    12345678901234.00    ->  12345678901234.26  Rounded
ddadd82201 add  .2601    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82202 add  .2610    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82203 add  .2650    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82204 add  .2651    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82207 add  .2660    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82208 add  .2670    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82209 add  .2699    12345678901234.00    ->  12345678901234.26  Inexact Rounded
ddadd82211 add -.2699   -12345678901234.00    -> -12345678901234.26  Inexact Rounded

ddadd82300 add  .2900    12345678901234.00    ->  12345678901234.29  Rounded
ddadd82301 add  .2901    12345678901234.00    ->  12345678901234.29  Inexact Rounded
ddadd82302 add  .2910    12345678901234.00    ->  12345678901234.29  Inexact Rounded
ddadd82303 add  .2950    12345678901234.00    ->  12345678901234.29  Inexact Rounded
ddadd82304 add  .2951    12345678901234.00    ->  12345678901234.29  Inexact Rounded
ddadd82307 add  .2960    12345678901234.00    ->  12345678901234.29  Inexact Rounded
ddadd82308 add  .2970    12345678901234.00    ->  12345678901234.29  Inexact Rounded
ddadd82309 add  .2999    12345678901234.00    ->  12345678901234.29  Inexact Rounded
ddadd82311 add -.2999   -12345678901234.00    -> -12345678901234.29  Inexact Rounded

-- Null tests
ddadd9990 add 10  # -> NaN Invalid_operation
ddadd9991 add  # 10 -> NaN Invalid_operation

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.