Plan 9 from Bell Labs’s /usr/web/sources/contrib/bichued/root/sys/lib/python/test/decimaltestdata/add.decTest

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


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

precision:   9
rounding:    half_up
maxExponent: 384
minexponent: -383
extended:    1

-- [first group are 'quick confidence check']
addx001 add 1       1       ->  2
addx002 add 2       3       ->  5
addx003 add '5.75'  '3.3'   ->  9.05
addx004 add '5'     '-3'    ->  2
addx005 add '-5'    '-3'    ->  -8
addx006 add '-7'    '2.5'   ->  -4.5
addx007 add '0.7'   '0.3'   ->  1.0
addx008 add '1.25'  '1.25'  ->  2.50
addx009 add '1.23456789'  '1.00000000' -> '2.23456789'
addx010 add '1.23456789'  '1.00000011' -> '2.23456800'

addx011 add '0.4444444444'  '0.5555555555' -> '1.00000000' Inexact Rounded
addx012 add '0.4444444440'  '0.5555555555' -> '1.00000000' Inexact Rounded
addx013 add '0.4444444444'  '0.5555555550' -> '0.999999999' Inexact Rounded
addx014 add '0.44444444449'    '0' -> '0.444444444' Inexact Rounded
addx015 add '0.444444444499'   '0' -> '0.444444444' Inexact Rounded
addx016 add '0.4444444444999'  '0' -> '0.444444444' Inexact Rounded
addx017 add '0.4444444445000'  '0' -> '0.444444445' Inexact Rounded
addx018 add '0.4444444445001'  '0' -> '0.444444445' Inexact Rounded
addx019 add '0.444444444501'   '0' -> '0.444444445' Inexact Rounded
addx020 add '0.44444444451'    '0' -> '0.444444445' Inexact Rounded

addx021 add 0 1 -> 1
addx022 add 1 1 -> 2
addx023 add 2 1 -> 3
addx024 add 3 1 -> 4
addx025 add 4 1 -> 5
addx026 add 5 1 -> 6
addx027 add 6 1 -> 7
addx028 add 7 1 -> 8
addx029 add 8 1 -> 9
addx030 add 9 1 -> 10

-- some carrying effects
addx031 add '0.9998'  '0.0000' -> '0.9998'
addx032 add '0.9998'  '0.0001' -> '0.9999'
addx033 add '0.9998'  '0.0002' -> '1.0000'
addx034 add '0.9998'  '0.0003' -> '1.0001'

addx035 add '70'  '10000e+9' -> '1.00000000E+13' Inexact Rounded
addx036 add '700'  '10000e+9' -> '1.00000000E+13' Inexact Rounded
addx037 add '7000'  '10000e+9' -> '1.00000000E+13' Inexact Rounded
addx038 add '70000'  '10000e+9' -> '1.00000001E+13' Inexact Rounded
addx039 add '700000'  '10000e+9' -> '1.00000007E+13' Rounded

-- symmetry:
addx040 add '10000e+9'  '70' -> '1.00000000E+13' Inexact Rounded
addx041 add '10000e+9'  '700' -> '1.00000000E+13' Inexact Rounded
addx042 add '10000e+9'  '7000' -> '1.00000000E+13' Inexact Rounded
addx044 add '10000e+9'  '70000' -> '1.00000001E+13' Inexact Rounded
addx045 add '10000e+9'  '700000' -> '1.00000007E+13' Rounded

-- same, higher precision
precision: 15
addx046 add '10000e+9'  '7' -> '10000000000007'
addx047 add '10000e+9'  '70' -> '10000000000070'
addx048 add '10000e+9'  '700' -> '10000000000700'
addx049 add '10000e+9'  '7000' -> '10000000007000'
addx050 add '10000e+9'  '70000' -> '10000000070000'
addx051 add '10000e+9'  '700000' -> '10000000700000'

-- examples from decarith
addx053 add '12' '7.00' -> '19.00'
addx054 add '1.3' '-1.07' -> '0.23'
addx055 add '1.3' '-1.30' -> '0.00'
addx056 add '1.3' '-2.07' -> '-0.77'
addx057 add '1E+2' '1E+4' -> '1.01E+4'

-- zero preservation
precision: 6
addx060 add '10000e+9'  '70000' -> '1.00000E+13' Inexact Rounded
addx061 add 1 '0.0001' -> '1.0001'
addx062 add 1 '0.00001' -> '1.00001'
addx063 add 1 '0.000001' -> '1.00000' Inexact Rounded
addx064 add 1 '0.0000001' -> '1.00000' Inexact Rounded
addx065 add 1 '0.00000001' -> '1.00000' Inexact Rounded

-- some funny zeros [in case of bad signum]
addx070 add 1  0    -> 1
addx071 add 1 0.    -> 1
addx072 add 1  .0   -> 1.0
addx073 add 1 0.0   -> 1.0
addx074 add 1 0.00  -> 1.00
addx075 add  0  1   -> 1
addx076 add 0.  1   -> 1
addx077 add  .0 1   -> 1.0
addx078 add 0.0 1   -> 1.0
addx079 add 0.00 1  -> 1.00

precision: 9

-- some carries
addx080 add 999999998 1  -> 999999999
addx081 add 999999999 1  -> 1.00000000E+9 Rounded
addx082 add  99999999 1  -> 100000000
addx083 add   9999999 1  -> 10000000
addx084 add    999999 1  -> 1000000
addx085 add     99999 1  -> 100000
addx086 add      9999 1  -> 10000
addx087 add       999 1  -> 1000
addx088 add        99 1  -> 100
addx089 add         9 1  -> 10


-- more LHS swaps
addx090 add '-56267E-10'   0 ->  '-0.0000056267'
addx091 add '-56267E-6'    0 ->  '-0.056267'
addx092 add '-56267E-5'    0 ->  '-0.56267'
addx093 add '-56267E-4'    0 ->  '-5.6267'
addx094 add '-56267E-3'    0 ->  '-56.267'
addx095 add '-56267E-2'    0 ->  '-562.67'
addx096 add '-56267E-1'    0 ->  '-5626.7'
addx097 add '-56267E-0'    0 ->  '-56267'
addx098 add '-5E-10'       0 ->  '-5E-10'
addx099 add '-5E-7'        0 ->  '-5E-7'
addx100 add '-5E-6'        0 ->  '-0.000005'
addx101 add '-5E-5'        0 ->  '-0.00005'
addx102 add '-5E-4'        0 ->  '-0.0005'
addx103 add '-5E-1'        0 ->  '-0.5'
addx104 add '-5E0'         0 ->  '-5'
addx105 add '-5E1'         0 ->  '-50'
addx106 add '-5E5'         0 ->  '-500000'
addx107 add '-5E8'         0 ->  '-500000000'
addx108 add '-5E9'         0 ->  '-5.00000000E+9'   Rounded
addx109 add '-5E10'        0 ->  '-5.00000000E+10'  Rounded
addx110 add '-5E11'        0 ->  '-5.00000000E+11'  Rounded
addx111 add '-5E100'       0 ->  '-5.00000000E+100' Rounded

-- more RHS swaps
addx113 add 0  '-56267E-10' ->  '-0.0000056267'
addx114 add 0  '-56267E-6'  ->  '-0.056267'
addx116 add 0  '-56267E-5'  ->  '-0.56267'
addx117 add 0  '-56267E-4'  ->  '-5.6267'
addx119 add 0  '-56267E-3'  ->  '-56.267'
addx120 add 0  '-56267E-2'  ->  '-562.67'
addx121 add 0  '-56267E-1'  ->  '-5626.7'
addx122 add 0  '-56267E-0'  ->  '-56267'
addx123 add 0  '-5E-10'     ->  '-5E-10'
addx124 add 0  '-5E-7'      ->  '-5E-7'
addx125 add 0  '-5E-6'      ->  '-0.000005'
addx126 add 0  '-5E-5'      ->  '-0.00005'
addx127 add 0  '-5E-4'      ->  '-0.0005'
addx128 add 0  '-5E-1'      ->  '-0.5'
addx129 add 0  '-5E0'       ->  '-5'
addx130 add 0  '-5E1'       ->  '-50'
addx131 add 0  '-5E5'       ->  '-500000'
addx132 add 0  '-5E8'       ->  '-500000000'
addx133 add 0  '-5E9'       ->  '-5.00000000E+9'    Rounded
addx134 add 0  '-5E10'      ->  '-5.00000000E+10'   Rounded
addx135 add 0  '-5E11'      ->  '-5.00000000E+11'   Rounded
addx136 add 0  '-5E100'     ->  '-5.00000000E+100'  Rounded

-- related
addx137 add  1  '0E-12'      ->  '1.00000000'  Rounded
addx138 add -1  '0E-12'      ->  '-1.00000000' Rounded
addx139 add '0E-12' 1        ->  '1.00000000'  Rounded
addx140 add '0E-12' -1       ->  '-1.00000000' Rounded
addx141 add 1E+4    0.0000   ->  '10000.0000'
addx142 add 1E+4    0.00000  ->  '10000.0000'  Rounded
addx143 add 0.000   1E+5     ->  '100000.000'
addx144 add 0.0000  1E+5     ->  '100000.000'  Rounded

-- [some of the next group are really constructor tests]
addx146 add '00.0'  0       ->  '0.0'
addx147 add '0.00'  0       ->  '0.00'
addx148 add  0      '0.00'  ->  '0.00'
addx149 add  0      '00.0'  ->  '0.0'
addx150 add '00.0'  '0.00'  ->  '0.00'
addx151 add '0.00'  '00.0'  ->  '0.00'
addx152 add '3'     '.3'    ->  '3.3'
addx153 add '3.'    '.3'    ->  '3.3'
addx154 add '3.0'   '.3'    ->  '3.3'
addx155 add '3.00'  '.3'    ->  '3.30'
addx156 add '3'     '3'     ->  '6'
addx157 add '3'     '+3'    ->  '6'
addx158 add '3'     '-3'    ->  '0'
addx159 add '0.3'   '-0.3'  ->  '0.0'
addx160 add '0.03'  '-0.03' ->  '0.00'

-- try borderline precision, with carries, etc.
precision: 15
addx161 add '1E+12' '-1'    -> '999999999999'
addx162 add '1E+12'  '1.11' -> '1000000000001.11'
addx163 add '1.11'  '1E+12' -> '1000000000001.11'
addx164 add '-1'    '1E+12' -> '999999999999'
addx165 add '7E+12' '-1'    -> '6999999999999'
addx166 add '7E+12'  '1.11' -> '7000000000001.11'
addx167 add '1.11'  '7E+12' -> '7000000000001.11'
addx168 add '-1'    '7E+12' -> '6999999999999'

--            123456789012345      123456789012345      1 23456789012345
addx170 add '0.444444444444444'  '0.555555555555563' -> '1.00000000000001' Inexact Rounded
addx171 add '0.444444444444444'  '0.555555555555562' -> '1.00000000000001' Inexact Rounded
addx172 add '0.444444444444444'  '0.555555555555561' -> '1.00000000000001' Inexact Rounded
addx173 add '0.444444444444444'  '0.555555555555560' -> '1.00000000000000' Inexact Rounded
addx174 add '0.444444444444444'  '0.555555555555559' -> '1.00000000000000' Inexact Rounded
addx175 add '0.444444444444444'  '0.555555555555558' -> '1.00000000000000' Inexact Rounded
addx176 add '0.444444444444444'  '0.555555555555557' -> '1.00000000000000' Inexact Rounded
addx177 add '0.444444444444444'  '0.555555555555556' -> '1.00000000000000' Rounded
addx178 add '0.444444444444444'  '0.555555555555555' -> '0.999999999999999'
addx179 add '0.444444444444444'  '0.555555555555554' -> '0.999999999999998'
addx180 add '0.444444444444444'  '0.555555555555553' -> '0.999999999999997'
addx181 add '0.444444444444444'  '0.555555555555552' -> '0.999999999999996'
addx182 add '0.444444444444444'  '0.555555555555551' -> '0.999999999999995'
addx183 add '0.444444444444444'  '0.555555555555550' -> '0.999999999999994'

-- and some more, including residue effects and different roundings
precision: 9
rounding: half_up
addx200 add '123456789' 0             -> '123456789'
addx201 add '123456789' 0.000000001   -> '123456789' Inexact Rounded
addx202 add '123456789' 0.000001      -> '123456789' Inexact Rounded
addx203 add '123456789' 0.1           -> '123456789' Inexact Rounded
addx204 add '123456789' 0.4           -> '123456789' Inexact Rounded
addx205 add '123456789' 0.49          -> '123456789' Inexact Rounded
addx206 add '123456789' 0.499999      -> '123456789' Inexact Rounded
addx207 add '123456789' 0.499999999   -> '123456789' Inexact Rounded
addx208 add '123456789' 0.5           -> '123456790' Inexact Rounded
addx209 add '123456789' 0.500000001   -> '123456790' Inexact Rounded
addx210 add '123456789' 0.500001      -> '123456790' Inexact Rounded
addx211 add '123456789' 0.51          -> '123456790' Inexact Rounded
addx212 add '123456789' 0.6           -> '123456790' Inexact Rounded
addx213 add '123456789' 0.9           -> '123456790' Inexact Rounded
addx214 add '123456789' 0.99999       -> '123456790' Inexact Rounded
addx215 add '123456789' 0.999999999   -> '123456790' Inexact Rounded
addx216 add '123456789' 1             -> '123456790'
addx217 add '123456789' 1.000000001   -> '123456790' Inexact Rounded
addx218 add '123456789' 1.00001       -> '123456790' Inexact Rounded
addx219 add '123456789' 1.1           -> '123456790' Inexact Rounded

rounding: half_even
addx220 add '123456789' 0             -> '123456789'
addx221 add '123456789' 0.000000001   -> '123456789' Inexact Rounded
addx222 add '123456789' 0.000001      -> '123456789' Inexact Rounded
addx223 add '123456789' 0.1           -> '123456789' Inexact Rounded
addx224 add '123456789' 0.4           -> '123456789' Inexact Rounded
addx225 add '123456789' 0.49          -> '123456789' Inexact Rounded
addx226 add '123456789' 0.499999      -> '123456789' Inexact Rounded
addx227 add '123456789' 0.499999999   -> '123456789' Inexact Rounded
addx228 add '123456789' 0.5           -> '123456790' Inexact Rounded
addx229 add '123456789' 0.500000001   -> '123456790' Inexact Rounded
addx230 add '123456789' 0.500001      -> '123456790' Inexact Rounded
addx231 add '123456789' 0.51          -> '123456790' Inexact Rounded
addx232 add '123456789' 0.6           -> '123456790' Inexact Rounded
addx233 add '123456789' 0.9           -> '123456790' Inexact Rounded
addx234 add '123456789' 0.99999       -> '123456790' Inexact Rounded
addx235 add '123456789' 0.999999999   -> '123456790' Inexact Rounded
addx236 add '123456789' 1             -> '123456790'
addx237 add '123456789' 1.00000001    -> '123456790' Inexact Rounded
addx238 add '123456789' 1.00001       -> '123456790' Inexact Rounded
addx239 add '123456789' 1.1           -> '123456790' Inexact Rounded
-- critical few with even bottom digit...
addx240 add '123456788' 0.499999999   -> '123456788' Inexact Rounded
addx241 add '123456788' 0.5           -> '123456788' Inexact Rounded
addx242 add '123456788' 0.500000001   -> '123456789' Inexact Rounded

rounding: down
addx250 add '123456789' 0             -> '123456789'
addx251 add '123456789' 0.000000001   -> '123456789' Inexact Rounded
addx252 add '123456789' 0.000001      -> '123456789' Inexact Rounded
addx253 add '123456789' 0.1           -> '123456789' Inexact Rounded
addx254 add '123456789' 0.4           -> '123456789' Inexact Rounded
addx255 add '123456789' 0.49          -> '123456789' Inexact Rounded
addx256 add '123456789' 0.499999      -> '123456789' Inexact Rounded
addx257 add '123456789' 0.499999999   -> '123456789' Inexact Rounded
addx258 add '123456789' 0.5           -> '123456789' Inexact Rounded
addx259 add '123456789' 0.500000001   -> '123456789' Inexact Rounded
addx260 add '123456789' 0.500001      -> '123456789' Inexact Rounded
addx261 add '123456789' 0.51          -> '123456789' Inexact Rounded
addx262 add '123456789' 0.6           -> '123456789' Inexact Rounded
addx263 add '123456789' 0.9           -> '123456789' Inexact Rounded
addx264 add '123456789' 0.99999       -> '123456789' Inexact Rounded
addx265 add '123456789' 0.999999999   -> '123456789' Inexact Rounded
addx266 add '123456789' 1             -> '123456790'
addx267 add '123456789' 1.00000001    -> '123456790' Inexact Rounded
addx268 add '123456789' 1.00001       -> '123456790' Inexact Rounded
addx269 add '123456789' 1.1           -> '123456790' Inexact Rounded

-- input preparation tests (operands should not be rounded)
precision: 3
rounding: half_up

addx270 add '12345678900000'  9999999999999 ->  '2.23E+13' Inexact Rounded
addx271 add  '9999999999999' 12345678900000 ->  '2.23E+13' Inexact Rounded

addx272 add '12E+3'  '3444'   ->  '1.54E+4' Inexact Rounded
addx273 add '12E+3'  '3446'   ->  '1.54E+4' Inexact Rounded
addx274 add '12E+3'  '3449.9' ->  '1.54E+4' Inexact Rounded
addx275 add '12E+3'  '3450.0' ->  '1.55E+4' Inexact Rounded
addx276 add '12E+3'  '3450.1' ->  '1.55E+4' Inexact Rounded
addx277 add '12E+3'  '3454'   ->  '1.55E+4' Inexact Rounded
addx278 add '12E+3'  '3456'   ->  '1.55E+4' Inexact Rounded

addx281 add '3444'   '12E+3'  ->  '1.54E+4' Inexact Rounded
addx282 add '3446'   '12E+3'  ->  '1.54E+4' Inexact Rounded
addx283 add '3449.9' '12E+3'  ->  '1.54E+4' Inexact Rounded
addx284 add '3450.0' '12E+3'  ->  '1.55E+4' Inexact Rounded
addx285 add '3450.1' '12E+3'  ->  '1.55E+4' Inexact Rounded
addx286 add '3454'   '12E+3'  ->  '1.55E+4' Inexact Rounded
addx287 add '3456'   '12E+3'  ->  '1.55E+4' Inexact Rounded

rounding: half_down
addx291 add '3444'   '12E+3'  ->  '1.54E+4' Inexact Rounded
addx292 add '3446'   '12E+3'  ->  '1.54E+4' Inexact Rounded
addx293 add '3449.9' '12E+3'  ->  '1.54E+4' Inexact Rounded
addx294 add '3450.0' '12E+3'  ->  '1.54E+4' Inexact Rounded
addx295 add '3450.1' '12E+3'  ->  '1.55E+4' Inexact Rounded
addx296 add '3454'   '12E+3'  ->  '1.55E+4' Inexact Rounded
addx297 add '3456'   '12E+3'  ->  '1.55E+4' Inexact Rounded

-- 1 in last place tests
rounding: half_up
addx301 add  -1   1      ->   0
addx302 add   0   1      ->   1
addx303 add   1   1      ->   2
addx304 add  12   1      ->  13
addx305 add  98   1      ->  99
addx306 add  99   1      -> 100
addx307 add 100   1      -> 101
addx308 add 101   1      -> 102
addx309 add  -1  -1      ->  -2
addx310 add   0  -1      ->  -1
addx311 add   1  -1      ->   0
addx312 add  12  -1      ->  11
addx313 add  98  -1      ->  97
addx314 add  99  -1      ->  98
addx315 add 100  -1      ->  99
addx316 add 101  -1      -> 100

addx321 add -0.01  0.01    ->  0.00
addx322 add  0.00  0.01    ->  0.01
addx323 add  0.01  0.01    ->  0.02
addx324 add  0.12  0.01    ->  0.13
addx325 add  0.98  0.01    ->  0.99
addx326 add  0.99  0.01    ->  1.00
addx327 add  1.00  0.01    ->  1.01
addx328 add  1.01  0.01    ->  1.02
addx329 add -0.01 -0.01    -> -0.02
addx330 add  0.00 -0.01    -> -0.01
addx331 add  0.01 -0.01    ->  0.00
addx332 add  0.12 -0.01    ->  0.11
addx333 add  0.98 -0.01    ->  0.97
addx334 add  0.99 -0.01    ->  0.98
addx335 add  1.00 -0.01    ->  0.99
addx336 add  1.01 -0.01    ->  1.00

-- some more cases where adding 0 affects the coefficient
precision: 9
addx340 add 1E+3    0    ->         1000
addx341 add 1E+8    0    ->    100000000
addx342 add 1E+9    0    ->   1.00000000E+9   Rounded
addx343 add 1E+10   0    ->   1.00000000E+10  Rounded
-- which simply follow from these cases ...
addx344 add 1E+3    1    ->         1001
addx345 add 1E+8    1    ->    100000001
addx346 add 1E+9    1    ->   1.00000000E+9   Inexact Rounded
addx347 add 1E+10   1    ->   1.00000000E+10  Inexact Rounded
addx348 add 1E+3    7    ->         1007
addx349 add 1E+8    7    ->    100000007
addx350 add 1E+9    7    ->   1.00000001E+9   Inexact Rounded
addx351 add 1E+10   7    ->   1.00000000E+10  Inexact Rounded

-- tryzeros cases
precision:   7
rounding:    half_up
maxExponent: 92
minexponent: -92
addx361  add 0E+50 10000E+1  -> 1.0000E+5
addx362  add 10000E+1 0E-50  -> 100000.0  Rounded
addx363  add 10000E+1 10000E-50  -> 100000.0  Rounded Inexact

-- a curiosity from JSR 13 testing
rounding:    half_down
precision:   10
addx370 add 99999999 81512 -> 100081511
precision:      6
addx371 add 99999999 81512 -> 1.00082E+8 Rounded Inexact
rounding:    half_up
precision:   10
addx372 add 99999999 81512 -> 100081511
precision:      6
addx373 add 99999999 81512 -> 1.00082E+8 Rounded Inexact
rounding:    half_even
precision:   10
addx374 add 99999999 81512 -> 100081511
precision:      6
addx375 add 99999999 81512 -> 1.00082E+8 Rounded Inexact

-- ulp replacement tests
precision: 9
maxexponent: 999999999
minexponent: -999999999
addx400 add   1   77e-7       ->  1.0000077
addx401 add   1   77e-8       ->  1.00000077
addx402 add   1   77e-9       ->  1.00000008 Inexact Rounded
addx403 add   1   77e-10      ->  1.00000001 Inexact Rounded
addx404 add   1   77e-11      ->  1.00000000 Inexact Rounded
addx405 add   1   77e-12      ->  1.00000000 Inexact Rounded
addx406 add   1   77e-999     ->  1.00000000 Inexact Rounded
addx407 add   1   77e-9999999 ->  1.00000000 Inexact Rounded

addx410 add  10   77e-7       ->  10.0000077
addx411 add  10   77e-8       ->  10.0000008 Inexact Rounded
addx412 add  10   77e-9       ->  10.0000001 Inexact Rounded
addx413 add  10   77e-10      ->  10.0000000 Inexact Rounded
addx414 add  10   77e-11      ->  10.0000000 Inexact Rounded
addx415 add  10   77e-12      ->  10.0000000 Inexact Rounded
addx416 add  10   77e-999     ->  10.0000000 Inexact Rounded
addx417 add  10   77e-9999999 ->  10.0000000 Inexact Rounded

addx420 add  77e-7        1   ->  1.0000077
addx421 add  77e-8        1   ->  1.00000077
addx422 add  77e-9        1   ->  1.00000008 Inexact Rounded
addx423 add  77e-10       1   ->  1.00000001 Inexact Rounded
addx424 add  77e-11       1   ->  1.00000000 Inexact Rounded
addx425 add  77e-12       1   ->  1.00000000 Inexact Rounded
addx426 add  77e-999      1   ->  1.00000000 Inexact Rounded
addx427 add  77e-9999999  1   ->  1.00000000 Inexact Rounded

addx430 add  77e-7       10   ->  10.0000077
addx431 add  77e-8       10   ->  10.0000008 Inexact Rounded
addx432 add  77e-9       10   ->  10.0000001 Inexact Rounded
addx433 add  77e-10      10   ->  10.0000000 Inexact Rounded
addx434 add  77e-11      10   ->  10.0000000 Inexact Rounded
addx435 add  77e-12      10   ->  10.0000000 Inexact Rounded
addx436 add  77e-999     10   ->  10.0000000 Inexact Rounded
addx437 add  77e-9999999 10   ->  10.0000000 Inexact Rounded

-- negative ulps
addx440 add   1   -77e-7       ->  0.9999923
addx441 add   1   -77e-8       ->  0.99999923
addx442 add   1   -77e-9       ->  0.999999923
addx443 add   1   -77e-10      ->  0.999999992 Inexact Rounded
addx444 add   1   -77e-11      ->  0.999999999 Inexact Rounded
addx445 add   1   -77e-12      ->  1.00000000 Inexact Rounded
addx446 add   1   -77e-999     ->  1.00000000 Inexact Rounded
addx447 add   1   -77e-9999999 ->  1.00000000 Inexact Rounded

addx450 add  10   -77e-7       ->   9.9999923
addx451 add  10   -77e-8       ->   9.99999923
addx452 add  10   -77e-9       ->   9.99999992 Inexact Rounded
addx453 add  10   -77e-10      ->   9.99999999 Inexact Rounded
addx454 add  10   -77e-11      ->  10.0000000 Inexact Rounded
addx455 add  10   -77e-12      ->  10.0000000 Inexact Rounded
addx456 add  10   -77e-999     ->  10.0000000 Inexact Rounded
addx457 add  10   -77e-9999999 ->  10.0000000 Inexact Rounded

addx460 add  -77e-7        1   ->  0.9999923
addx461 add  -77e-8        1   ->  0.99999923
addx462 add  -77e-9        1   ->  0.999999923
addx463 add  -77e-10       1   ->  0.999999992 Inexact Rounded
addx464 add  -77e-11       1   ->  0.999999999 Inexact Rounded
addx465 add  -77e-12       1   ->  1.00000000 Inexact Rounded
addx466 add  -77e-999      1   ->  1.00000000 Inexact Rounded
addx467 add  -77e-9999999  1   ->  1.00000000 Inexact Rounded

addx470 add  -77e-7       10   ->   9.9999923
addx471 add  -77e-8       10   ->   9.99999923
addx472 add  -77e-9       10   ->   9.99999992 Inexact Rounded
addx473 add  -77e-10      10   ->   9.99999999 Inexact Rounded
addx474 add  -77e-11      10   ->  10.0000000 Inexact Rounded
addx475 add  -77e-12      10   ->  10.0000000 Inexact Rounded
addx476 add  -77e-999     10   ->  10.0000000 Inexact Rounded
addx477 add  -77e-9999999 10   ->  10.0000000 Inexact Rounded

-- negative ulps
addx480 add  -1    77e-7       ->  -0.9999923
addx481 add  -1    77e-8       ->  -0.99999923
addx482 add  -1    77e-9       ->  -0.999999923
addx483 add  -1    77e-10      ->  -0.999999992 Inexact Rounded
addx484 add  -1    77e-11      ->  -0.999999999 Inexact Rounded
addx485 add  -1    77e-12      ->  -1.00000000 Inexact Rounded
addx486 add  -1    77e-999     ->  -1.00000000 Inexact Rounded
addx487 add  -1    77e-9999999 ->  -1.00000000 Inexact Rounded

addx490 add -10    77e-7       ->   -9.9999923
addx491 add -10    77e-8       ->   -9.99999923
addx492 add -10    77e-9       ->   -9.99999992 Inexact Rounded
addx493 add -10    77e-10      ->   -9.99999999 Inexact Rounded
addx494 add -10    77e-11      ->  -10.0000000 Inexact Rounded
addx495 add -10    77e-12      ->  -10.0000000 Inexact Rounded
addx496 add -10    77e-999     ->  -10.0000000 Inexact Rounded
addx497 add -10    77e-9999999 ->  -10.0000000 Inexact Rounded

addx500 add   77e-7       -1   ->  -0.9999923
addx501 add   77e-8       -1   ->  -0.99999923
addx502 add   77e-9       -1   ->  -0.999999923
addx503 add   77e-10      -1   ->  -0.999999992 Inexact Rounded
addx504 add   77e-11      -1   ->  -0.999999999 Inexact Rounded
addx505 add   77e-12      -1   ->  -1.00000000 Inexact Rounded
addx506 add   77e-999     -1   ->  -1.00000000 Inexact Rounded
addx507 add   77e-9999999 -1   ->  -1.00000000 Inexact Rounded

addx510 add   77e-7       -10  ->   -9.9999923
addx511 add   77e-8       -10  ->   -9.99999923
addx512 add   77e-9       -10  ->   -9.99999992 Inexact Rounded
addx513 add   77e-10      -10  ->   -9.99999999 Inexact Rounded
addx514 add   77e-11      -10  ->  -10.0000000 Inexact Rounded
addx515 add   77e-12      -10  ->  -10.0000000 Inexact Rounded
addx516 add   77e-999     -10  ->  -10.0000000 Inexact Rounded
addx517 add   77e-9999999 -10  ->  -10.0000000 Inexact Rounded


-- long operands
maxexponent: 999
minexponent: -999
precision: 9
addx521 add 12345678000 0 -> 1.23456780E+10 Rounded
addx522 add 0 12345678000 -> 1.23456780E+10 Rounded
addx523 add 1234567800  0 -> 1.23456780E+9 Rounded
addx524 add 0 1234567800  -> 1.23456780E+9 Rounded
addx525 add 1234567890  0 -> 1.23456789E+9 Rounded
addx526 add 0 1234567890  -> 1.23456789E+9 Rounded
addx527 add 1234567891  0 -> 1.23456789E+9 Inexact Rounded
addx528 add 0 1234567891  -> 1.23456789E+9 Inexact Rounded
addx529 add 12345678901 0 -> 1.23456789E+10 Inexact Rounded
addx530 add 0 12345678901 -> 1.23456789E+10 Inexact Rounded
addx531 add 1234567896  0 -> 1.23456790E+9 Inexact Rounded
addx532 add 0 1234567896  -> 1.23456790E+9 Inexact Rounded

precision: 15
-- still checking
addx541 add 12345678000 0 -> 12345678000
addx542 add 0 12345678000 -> 12345678000
addx543 add 1234567800  0 -> 1234567800
addx544 add 0 1234567800  -> 1234567800
addx545 add 1234567890  0 -> 1234567890
addx546 add 0 1234567890  -> 1234567890
addx547 add 1234567891  0 -> 1234567891
addx548 add 0 1234567891  -> 1234567891
addx549 add 12345678901 0 -> 12345678901
addx550 add 0 12345678901 -> 12345678901
addx551 add 1234567896  0 -> 1234567896
addx552 add 0 1234567896  -> 1234567896

-- verify a query
precision:    16
maxExponent: +394
minExponent: -393
rounding:     down
addx561 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
addx562 add      0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
-- and using decimal64 bounds...
precision:    16
maxExponent: +384
minExponent: -383
rounding:     down
addx563 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
addx564 add      0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded

-- some more residue effects with extreme rounding
precision:   9
rounding: half_up
addx601 add 123456789  0.000001 -> 123456789 Inexact Rounded
rounding: half_even
addx602 add 123456789  0.000001 -> 123456789 Inexact Rounded
rounding: half_down
addx603 add 123456789  0.000001 -> 123456789 Inexact Rounded
rounding: floor
addx604 add 123456789  0.000001 -> 123456789 Inexact Rounded
rounding: ceiling
addx605 add 123456789  0.000001 -> 123456790 Inexact Rounded
rounding: up
addx606 add 123456789  0.000001 -> 123456790 Inexact Rounded
rounding: down
addx607 add 123456789  0.000001 -> 123456789 Inexact Rounded

rounding: half_up
addx611 add 123456789 -0.000001 -> 123456789 Inexact Rounded
rounding: half_even
addx612 add 123456789 -0.000001 -> 123456789 Inexact Rounded
rounding: half_down
addx613 add 123456789 -0.000001 -> 123456789 Inexact Rounded
rounding: floor
addx614 add 123456789 -0.000001 -> 123456788 Inexact Rounded
rounding: ceiling
addx615 add 123456789 -0.000001 -> 123456789 Inexact Rounded
rounding: up
addx616 add 123456789 -0.000001 -> 123456789 Inexact Rounded
rounding: down
addx617 add 123456789 -0.000001 -> 123456788 Inexact Rounded

rounding: half_up
addx621 add 123456789  0.499999 -> 123456789 Inexact Rounded
rounding: half_even
addx622 add 123456789  0.499999 -> 123456789 Inexact Rounded
rounding: half_down
addx623 add 123456789  0.499999 -> 123456789 Inexact Rounded
rounding: floor
addx624 add 123456789  0.499999 -> 123456789 Inexact Rounded
rounding: ceiling
addx625 add 123456789  0.499999 -> 123456790 Inexact Rounded
rounding: up
addx626 add 123456789  0.499999 -> 123456790 Inexact Rounded
rounding: down
addx627 add 123456789  0.499999 -> 123456789 Inexact Rounded

rounding: half_up
addx631 add 123456789 -0.499999 -> 123456789 Inexact Rounded
rounding: half_even
addx632 add 123456789 -0.499999 -> 123456789 Inexact Rounded
rounding: half_down
addx633 add 123456789 -0.499999 -> 123456789 Inexact Rounded
rounding: floor
addx634 add 123456789 -0.499999 -> 123456788 Inexact Rounded
rounding: ceiling
addx635 add 123456789 -0.499999 -> 123456789 Inexact Rounded
rounding: up
addx636 add 123456789 -0.499999 -> 123456789 Inexact Rounded
rounding: down
addx637 add 123456789 -0.499999 -> 123456788 Inexact Rounded

rounding: half_up
addx641 add 123456789  0.500001 -> 123456790 Inexact Rounded
rounding: half_even
addx642 add 123456789  0.500001 -> 123456790 Inexact Rounded
rounding: half_down
addx643 add 123456789  0.500001 -> 123456790 Inexact Rounded
rounding: floor
addx644 add 123456789  0.500001 -> 123456789 Inexact Rounded
rounding: ceiling
addx645 add 123456789  0.500001 -> 123456790 Inexact Rounded
rounding: up
addx646 add 123456789  0.500001 -> 123456790 Inexact Rounded
rounding: down
addx647 add 123456789  0.500001 -> 123456789 Inexact Rounded

rounding: half_up
addx651 add 123456789 -0.500001 -> 123456788 Inexact Rounded
rounding: half_even
addx652 add 123456789 -0.500001 -> 123456788 Inexact Rounded
rounding: half_down
addx653 add 123456789 -0.500001 -> 123456788 Inexact Rounded
rounding: floor
addx654 add 123456789 -0.500001 -> 123456788 Inexact Rounded
rounding: ceiling
addx655 add 123456789 -0.500001 -> 123456789 Inexact Rounded
rounding: up
addx656 add 123456789 -0.500001 -> 123456789 Inexact Rounded
rounding: down
addx657 add 123456789 -0.500001 -> 123456788 Inexact Rounded

-- long operand triangle
rounding: half_up
precision:  37
addx660 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114834538
precision:  36
addx661 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483454  Inexact Rounded
precision:  35
addx662 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148345   Inexact Rounded
precision:  34
addx663 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114835    Inexact Rounded
precision:  33
addx664 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483     Inexact Rounded
precision:  32
addx665 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148      Inexact Rounded
precision:  31
addx666 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337115       Inexact Rounded
precision:  30
addx667 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711        Inexact Rounded
precision:  29
addx668 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371         Inexact Rounded
precision:  28
addx669 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337          Inexact Rounded
precision:  27
addx670 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892234           Inexact Rounded
precision:  26
addx671 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223            Inexact Rounded
precision:  25
addx672 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922             Inexact Rounded
precision:  24
addx673 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892              Inexact Rounded
precision:  23
addx674 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389               Inexact Rounded
precision:  22
addx675 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023639                Inexact Rounded
precision:  21
addx676 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102364                 Inexact Rounded
precision:  20
addx677 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236                  Inexact Rounded
precision:  19
addx678 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211024                   Inexact Rounded
precision:  18
addx679 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102                    Inexact Rounded
precision:  17
addx680 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110                     Inexact Rounded
precision:  16
addx681 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211                      Inexact Rounded
precision:  15
addx682 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221                       Inexact Rounded
precision:  14
addx683 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422                        Inexact Rounded
precision:  13
addx684 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42                         Inexact Rounded
precision:  12
addx685 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4                          Inexact Rounded
precision:  11
addx686 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166                            Inexact Rounded
precision:  10
addx687 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117417E+10                        Inexact Rounded
precision:   9
addx688 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84711742E+10                         Inexact Rounded
precision:   8
addx689 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471174E+10                          Inexact Rounded
precision:   7
addx690 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117E+10                          Inexact Rounded
precision:   6
addx691 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84712E+10                          Inexact Rounded
precision:   5
addx692 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471E+10                          Inexact Rounded
precision:   4
addx693 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847E+10                          Inexact Rounded
precision:   3
addx694 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.85E+10                          Inexact Rounded
precision:   2
addx695 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8E+10                          Inexact Rounded
precision:   1
addx696 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 1E+11                          Inexact Rounded

-- more zeros, etc.
rounding: half_up
precision:   9

addx701 add 5.00 1.00E-3 -> 5.00100
addx702 add 00.00 0.000  -> 0.000
addx703 add 00.00 0E-3   -> 0.000
addx704 add 0E-3  00.00  -> 0.000

addx710 add 0E+3  00.00  -> 0.00
addx711 add 0E+3  00.0   -> 0.0
addx712 add 0E+3  00.    -> 0
addx713 add 0E+3  00.E+1 -> 0E+1
addx714 add 0E+3  00.E+2 -> 0E+2
addx715 add 0E+3  00.E+3 -> 0E+3
addx716 add 0E+3  00.E+4 -> 0E+3
addx717 add 0E+3  00.E+5 -> 0E+3
addx718 add 0E+3  -00.0   -> 0.0
addx719 add 0E+3  -00.    -> 0
addx731 add 0E+3  -00.E+1 -> 0E+1

addx720 add 00.00  0E+3  -> 0.00
addx721 add 00.0   0E+3  -> 0.0
addx722 add 00.    0E+3  -> 0
addx723 add 00.E+1 0E+3  -> 0E+1
addx724 add 00.E+2 0E+3  -> 0E+2
addx725 add 00.E+3 0E+3  -> 0E+3
addx726 add 00.E+4 0E+3  -> 0E+3
addx727 add 00.E+5 0E+3  -> 0E+3
addx728 add -00.00 0E+3  -> 0.00
addx729 add -00.0  0E+3  -> 0.0
addx730 add -00.   0E+3  -> 0

addx732 add  0     0     ->  0
addx733 add  0    -0     ->  0
addx734 add -0     0     ->  0
addx735 add -0    -0     -> -0     -- IEEE 854 special case

addx736 add  1    -1     ->  0
addx737 add -1    -1     -> -2
addx738 add  1     1     ->  2
addx739 add -1     1     ->  0

addx741 add  0    -1     -> -1
addx742 add -0    -1     -> -1
addx743 add  0     1     ->  1
addx744 add -0     1     ->  1
addx745 add -1     0     -> -1
addx746 add -1    -0     -> -1
addx747 add  1     0     ->  1
addx748 add  1    -0     ->  1

addx751 add  0.0  -1     -> -1.0
addx752 add -0.0  -1     -> -1.0
addx753 add  0.0   1     ->  1.0
addx754 add -0.0   1     ->  1.0
addx755 add -1.0   0     -> -1.0
addx756 add -1.0  -0     -> -1.0
addx757 add  1.0   0     ->  1.0
addx758 add  1.0  -0     ->  1.0

addx761 add  0    -1.0   -> -1.0
addx762 add -0    -1.0   -> -1.0
addx763 add  0     1.0   ->  1.0
addx764 add -0     1.0   ->  1.0
addx765 add -1     0.0   -> -1.0
addx766 add -1    -0.0   -> -1.0
addx767 add  1     0.0   ->  1.0
addx768 add  1    -0.0   ->  1.0

addx771 add  0.0  -1.0   -> -1.0
addx772 add -0.0  -1.0   -> -1.0
addx773 add  0.0   1.0   ->  1.0
addx774 add -0.0   1.0   ->  1.0
addx775 add -1.0   0.0   -> -1.0
addx776 add -1.0  -0.0   -> -1.0
addx777 add  1.0   0.0   ->  1.0
addx778 add  1.0  -0.0   ->  1.0

-- Specials
addx780 add -Inf  -Inf   -> -Infinity
addx781 add -Inf  -1000  -> -Infinity
addx782 add -Inf  -1     -> -Infinity
addx783 add -Inf  -0     -> -Infinity
addx784 add -Inf   0     -> -Infinity
addx785 add -Inf   1     -> -Infinity
addx786 add -Inf   1000  -> -Infinity
addx787 add -1000 -Inf   -> -Infinity
addx788 add -Inf  -Inf   -> -Infinity
addx789 add -1    -Inf   -> -Infinity
addx790 add -0    -Inf   -> -Infinity
addx791 add  0    -Inf   -> -Infinity
addx792 add  1    -Inf   -> -Infinity
addx793 add  1000 -Inf   -> -Infinity
addx794 add  Inf  -Inf   ->  NaN  Invalid_operation

addx800 add  Inf  -Inf   ->  NaN  Invalid_operation
addx801 add  Inf  -1000  ->  Infinity
addx802 add  Inf  -1     ->  Infinity
addx803 add  Inf  -0     ->  Infinity
addx804 add  Inf   0     ->  Infinity
addx805 add  Inf   1     ->  Infinity
addx806 add  Inf   1000  ->  Infinity
addx807 add  Inf   Inf   ->  Infinity
addx808 add -1000  Inf   ->  Infinity
addx809 add -Inf   Inf   ->  NaN  Invalid_operation
addx810 add -1     Inf   ->  Infinity
addx811 add -0     Inf   ->  Infinity
addx812 add  0     Inf   ->  Infinity
addx813 add  1     Inf   ->  Infinity
addx814 add  1000  Inf   ->  Infinity
addx815 add  Inf   Inf   ->  Infinity

addx821 add  NaN -Inf    ->  NaN
addx822 add  NaN -1000   ->  NaN
addx823 add  NaN -1      ->  NaN
addx824 add  NaN -0      ->  NaN
addx825 add  NaN  0      ->  NaN
addx826 add  NaN  1      ->  NaN
addx827 add  NaN  1000   ->  NaN
addx828 add  NaN  Inf    ->  NaN
addx829 add  NaN  NaN    ->  NaN
addx830 add -Inf  NaN    ->  NaN
addx831 add -1000 NaN    ->  NaN
addx832 add -1    NaN    ->  NaN
addx833 add -0    NaN    ->  NaN
addx834 add  0    NaN    ->  NaN
addx835 add  1    NaN    ->  NaN
addx836 add  1000 NaN    ->  NaN
addx837 add  Inf  NaN    ->  NaN

addx841 add  sNaN -Inf   ->  NaN  Invalid_operation
addx842 add  sNaN -1000  ->  NaN  Invalid_operation
addx843 add  sNaN -1     ->  NaN  Invalid_operation
addx844 add  sNaN -0     ->  NaN  Invalid_operation
addx845 add  sNaN  0     ->  NaN  Invalid_operation
addx846 add  sNaN  1     ->  NaN  Invalid_operation
addx847 add  sNaN  1000  ->  NaN  Invalid_operation
addx848 add  sNaN  NaN   ->  NaN  Invalid_operation
addx849 add  sNaN sNaN   ->  NaN  Invalid_operation
addx850 add  NaN  sNaN   ->  NaN  Invalid_operation
addx851 add -Inf  sNaN   ->  NaN  Invalid_operation
addx852 add -1000 sNaN   ->  NaN  Invalid_operation
addx853 add -1    sNaN   ->  NaN  Invalid_operation
addx854 add -0    sNaN   ->  NaN  Invalid_operation
addx855 add  0    sNaN   ->  NaN  Invalid_operation
addx856 add  1    sNaN   ->  NaN  Invalid_operation
addx857 add  1000 sNaN   ->  NaN  Invalid_operation
addx858 add  Inf  sNaN   ->  NaN  Invalid_operation
addx859 add  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
addx861 add  NaN1   -Inf    ->  NaN1
addx862 add +NaN2   -1000   ->  NaN2
addx863 add  NaN3    1000   ->  NaN3
addx864 add  NaN4    Inf    ->  NaN4
addx865 add  NaN5   +NaN6   ->  NaN5
addx866 add -Inf     NaN7   ->  NaN7
addx867 add -1000    NaN8   ->  NaN8
addx868 add  1000    NaN9   ->  NaN9
addx869 add  Inf    +NaN10  ->  NaN10
addx871 add  sNaN11  -Inf   ->  NaN11  Invalid_operation
addx872 add  sNaN12  -1000  ->  NaN12  Invalid_operation
addx873 add  sNaN13   1000  ->  NaN13  Invalid_operation
addx874 add  sNaN14   NaN17 ->  NaN14  Invalid_operation
addx875 add  sNaN15  sNaN18 ->  NaN15  Invalid_operation
addx876 add  NaN16   sNaN19 ->  NaN19  Invalid_operation
addx877 add -Inf    +sNaN20 ->  NaN20  Invalid_operation
addx878 add -1000    sNaN21 ->  NaN21  Invalid_operation
addx879 add  1000    sNaN22 ->  NaN22  Invalid_operation
addx880 add  Inf     sNaN23 ->  NaN23  Invalid_operation
addx881 add +NaN25  +sNaN24 ->  NaN24  Invalid_operation
addx882 add -NaN26    NaN28 -> -NaN26
addx883 add -sNaN27  sNaN29 -> -NaN27  Invalid_operation
addx884 add  1000    -NaN30 -> -NaN30
addx885 add  1000   -sNaN31 -> -NaN31  Invalid_operation

-- overflow, underflow and subnormal tests
maxexponent: 999999999
minexponent: -999999999
precision: 9
addx890 add 1E+999999999     9E+999999999   -> Infinity Overflow Inexact Rounded
addx891 add 9E+999999999     1E+999999999   -> Infinity Overflow Inexact Rounded
addx892 add -1.1E-999999999  1E-999999999   -> -1E-1000000000    Subnormal
addx893 add 1E-999999999    -1.1e-999999999 -> -1E-1000000000    Subnormal
addx894 add -1.0001E-999999999  1E-999999999   -> -1E-1000000003 Subnormal
addx895 add 1E-999999999    -1.0001e-999999999 -> -1E-1000000003 Subnormal
addx896 add -1E+999999999   -9E+999999999   -> -Infinity Overflow Inexact Rounded
addx897 add -9E+999999999   -1E+999999999   -> -Infinity Overflow Inexact Rounded
addx898 add +1.1E-999999999 -1E-999999999   -> 1E-1000000000    Subnormal
addx899 add -1E-999999999   +1.1e-999999999 -> 1E-1000000000    Subnormal
addx900 add +1.0001E-999999999 -1E-999999999   -> 1E-1000000003 Subnormal
addx901 add -1E-999999999   +1.0001e-999999999 -> 1E-1000000003 Subnormal
addx902 add -1E+999999999   +9E+999999999   ->  8E+999999999
addx903 add -9E+999999999   +1E+999999999   -> -8E+999999999

precision: 3
addx904 add      0 -9.999E+999999999   -> -Infinity Inexact Overflow Rounded
addx905 add        -9.999E+999999999 0 -> -Infinity Inexact Overflow Rounded
addx906 add      0  9.999E+999999999   ->  Infinity Inexact Overflow Rounded
addx907 add         9.999E+999999999 0 ->  Infinity Inexact Overflow Rounded

precision: 3
maxexponent: 999
minexponent: -999
addx910 add  1.00E-999   0    ->   1.00E-999
addx911 add  0.1E-999    0    ->   1E-1000   Subnormal
addx912 add  0.10E-999   0    ->   1.0E-1000 Subnormal
addx913 add  0.100E-999  0    ->   1.0E-1000 Subnormal Rounded
addx914 add  0.01E-999   0    ->   1E-1001   Subnormal
-- next is rounded to Emin
addx915 add  0.999E-999  0    ->   1.00E-999 Inexact Rounded Subnormal Underflow
addx916 add  0.099E-999  0    ->   1.0E-1000 Inexact Rounded Subnormal Underflow
addx917 add  0.009E-999  0    ->   1E-1001   Inexact Rounded Subnormal Underflow
addx918 add  0.001E-999  0    ->   0E-1001   Inexact Rounded Subnormal Underflow
addx919 add  0.0009E-999 0    ->   0E-1001   Inexact Rounded Subnormal Underflow
addx920 add  0.0001E-999 0    ->   0E-1001   Inexact Rounded Subnormal Underflow

addx930 add -1.00E-999   0    ->  -1.00E-999
addx931 add -0.1E-999    0    ->  -1E-1000   Subnormal
addx932 add -0.10E-999   0    ->  -1.0E-1000 Subnormal
addx933 add -0.100E-999  0    ->  -1.0E-1000 Subnormal Rounded
addx934 add -0.01E-999   0    ->  -1E-1001   Subnormal
-- next is rounded to Emin
addx935 add -0.999E-999  0    ->  -1.00E-999 Inexact Rounded Subnormal Underflow
addx936 add -0.099E-999  0    ->  -1.0E-1000 Inexact Rounded Subnormal Underflow
addx937 add -0.009E-999  0    ->  -1E-1001   Inexact Rounded Subnormal Underflow
addx938 add -0.001E-999  0    ->  -0E-1001   Inexact Rounded Subnormal Underflow
addx939 add -0.0009E-999 0    ->  -0E-1001   Inexact Rounded Subnormal Underflow
addx940 add -0.0001E-999 0    ->  -0E-1001   Inexact Rounded Subnormal Underflow

-- some non-zero subnormal adds
addx950 add  1.00E-999    0.1E-999  ->   1.10E-999
addx951 add  0.1E-999     0.1E-999  ->   2E-1000    Subnormal
addx952 add  0.10E-999    0.1E-999  ->   2.0E-1000  Subnormal
addx953 add  0.100E-999   0.1E-999  ->   2.0E-1000  Subnormal Rounded
addx954 add  0.01E-999    0.1E-999  ->   1.1E-1000  Subnormal
addx955 add  0.999E-999   0.1E-999  ->   1.10E-999  Inexact Rounded
addx956 add  0.099E-999   0.1E-999  ->   2.0E-1000  Inexact Rounded Subnormal Underflow
addx957 add  0.009E-999   0.1E-999  ->   1.1E-1000  Inexact Rounded Subnormal Underflow
addx958 add  0.001E-999   0.1E-999  ->   1.0E-1000  Inexact Rounded Subnormal Underflow
addx959 add  0.0009E-999  0.1E-999  ->   1.0E-1000  Inexact Rounded Subnormal Underflow
addx960 add  0.0001E-999  0.1E-999  ->   1.0E-1000  Inexact Rounded Subnormal Underflow
-- negatives...
addx961 add  1.00E-999   -0.1E-999  ->   9.0E-1000  Subnormal
addx962 add  0.1E-999    -0.1E-999  ->   0E-1000
addx963 add  0.10E-999   -0.1E-999  ->   0E-1001
addx964 add  0.100E-999  -0.1E-999  ->   0E-1001    Clamped
addx965 add  0.01E-999   -0.1E-999  ->   -9E-1001   Subnormal
addx966 add  0.999E-999  -0.1E-999  ->   9.0E-1000  Inexact Rounded Subnormal Underflow
addx967 add  0.099E-999  -0.1E-999  ->   -0E-1001   Inexact Rounded Subnormal Underflow
addx968 add  0.009E-999  -0.1E-999  ->   -9E-1001   Inexact Rounded Subnormal Underflow
addx969 add  0.001E-999  -0.1E-999  ->   -1.0E-1000 Inexact Rounded Subnormal Underflow
addx970 add  0.0009E-999 -0.1E-999  ->   -1.0E-1000 Inexact Rounded Subnormal Underflow
addx971 add  0.0001E-999 -0.1E-999  ->   -1.0E-1000 Inexact Rounded Subnormal Underflow

-- check overflow edge case
precision:   7
rounding:    half_up
maxExponent: 96
minExponent: -95
addx972 apply   9.999999E+96         -> 9.999999E+96
addx973 add     9.999999E+96  1      -> 9.999999E+96 Inexact Rounded
addx974 add      9999999E+90  1      -> 9.999999E+96 Inexact Rounded
addx975 add      9999999E+90  1E+90  -> Infinity Overflow Inexact Rounded
addx976 add      9999999E+90  9E+89  -> Infinity Overflow Inexact Rounded
addx977 add      9999999E+90  8E+89  -> Infinity Overflow Inexact Rounded
addx978 add      9999999E+90  7E+89  -> Infinity Overflow Inexact Rounded
addx979 add      9999999E+90  6E+89  -> Infinity Overflow Inexact Rounded
addx980 add      9999999E+90  5E+89  -> Infinity Overflow Inexact Rounded
addx981 add      9999999E+90  4E+89  -> 9.999999E+96 Inexact Rounded
addx982 add      9999999E+90  3E+89  -> 9.999999E+96 Inexact Rounded
addx983 add      9999999E+90  2E+89  -> 9.999999E+96 Inexact Rounded
addx984 add      9999999E+90  1E+89  -> 9.999999E+96 Inexact Rounded

addx985 apply  -9.999999E+96         -> -9.999999E+96
addx986 add    -9.999999E+96 -1      -> -9.999999E+96 Inexact Rounded
addx987 add     -9999999E+90 -1      -> -9.999999E+96 Inexact Rounded
addx988 add     -9999999E+90 -1E+90  -> -Infinity Overflow Inexact Rounded
addx989 add     -9999999E+90 -9E+89  -> -Infinity Overflow Inexact Rounded
addx990 add     -9999999E+90 -8E+89  -> -Infinity Overflow Inexact Rounded
addx991 add     -9999999E+90 -7E+89  -> -Infinity Overflow Inexact Rounded
addx992 add     -9999999E+90 -6E+89  -> -Infinity Overflow Inexact Rounded
addx993 add     -9999999E+90 -5E+89  -> -Infinity Overflow Inexact Rounded
addx994 add     -9999999E+90 -4E+89  -> -9.999999E+96 Inexact Rounded
addx995 add     -9999999E+90 -3E+89  -> -9.999999E+96 Inexact Rounded
addx996 add     -9999999E+90 -2E+89  -> -9.999999E+96 Inexact Rounded
addx997 add     -9999999E+90 -1E+89  -> -9.999999E+96 Inexact Rounded

-- check for double-rounded subnormals
precision:   5
maxexponent: 79
minexponent: -79
-- Add: lhs and rhs 0
addx1001 add       1.52444E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1002 add       1.52445E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1003 add       1.52446E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1004 add       0 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1005 add       0 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1006 add       0 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow

-- Add: lhs >> rhs and vice versa
addx1011 add       1.52444E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1012 add       1.52445E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1013 add       1.52446E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1014 add       1E-100 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1015 add       1E-100 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow
addx1016 add       1E-100 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow

-- Add: lhs + rhs addition carried out
addx1021 add       1.52443E-80 1.00001E-80  -> 2.524E-80 Inexact Rounded Subnormal Underflow
addx1022 add       1.52444E-80 1.00001E-80  -> 2.524E-80 Inexact Rounded Subnormal Underflow
addx1023 add       1.52445E-80 1.00001E-80  -> 2.524E-80 Inexact Rounded Subnormal Underflow
addx1024 add       1.00001E-80  1.52443E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
addx1025 add       1.00001E-80  1.52444E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow
addx1026 add       1.00001E-80  1.52445E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow

-- And for round down full and subnormal results
precision:    16
maxExponent: +384
minExponent: -383
rounding:     down

addx1100 add 1e+2 -1e-383    -> 99.99999999999999 Rounded Inexact
addx1101 add 1e+1 -1e-383    -> 9.999999999999999  Rounded Inexact
addx1103 add   +1 -1e-383    -> 0.9999999999999999  Rounded Inexact
addx1104 add 1e-1 -1e-383    -> 0.09999999999999999  Rounded Inexact
addx1105 add 1e-2 -1e-383    -> 0.009999999999999999  Rounded Inexact
addx1106 add 1e-3 -1e-383    -> 0.0009999999999999999  Rounded Inexact
addx1107 add 1e-4 -1e-383    -> 0.00009999999999999999  Rounded Inexact
addx1108 add 1e-5 -1e-383    -> 0.000009999999999999999  Rounded Inexact
addx1109 add 1e-6 -1e-383    -> 9.999999999999999E-7  Rounded Inexact

rounding:     ceiling
addx1110 add -1e+2 +1e-383   -> -99.99999999999999 Rounded Inexact
addx1111 add -1e+1 +1e-383   -> -9.999999999999999  Rounded Inexact
addx1113 add    -1 +1e-383   -> -0.9999999999999999  Rounded Inexact
addx1114 add -1e-1 +1e-383   -> -0.09999999999999999  Rounded Inexact
addx1115 add -1e-2 +1e-383   -> -0.009999999999999999  Rounded Inexact
addx1116 add -1e-3 +1e-383   -> -0.0009999999999999999  Rounded Inexact
addx1117 add -1e-4 +1e-383   -> -0.00009999999999999999  Rounded Inexact
addx1118 add -1e-5 +1e-383   -> -0.000009999999999999999  Rounded Inexact
addx1119 add -1e-6 +1e-383   -> -9.999999999999999E-7  Rounded Inexact

rounding:     down
precision:    7
maxExponent: +96
minExponent: -95
addx1130 add   1            -1e-200  -> 0.9999999  Rounded Inexact
-- subnormal boundary
addx1131 add   1.000000E-94  -1e-200  ->  9.999999E-95  Rounded Inexact
addx1132 add   1.000001E-95  -1e-200  ->  1.000000E-95  Rounded Inexact
addx1133 add   1.000000E-95  -1e-200  ->  9.99999E-96  Rounded Inexact Subnormal Underflow
addx1134 add   0.999999E-95  -1e-200  ->  9.99998E-96  Rounded Inexact Subnormal Underflow
addx1135 add   0.001000E-95  -1e-200  ->  9.99E-99  Rounded Inexact Subnormal Underflow
addx1136 add   0.000999E-95  -1e-200  ->  9.98E-99  Rounded Inexact Subnormal Underflow
addx1137 add   1.000000E-95  -1e-101  ->  9.99999E-96  Subnormal
addx1138 add      10000E-101 -1e-200  ->  9.999E-98  Subnormal Inexact Rounded Underflow
addx1139 add       1000E-101 -1e-200  ->  9.99E-99   Subnormal Inexact Rounded Underflow
addx1140 add        100E-101 -1e-200  ->  9.9E-100   Subnormal Inexact Rounded Underflow
addx1141 add         10E-101 -1e-200  ->  9E-101     Subnormal Inexact Rounded Underflow
addx1142 add          1E-101 -1e-200  ->  0E-101     Subnormal Inexact Rounded Underflow
addx1143 add          0E-101 -1e-200  -> -0E-101     Subnormal Inexact Rounded Underflow
addx1144 add          1E-102 -1e-200  ->  0E-101     Subnormal Inexact Rounded Underflow

addx1151 add      10000E-102 -1e-200  ->  9.99E-99  Subnormal Inexact Rounded Underflow
addx1152 add       1000E-102 -1e-200  ->  9.9E-100  Subnormal Inexact Rounded Underflow
addx1153 add        100E-102 -1e-200  ->  9E-101   Subnormal Inexact Rounded Underflow
addx1154 add         10E-102 -1e-200  ->  0E-101     Subnormal Inexact Rounded Underflow
addx1155 add          1E-102 -1e-200  ->  0E-101     Subnormal Inexact Rounded Underflow
addx1156 add          0E-102 -1e-200  -> -0E-101     Subnormal Inexact Rounded Underflow
addx1157 add          1E-103 -1e-200  ->  0E-101     Subnormal Inexact Rounded Underflow

addx1160 add        100E-105 -1e-101  -> -0E-101 Subnormal Inexact Rounded Underflow
addx1161 add        100E-105 -1e-201  ->  0E-101 Subnormal Inexact Rounded Underflow


-- Null tests
addx9990 add 10  # -> NaN Invalid_operation
addx9991 add  # 10 -> NaN Invalid_operation

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

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