Lib/test/decimaltestdata/add.decTest

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