+++ /dev/null
-------/cancell----------------------------------------------------------\r
--- add.decTest -- decimal addition --\r
--- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --\r
-------------------------------------------------------------------------\r
--- Please see the document "General Decimal Arithmetic Testcases" --\r
--- at http://www2.hursley.ibm.com/decimal for the description of --\r
--- these testcases. --\r
--- --\r
--- These testcases are experimental ('beta' versions), and they --\r
--- may contain errors. They are offered on an as-is basis. In --\r
--- particular, achieving the same results as the tests here is not --\r
--- a guarantee that an implementation complies with any Standard --\r
--- or specification. The tests are not exhaustive. --\r
--- --\r
--- Please send comments, suggestions, and corrections to the author: --\r
--- Mike Cowlishaw, IBM Fellow --\r
--- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --\r
--- mfc@uk.ibm.com --\r
-------------------------------------------------------------------------\r
-version: 2.59\r
-\r
-precision: 9\r
-rounding: half_up\r
-maxExponent: 384\r
-minexponent: -383\r
-extended: 1\r
-\r
--- [first group are 'quick confidence check']\r
-addx001 add 1 1 -> 2\r
-addx002 add 2 3 -> 5\r
-addx003 add '5.75' '3.3' -> 9.05\r
-addx004 add '5' '-3' -> 2\r
-addx005 add '-5' '-3' -> -8\r
-addx006 add '-7' '2.5' -> -4.5\r
-addx007 add '0.7' '0.3' -> 1.0\r
-addx008 add '1.25' '1.25' -> 2.50\r
-addx009 add '1.23456789' '1.00000000' -> '2.23456789'\r
-addx010 add '1.23456789' '1.00000011' -> '2.23456800'\r
-\r
-addx011 add '0.4444444444' '0.5555555555' -> '1.00000000' Inexact Rounded\r
-addx012 add '0.4444444440' '0.5555555555' -> '1.00000000' Inexact Rounded\r
-addx013 add '0.4444444444' '0.5555555550' -> '0.999999999' Inexact Rounded\r
-addx014 add '0.44444444449' '0' -> '0.444444444' Inexact Rounded\r
-addx015 add '0.444444444499' '0' -> '0.444444444' Inexact Rounded\r
-addx016 add '0.4444444444999' '0' -> '0.444444444' Inexact Rounded\r
-addx017 add '0.4444444445000' '0' -> '0.444444445' Inexact Rounded\r
-addx018 add '0.4444444445001' '0' -> '0.444444445' Inexact Rounded\r
-addx019 add '0.444444444501' '0' -> '0.444444445' Inexact Rounded\r
-addx020 add '0.44444444451' '0' -> '0.444444445' Inexact Rounded\r
-\r
-addx021 add 0 1 -> 1\r
-addx022 add 1 1 -> 2\r
-addx023 add 2 1 -> 3\r
-addx024 add 3 1 -> 4\r
-addx025 add 4 1 -> 5\r
-addx026 add 5 1 -> 6\r
-addx027 add 6 1 -> 7\r
-addx028 add 7 1 -> 8\r
-addx029 add 8 1 -> 9\r
-addx030 add 9 1 -> 10\r
-\r
--- some carrying effects\r
-addx031 add '0.9998' '0.0000' -> '0.9998'\r
-addx032 add '0.9998' '0.0001' -> '0.9999'\r
-addx033 add '0.9998' '0.0002' -> '1.0000'\r
-addx034 add '0.9998' '0.0003' -> '1.0001'\r
-\r
-addx035 add '70' '10000e+9' -> '1.00000000E+13' Inexact Rounded\r
-addx036 add '700' '10000e+9' -> '1.00000000E+13' Inexact Rounded\r
-addx037 add '7000' '10000e+9' -> '1.00000000E+13' Inexact Rounded\r
-addx038 add '70000' '10000e+9' -> '1.00000001E+13' Inexact Rounded\r
-addx039 add '700000' '10000e+9' -> '1.00000007E+13' Rounded\r
-\r
--- symmetry:\r
-addx040 add '10000e+9' '70' -> '1.00000000E+13' Inexact Rounded\r
-addx041 add '10000e+9' '700' -> '1.00000000E+13' Inexact Rounded\r
-addx042 add '10000e+9' '7000' -> '1.00000000E+13' Inexact Rounded\r
-addx044 add '10000e+9' '70000' -> '1.00000001E+13' Inexact Rounded\r
-addx045 add '10000e+9' '700000' -> '1.00000007E+13' Rounded\r
-\r
--- same, higher precision\r
-precision: 15\r
-addx046 add '10000e+9' '7' -> '10000000000007'\r
-addx047 add '10000e+9' '70' -> '10000000000070'\r
-addx048 add '10000e+9' '700' -> '10000000000700'\r
-addx049 add '10000e+9' '7000' -> '10000000007000'\r
-addx050 add '10000e+9' '70000' -> '10000000070000'\r
-addx051 add '10000e+9' '700000' -> '10000000700000'\r
-addx052 add '10000e+9' '7000000' -> '10000007000000'\r
-\r
--- examples from decarith\r
-addx053 add '12' '7.00' -> '19.00'\r
-addx054 add '1.3' '-1.07' -> '0.23'\r
-addx055 add '1.3' '-1.30' -> '0.00'\r
-addx056 add '1.3' '-2.07' -> '-0.77'\r
-addx057 add '1E+2' '1E+4' -> '1.01E+4'\r
-\r
--- zero preservation\r
-precision: 6\r
-addx060 add '10000e+9' '70000' -> '1.00000E+13' Inexact Rounded\r
-addx061 add 1 '0.0001' -> '1.0001'\r
-addx062 add 1 '0.00001' -> '1.00001'\r
-addx063 add 1 '0.000001' -> '1.00000' Inexact Rounded\r
-addx064 add 1 '0.0000001' -> '1.00000' Inexact Rounded\r
-addx065 add 1 '0.00000001' -> '1.00000' Inexact Rounded\r
-\r
--- some funny zeros [in case of bad signum]\r
-addx070 add 1 0 -> 1\r
-addx071 add 1 0. -> 1\r
-addx072 add 1 .0 -> 1.0\r
-addx073 add 1 0.0 -> 1.0\r
-addx074 add 1 0.00 -> 1.00\r
-addx075 add 0 1 -> 1\r
-addx076 add 0. 1 -> 1\r
-addx077 add .0 1 -> 1.0\r
-addx078 add 0.0 1 -> 1.0\r
-addx079 add 0.00 1 -> 1.00\r
-\r
-precision: 9\r
-\r
--- some carries\r
-addx080 add 999999998 1 -> 999999999\r
-addx081 add 999999999 1 -> 1.00000000E+9 Rounded\r
-addx082 add 99999999 1 -> 100000000\r
-addx083 add 9999999 1 -> 10000000\r
-addx084 add 999999 1 -> 1000000\r
-addx085 add 99999 1 -> 100000\r
-addx086 add 9999 1 -> 10000\r
-addx087 add 999 1 -> 1000\r
-addx088 add 99 1 -> 100\r
-addx089 add 9 1 -> 10\r
-\r
-\r
--- more LHS swaps\r
-addx090 add '-56267E-10' 0 -> '-0.0000056267'\r
-addx091 add '-56267E-6' 0 -> '-0.056267'\r
-addx092 add '-56267E-5' 0 -> '-0.56267'\r
-addx093 add '-56267E-4' 0 -> '-5.6267'\r
-addx094 add '-56267E-3' 0 -> '-56.267'\r
-addx095 add '-56267E-2' 0 -> '-562.67'\r
-addx096 add '-56267E-1' 0 -> '-5626.7'\r
-addx097 add '-56267E-0' 0 -> '-56267'\r
-addx098 add '-5E-10' 0 -> '-5E-10'\r
-addx099 add '-5E-7' 0 -> '-5E-7'\r
-addx100 add '-5E-6' 0 -> '-0.000005'\r
-addx101 add '-5E-5' 0 -> '-0.00005'\r
-addx102 add '-5E-4' 0 -> '-0.0005'\r
-addx103 add '-5E-1' 0 -> '-0.5'\r
-addx104 add '-5E0' 0 -> '-5'\r
-addx105 add '-5E1' 0 -> '-50'\r
-addx106 add '-5E5' 0 -> '-500000'\r
-addx107 add '-5E8' 0 -> '-500000000'\r
-addx108 add '-5E9' 0 -> '-5.00000000E+9' Rounded\r
-addx109 add '-5E10' 0 -> '-5.00000000E+10' Rounded\r
-addx110 add '-5E11' 0 -> '-5.00000000E+11' Rounded\r
-addx111 add '-5E100' 0 -> '-5.00000000E+100' Rounded\r
-\r
--- more RHS swaps\r
-addx113 add 0 '-56267E-10' -> '-0.0000056267'\r
-addx114 add 0 '-56267E-6' -> '-0.056267'\r
-addx116 add 0 '-56267E-5' -> '-0.56267'\r
-addx117 add 0 '-56267E-4' -> '-5.6267'\r
-addx119 add 0 '-56267E-3' -> '-56.267'\r
-addx120 add 0 '-56267E-2' -> '-562.67'\r
-addx121 add 0 '-56267E-1' -> '-5626.7'\r
-addx122 add 0 '-56267E-0' -> '-56267'\r
-addx123 add 0 '-5E-10' -> '-5E-10'\r
-addx124 add 0 '-5E-7' -> '-5E-7'\r
-addx125 add 0 '-5E-6' -> '-0.000005'\r
-addx126 add 0 '-5E-5' -> '-0.00005'\r
-addx127 add 0 '-5E-4' -> '-0.0005'\r
-addx128 add 0 '-5E-1' -> '-0.5'\r
-addx129 add 0 '-5E0' -> '-5'\r
-addx130 add 0 '-5E1' -> '-50'\r
-addx131 add 0 '-5E5' -> '-500000'\r
-addx132 add 0 '-5E8' -> '-500000000'\r
-addx133 add 0 '-5E9' -> '-5.00000000E+9' Rounded\r
-addx134 add 0 '-5E10' -> '-5.00000000E+10' Rounded\r
-addx135 add 0 '-5E11' -> '-5.00000000E+11' Rounded\r
-addx136 add 0 '-5E100' -> '-5.00000000E+100' Rounded\r
-\r
--- related\r
-addx137 add 1 '0E-12' -> '1.00000000' Rounded\r
-addx138 add -1 '0E-12' -> '-1.00000000' Rounded\r
-addx139 add '0E-12' 1 -> '1.00000000' Rounded\r
-addx140 add '0E-12' -1 -> '-1.00000000' Rounded\r
-addx141 add 1E+4 0.0000 -> '10000.0000'\r
-addx142 add 1E+4 0.00000 -> '10000.0000' Rounded\r
-addx143 add 0.000 1E+5 -> '100000.000'\r
-addx144 add 0.0000 1E+5 -> '100000.000' Rounded\r
-\r
--- [some of the next group are really constructor tests]\r
-addx146 add '00.0' 0 -> '0.0'\r
-addx147 add '0.00' 0 -> '0.00'\r
-addx148 add 0 '0.00' -> '0.00'\r
-addx149 add 0 '00.0' -> '0.0'\r
-addx150 add '00.0' '0.00' -> '0.00'\r
-addx151 add '0.00' '00.0' -> '0.00'\r
-addx152 add '3' '.3' -> '3.3'\r
-addx153 add '3.' '.3' -> '3.3'\r
-addx154 add '3.0' '.3' -> '3.3'\r
-addx155 add '3.00' '.3' -> '3.30'\r
-addx156 add '3' '3' -> '6'\r
-addx157 add '3' '+3' -> '6'\r
-addx158 add '3' '-3' -> '0'\r
-addx159 add '0.3' '-0.3' -> '0.0'\r
-addx160 add '0.03' '-0.03' -> '0.00'\r
-\r
--- try borderline precision, with carries, etc.\r
-precision: 15\r
-addx161 add '1E+12' '-1' -> '999999999999'\r
-addx162 add '1E+12' '1.11' -> '1000000000001.11'\r
-addx163 add '1.11' '1E+12' -> '1000000000001.11'\r
-addx164 add '-1' '1E+12' -> '999999999999'\r
-addx165 add '7E+12' '-1' -> '6999999999999'\r
-addx166 add '7E+12' '1.11' -> '7000000000001.11'\r
-addx167 add '1.11' '7E+12' -> '7000000000001.11'\r
-addx168 add '-1' '7E+12' -> '6999999999999'\r
-\r
--- 123456789012345 123456789012345 1 23456789012345\r
-addx170 add '0.444444444444444' '0.555555555555563' -> '1.00000000000001' Inexact Rounded\r
-addx171 add '0.444444444444444' '0.555555555555562' -> '1.00000000000001' Inexact Rounded\r
-addx172 add '0.444444444444444' '0.555555555555561' -> '1.00000000000001' Inexact Rounded\r
-addx173 add '0.444444444444444' '0.555555555555560' -> '1.00000000000000' Inexact Rounded\r
-addx174 add '0.444444444444444' '0.555555555555559' -> '1.00000000000000' Inexact Rounded\r
-addx175 add '0.444444444444444' '0.555555555555558' -> '1.00000000000000' Inexact Rounded\r
-addx176 add '0.444444444444444' '0.555555555555557' -> '1.00000000000000' Inexact Rounded\r
-addx177 add '0.444444444444444' '0.555555555555556' -> '1.00000000000000' Rounded\r
-addx178 add '0.444444444444444' '0.555555555555555' -> '0.999999999999999'\r
-addx179 add '0.444444444444444' '0.555555555555554' -> '0.999999999999998'\r
-addx180 add '0.444444444444444' '0.555555555555553' -> '0.999999999999997'\r
-addx181 add '0.444444444444444' '0.555555555555552' -> '0.999999999999996'\r
-addx182 add '0.444444444444444' '0.555555555555551' -> '0.999999999999995'\r
-addx183 add '0.444444444444444' '0.555555555555550' -> '0.999999999999994'\r
-\r
--- and some more, including residue effects and different roundings\r
-precision: 9\r
-rounding: half_up\r
-addx200 add '123456789' 0 -> '123456789'\r
-addx201 add '123456789' 0.000000001 -> '123456789' Inexact Rounded\r
-addx202 add '123456789' 0.000001 -> '123456789' Inexact Rounded\r
-addx203 add '123456789' 0.1 -> '123456789' Inexact Rounded\r
-addx204 add '123456789' 0.4 -> '123456789' Inexact Rounded\r
-addx205 add '123456789' 0.49 -> '123456789' Inexact Rounded\r
-addx206 add '123456789' 0.499999 -> '123456789' Inexact Rounded\r
-addx207 add '123456789' 0.499999999 -> '123456789' Inexact Rounded\r
-addx208 add '123456789' 0.5 -> '123456790' Inexact Rounded\r
-addx209 add '123456789' 0.500000001 -> '123456790' Inexact Rounded\r
-addx210 add '123456789' 0.500001 -> '123456790' Inexact Rounded\r
-addx211 add '123456789' 0.51 -> '123456790' Inexact Rounded\r
-addx212 add '123456789' 0.6 -> '123456790' Inexact Rounded\r
-addx213 add '123456789' 0.9 -> '123456790' Inexact Rounded\r
-addx214 add '123456789' 0.99999 -> '123456790' Inexact Rounded\r
-addx215 add '123456789' 0.999999999 -> '123456790' Inexact Rounded\r
-addx216 add '123456789' 1 -> '123456790'\r
-addx217 add '123456789' 1.000000001 -> '123456790' Inexact Rounded\r
-addx218 add '123456789' 1.00001 -> '123456790' Inexact Rounded\r
-addx219 add '123456789' 1.1 -> '123456790' Inexact Rounded\r
-\r
-rounding: half_even\r
-addx220 add '123456789' 0 -> '123456789'\r
-addx221 add '123456789' 0.000000001 -> '123456789' Inexact Rounded\r
-addx222 add '123456789' 0.000001 -> '123456789' Inexact Rounded\r
-addx223 add '123456789' 0.1 -> '123456789' Inexact Rounded\r
-addx224 add '123456789' 0.4 -> '123456789' Inexact Rounded\r
-addx225 add '123456789' 0.49 -> '123456789' Inexact Rounded\r
-addx226 add '123456789' 0.499999 -> '123456789' Inexact Rounded\r
-addx227 add '123456789' 0.499999999 -> '123456789' Inexact Rounded\r
-addx228 add '123456789' 0.5 -> '123456790' Inexact Rounded\r
-addx229 add '123456789' 0.500000001 -> '123456790' Inexact Rounded\r
-addx230 add '123456789' 0.500001 -> '123456790' Inexact Rounded\r
-addx231 add '123456789' 0.51 -> '123456790' Inexact Rounded\r
-addx232 add '123456789' 0.6 -> '123456790' Inexact Rounded\r
-addx233 add '123456789' 0.9 -> '123456790' Inexact Rounded\r
-addx234 add '123456789' 0.99999 -> '123456790' Inexact Rounded\r
-addx235 add '123456789' 0.999999999 -> '123456790' Inexact Rounded\r
-addx236 add '123456789' 1 -> '123456790'\r
-addx237 add '123456789' 1.00000001 -> '123456790' Inexact Rounded\r
-addx238 add '123456789' 1.00001 -> '123456790' Inexact Rounded\r
-addx239 add '123456789' 1.1 -> '123456790' Inexact Rounded\r
--- critical few with even bottom digit...\r
-addx240 add '123456788' 0.499999999 -> '123456788' Inexact Rounded\r
-addx241 add '123456788' 0.5 -> '123456788' Inexact Rounded\r
-addx242 add '123456788' 0.500000001 -> '123456789' Inexact Rounded\r
-\r
-rounding: down\r
-addx250 add '123456789' 0 -> '123456789'\r
-addx251 add '123456789' 0.000000001 -> '123456789' Inexact Rounded\r
-addx252 add '123456789' 0.000001 -> '123456789' Inexact Rounded\r
-addx253 add '123456789' 0.1 -> '123456789' Inexact Rounded\r
-addx254 add '123456789' 0.4 -> '123456789' Inexact Rounded\r
-addx255 add '123456789' 0.49 -> '123456789' Inexact Rounded\r
-addx256 add '123456789' 0.499999 -> '123456789' Inexact Rounded\r
-addx257 add '123456789' 0.499999999 -> '123456789' Inexact Rounded\r
-addx258 add '123456789' 0.5 -> '123456789' Inexact Rounded\r
-addx259 add '123456789' 0.500000001 -> '123456789' Inexact Rounded\r
-addx260 add '123456789' 0.500001 -> '123456789' Inexact Rounded\r
-addx261 add '123456789' 0.51 -> '123456789' Inexact Rounded\r
-addx262 add '123456789' 0.6 -> '123456789' Inexact Rounded\r
-addx263 add '123456789' 0.9 -> '123456789' Inexact Rounded\r
-addx264 add '123456789' 0.99999 -> '123456789' Inexact Rounded\r
-addx265 add '123456789' 0.999999999 -> '123456789' Inexact Rounded\r
-addx266 add '123456789' 1 -> '123456790'\r
-addx267 add '123456789' 1.00000001 -> '123456790' Inexact Rounded\r
-addx268 add '123456789' 1.00001 -> '123456790' Inexact Rounded\r
-addx269 add '123456789' 1.1 -> '123456790' Inexact Rounded\r
-\r
--- input preparation tests (operands should not be rounded)\r
-precision: 3\r
-rounding: half_up\r
-\r
-addx270 add '12345678900000' 9999999999999 -> '2.23E+13' Inexact Rounded\r
-addx271 add '9999999999999' 12345678900000 -> '2.23E+13' Inexact Rounded\r
-\r
-addx272 add '12E+3' '3444' -> '1.54E+4' Inexact Rounded\r
-addx273 add '12E+3' '3446' -> '1.54E+4' Inexact Rounded\r
-addx274 add '12E+3' '3449.9' -> '1.54E+4' Inexact Rounded\r
-addx275 add '12E+3' '3450.0' -> '1.55E+4' Inexact Rounded\r
-addx276 add '12E+3' '3450.1' -> '1.55E+4' Inexact Rounded\r
-addx277 add '12E+3' '3454' -> '1.55E+4' Inexact Rounded\r
-addx278 add '12E+3' '3456' -> '1.55E+4' Inexact Rounded\r
-\r
-addx281 add '3444' '12E+3' -> '1.54E+4' Inexact Rounded\r
-addx282 add '3446' '12E+3' -> '1.54E+4' Inexact Rounded\r
-addx283 add '3449.9' '12E+3' -> '1.54E+4' Inexact Rounded\r
-addx284 add '3450.0' '12E+3' -> '1.55E+4' Inexact Rounded\r
-addx285 add '3450.1' '12E+3' -> '1.55E+4' Inexact Rounded\r
-addx286 add '3454' '12E+3' -> '1.55E+4' Inexact Rounded\r
-addx287 add '3456' '12E+3' -> '1.55E+4' Inexact Rounded\r
-\r
-rounding: half_down\r
-addx291 add '3444' '12E+3' -> '1.54E+4' Inexact Rounded\r
-addx292 add '3446' '12E+3' -> '1.54E+4' Inexact Rounded\r
-addx293 add '3449.9' '12E+3' -> '1.54E+4' Inexact Rounded\r
-addx294 add '3450.0' '12E+3' -> '1.54E+4' Inexact Rounded\r
-addx295 add '3450.1' '12E+3' -> '1.55E+4' Inexact Rounded\r
-addx296 add '3454' '12E+3' -> '1.55E+4' Inexact Rounded\r
-addx297 add '3456' '12E+3' -> '1.55E+4' Inexact Rounded\r
-\r
--- 1 in last place tests\r
-rounding: half_up\r
-addx301 add -1 1 -> 0\r
-addx302 add 0 1 -> 1\r
-addx303 add 1 1 -> 2\r
-addx304 add 12 1 -> 13\r
-addx305 add 98 1 -> 99\r
-addx306 add 99 1 -> 100\r
-addx307 add 100 1 -> 101\r
-addx308 add 101 1 -> 102\r
-addx309 add -1 -1 -> -2\r
-addx310 add 0 -1 -> -1\r
-addx311 add 1 -1 -> 0\r
-addx312 add 12 -1 -> 11\r
-addx313 add 98 -1 -> 97\r
-addx314 add 99 -1 -> 98\r
-addx315 add 100 -1 -> 99\r
-addx316 add 101 -1 -> 100\r
-\r
-addx321 add -0.01 0.01 -> 0.00\r
-addx322 add 0.00 0.01 -> 0.01\r
-addx323 add 0.01 0.01 -> 0.02\r
-addx324 add 0.12 0.01 -> 0.13\r
-addx325 add 0.98 0.01 -> 0.99\r
-addx326 add 0.99 0.01 -> 1.00\r
-addx327 add 1.00 0.01 -> 1.01\r
-addx328 add 1.01 0.01 -> 1.02\r
-addx329 add -0.01 -0.01 -> -0.02\r
-addx330 add 0.00 -0.01 -> -0.01\r
-addx331 add 0.01 -0.01 -> 0.00\r
-addx332 add 0.12 -0.01 -> 0.11\r
-addx333 add 0.98 -0.01 -> 0.97\r
-addx334 add 0.99 -0.01 -> 0.98\r
-addx335 add 1.00 -0.01 -> 0.99\r
-addx336 add 1.01 -0.01 -> 1.00\r
-\r
--- some more cases where adding 0 affects the coefficient\r
-precision: 9\r
-addx340 add 1E+3 0 -> 1000\r
-addx341 add 1E+8 0 -> 100000000\r
-addx342 add 1E+9 0 -> 1.00000000E+9 Rounded\r
-addx343 add 1E+10 0 -> 1.00000000E+10 Rounded\r
--- which simply follow from these cases ...\r
-addx344 add 1E+3 1 -> 1001\r
-addx345 add 1E+8 1 -> 100000001\r
-addx346 add 1E+9 1 -> 1.00000000E+9 Inexact Rounded\r
-addx347 add 1E+10 1 -> 1.00000000E+10 Inexact Rounded\r
-addx348 add 1E+3 7 -> 1007\r
-addx349 add 1E+8 7 -> 100000007\r
-addx350 add 1E+9 7 -> 1.00000001E+9 Inexact Rounded\r
-addx351 add 1E+10 7 -> 1.00000000E+10 Inexact Rounded\r
-\r
--- tryzeros cases\r
-precision: 7\r
-rounding: half_up\r
-maxExponent: 92\r
-minexponent: -92\r
-addx361 add 0E+50 10000E+1 -> 1.0000E+5\r
-addx362 add 10000E+1 0E-50 -> 100000.0 Rounded\r
-addx363 add 10000E+1 10000E-50 -> 100000.0 Rounded Inexact\r
-addx364 add 9.999999E+92 -9.999999E+92 -> 0E+86\r
-\r
--- a curiosity from JSR 13 testing\r
-rounding: half_down\r
-precision: 10\r
-addx370 add 99999999 81512 -> 100081511\r
-precision: 6\r
-addx371 add 99999999 81512 -> 1.00082E+8 Rounded Inexact\r
-rounding: half_up\r
-precision: 10\r
-addx372 add 99999999 81512 -> 100081511\r
-precision: 6\r
-addx373 add 99999999 81512 -> 1.00082E+8 Rounded Inexact\r
-rounding: half_even\r
-precision: 10\r
-addx374 add 99999999 81512 -> 100081511\r
-precision: 6\r
-addx375 add 99999999 81512 -> 1.00082E+8 Rounded Inexact\r
-\r
--- ulp replacement tests\r
-precision: 9\r
-maxexponent: 999999999\r
-minexponent: -999999999\r
-addx400 add 1 77e-7 -> 1.0000077\r
-addx401 add 1 77e-8 -> 1.00000077\r
-addx402 add 1 77e-9 -> 1.00000008 Inexact Rounded\r
-addx403 add 1 77e-10 -> 1.00000001 Inexact Rounded\r
-addx404 add 1 77e-11 -> 1.00000000 Inexact Rounded\r
-addx405 add 1 77e-12 -> 1.00000000 Inexact Rounded\r
-addx406 add 1 77e-999 -> 1.00000000 Inexact Rounded\r
-addx407 add 1 77e-9999999 -> 1.00000000 Inexact Rounded\r
-\r
-addx410 add 10 77e-7 -> 10.0000077\r
-addx411 add 10 77e-8 -> 10.0000008 Inexact Rounded\r
-addx412 add 10 77e-9 -> 10.0000001 Inexact Rounded\r
-addx413 add 10 77e-10 -> 10.0000000 Inexact Rounded\r
-addx414 add 10 77e-11 -> 10.0000000 Inexact Rounded\r
-addx415 add 10 77e-12 -> 10.0000000 Inexact Rounded\r
-addx416 add 10 77e-999 -> 10.0000000 Inexact Rounded\r
-addx417 add 10 77e-9999999 -> 10.0000000 Inexact Rounded\r
-\r
-addx420 add 77e-7 1 -> 1.0000077\r
-addx421 add 77e-8 1 -> 1.00000077\r
-addx422 add 77e-9 1 -> 1.00000008 Inexact Rounded\r
-addx423 add 77e-10 1 -> 1.00000001 Inexact Rounded\r
-addx424 add 77e-11 1 -> 1.00000000 Inexact Rounded\r
-addx425 add 77e-12 1 -> 1.00000000 Inexact Rounded\r
-addx426 add 77e-999 1 -> 1.00000000 Inexact Rounded\r
-addx427 add 77e-9999999 1 -> 1.00000000 Inexact Rounded\r
-\r
-addx430 add 77e-7 10 -> 10.0000077\r
-addx431 add 77e-8 10 -> 10.0000008 Inexact Rounded\r
-addx432 add 77e-9 10 -> 10.0000001 Inexact Rounded\r
-addx433 add 77e-10 10 -> 10.0000000 Inexact Rounded\r
-addx434 add 77e-11 10 -> 10.0000000 Inexact Rounded\r
-addx435 add 77e-12 10 -> 10.0000000 Inexact Rounded\r
-addx436 add 77e-999 10 -> 10.0000000 Inexact Rounded\r
-addx437 add 77e-9999999 10 -> 10.0000000 Inexact Rounded\r
-\r
--- negative ulps\r
-addx440 add 1 -77e-7 -> 0.9999923\r
-addx441 add 1 -77e-8 -> 0.99999923\r
-addx442 add 1 -77e-9 -> 0.999999923\r
-addx443 add 1 -77e-10 -> 0.999999992 Inexact Rounded\r
-addx444 add 1 -77e-11 -> 0.999999999 Inexact Rounded\r
-addx445 add 1 -77e-12 -> 1.00000000 Inexact Rounded\r
-addx446 add 1 -77e-999 -> 1.00000000 Inexact Rounded\r
-addx447 add 1 -77e-9999999 -> 1.00000000 Inexact Rounded\r
-\r
-addx450 add 10 -77e-7 -> 9.9999923\r
-addx451 add 10 -77e-8 -> 9.99999923\r
-addx452 add 10 -77e-9 -> 9.99999992 Inexact Rounded\r
-addx453 add 10 -77e-10 -> 9.99999999 Inexact Rounded\r
-addx454 add 10 -77e-11 -> 10.0000000 Inexact Rounded\r
-addx455 add 10 -77e-12 -> 10.0000000 Inexact Rounded\r
-addx456 add 10 -77e-999 -> 10.0000000 Inexact Rounded\r
-addx457 add 10 -77e-9999999 -> 10.0000000 Inexact Rounded\r
-\r
-addx460 add -77e-7 1 -> 0.9999923\r
-addx461 add -77e-8 1 -> 0.99999923\r
-addx462 add -77e-9 1 -> 0.999999923\r
-addx463 add -77e-10 1 -> 0.999999992 Inexact Rounded\r
-addx464 add -77e-11 1 -> 0.999999999 Inexact Rounded\r
-addx465 add -77e-12 1 -> 1.00000000 Inexact Rounded\r
-addx466 add -77e-999 1 -> 1.00000000 Inexact Rounded\r
-addx467 add -77e-9999999 1 -> 1.00000000 Inexact Rounded\r
-\r
-addx470 add -77e-7 10 -> 9.9999923\r
-addx471 add -77e-8 10 -> 9.99999923\r
-addx472 add -77e-9 10 -> 9.99999992 Inexact Rounded\r
-addx473 add -77e-10 10 -> 9.99999999 Inexact Rounded\r
-addx474 add -77e-11 10 -> 10.0000000 Inexact Rounded\r
-addx475 add -77e-12 10 -> 10.0000000 Inexact Rounded\r
-addx476 add -77e-999 10 -> 10.0000000 Inexact Rounded\r
-addx477 add -77e-9999999 10 -> 10.0000000 Inexact Rounded\r
-\r
--- negative ulps\r
-addx480 add -1 77e-7 -> -0.9999923\r
-addx481 add -1 77e-8 -> -0.99999923\r
-addx482 add -1 77e-9 -> -0.999999923\r
-addx483 add -1 77e-10 -> -0.999999992 Inexact Rounded\r
-addx484 add -1 77e-11 -> -0.999999999 Inexact Rounded\r
-addx485 add -1 77e-12 -> -1.00000000 Inexact Rounded\r
-addx486 add -1 77e-999 -> -1.00000000 Inexact Rounded\r
-addx487 add -1 77e-9999999 -> -1.00000000 Inexact Rounded\r
-\r
-addx490 add -10 77e-7 -> -9.9999923\r
-addx491 add -10 77e-8 -> -9.99999923\r
-addx492 add -10 77e-9 -> -9.99999992 Inexact Rounded\r
-addx493 add -10 77e-10 -> -9.99999999 Inexact Rounded\r
-addx494 add -10 77e-11 -> -10.0000000 Inexact Rounded\r
-addx495 add -10 77e-12 -> -10.0000000 Inexact Rounded\r
-addx496 add -10 77e-999 -> -10.0000000 Inexact Rounded\r
-addx497 add -10 77e-9999999 -> -10.0000000 Inexact Rounded\r
-\r
-addx500 add 77e-7 -1 -> -0.9999923\r
-addx501 add 77e-8 -1 -> -0.99999923\r
-addx502 add 77e-9 -1 -> -0.999999923\r
-addx503 add 77e-10 -1 -> -0.999999992 Inexact Rounded\r
-addx504 add 77e-11 -1 -> -0.999999999 Inexact Rounded\r
-addx505 add 77e-12 -1 -> -1.00000000 Inexact Rounded\r
-addx506 add 77e-999 -1 -> -1.00000000 Inexact Rounded\r
-addx507 add 77e-9999999 -1 -> -1.00000000 Inexact Rounded\r
-\r
-addx510 add 77e-7 -10 -> -9.9999923\r
-addx511 add 77e-8 -10 -> -9.99999923\r
-addx512 add 77e-9 -10 -> -9.99999992 Inexact Rounded\r
-addx513 add 77e-10 -10 -> -9.99999999 Inexact Rounded\r
-addx514 add 77e-11 -10 -> -10.0000000 Inexact Rounded\r
-addx515 add 77e-12 -10 -> -10.0000000 Inexact Rounded\r
-addx516 add 77e-999 -10 -> -10.0000000 Inexact Rounded\r
-addx517 add 77e-9999999 -10 -> -10.0000000 Inexact Rounded\r
-\r
-\r
--- long operands\r
-maxexponent: 999\r
-minexponent: -999\r
-precision: 9\r
-addx521 add 12345678000 0 -> 1.23456780E+10 Rounded\r
-addx522 add 0 12345678000 -> 1.23456780E+10 Rounded\r
-addx523 add 1234567800 0 -> 1.23456780E+9 Rounded\r
-addx524 add 0 1234567800 -> 1.23456780E+9 Rounded\r
-addx525 add 1234567890 0 -> 1.23456789E+9 Rounded\r
-addx526 add 0 1234567890 -> 1.23456789E+9 Rounded\r
-addx527 add 1234567891 0 -> 1.23456789E+9 Inexact Rounded\r
-addx528 add 0 1234567891 -> 1.23456789E+9 Inexact Rounded\r
-addx529 add 12345678901 0 -> 1.23456789E+10 Inexact Rounded\r
-addx530 add 0 12345678901 -> 1.23456789E+10 Inexact Rounded\r
-addx531 add 1234567896 0 -> 1.23456790E+9 Inexact Rounded\r
-addx532 add 0 1234567896 -> 1.23456790E+9 Inexact Rounded\r
-\r
-precision: 15\r
--- still checking\r
-addx541 add 12345678000 0 -> 12345678000\r
-addx542 add 0 12345678000 -> 12345678000\r
-addx543 add 1234567800 0 -> 1234567800\r
-addx544 add 0 1234567800 -> 1234567800\r
-addx545 add 1234567890 0 -> 1234567890\r
-addx546 add 0 1234567890 -> 1234567890\r
-addx547 add 1234567891 0 -> 1234567891\r
-addx548 add 0 1234567891 -> 1234567891\r
-addx549 add 12345678901 0 -> 12345678901\r
-addx550 add 0 12345678901 -> 12345678901\r
-addx551 add 1234567896 0 -> 1234567896\r
-addx552 add 0 1234567896 -> 1234567896\r
-\r
--- verify a query\r
-precision: 16\r
-maxExponent: +394\r
-minExponent: -393\r
-rounding: down\r
-addx561 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded\r
-addx562 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded\r
--- and using decimal64 bounds (see also ddadd.decTest)\r
-precision: 16\r
-maxExponent: +384\r
-minExponent: -383\r
-rounding: down\r
-addx563 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded\r
-addx564 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded\r
-\r
-\r
--- some more residue effects with extreme rounding\r
-precision: 9\r
-rounding: half_up\r
-addx601 add 123456789 0.000001 -> 123456789 Inexact Rounded\r
-rounding: half_even\r
-addx602 add 123456789 0.000001 -> 123456789 Inexact Rounded\r
-rounding: half_down\r
-addx603 add 123456789 0.000001 -> 123456789 Inexact Rounded\r
-rounding: floor\r
-addx604 add 123456789 0.000001 -> 123456789 Inexact Rounded\r
-rounding: ceiling\r
-addx605 add 123456789 0.000001 -> 123456790 Inexact Rounded\r
-rounding: up\r
-addx606 add 123456789 0.000001 -> 123456790 Inexact Rounded\r
-rounding: down\r
-addx607 add 123456789 0.000001 -> 123456789 Inexact Rounded\r
-\r
-rounding: half_up\r
-addx611 add 123456789 -0.000001 -> 123456789 Inexact Rounded\r
-rounding: half_even\r
-addx612 add 123456789 -0.000001 -> 123456789 Inexact Rounded\r
-rounding: half_down\r
-addx613 add 123456789 -0.000001 -> 123456789 Inexact Rounded\r
-rounding: floor\r
-addx614 add 123456789 -0.000001 -> 123456788 Inexact Rounded\r
-rounding: ceiling\r
-addx615 add 123456789 -0.000001 -> 123456789 Inexact Rounded\r
-rounding: up\r
-addx616 add 123456789 -0.000001 -> 123456789 Inexact Rounded\r
-rounding: down\r
-addx617 add 123456789 -0.000001 -> 123456788 Inexact Rounded\r
-\r
-rounding: half_up\r
-addx621 add 123456789 0.499999 -> 123456789 Inexact Rounded\r
-rounding: half_even\r
-addx622 add 123456789 0.499999 -> 123456789 Inexact Rounded\r
-rounding: half_down\r
-addx623 add 123456789 0.499999 -> 123456789 Inexact Rounded\r
-rounding: floor\r
-addx624 add 123456789 0.499999 -> 123456789 Inexact Rounded\r
-rounding: ceiling\r
-addx625 add 123456789 0.499999 -> 123456790 Inexact Rounded\r
-rounding: up\r
-addx626 add 123456789 0.499999 -> 123456790 Inexact Rounded\r
-rounding: down\r
-addx627 add 123456789 0.499999 -> 123456789 Inexact Rounded\r
-\r
-rounding: half_up\r
-addx631 add 123456789 -0.499999 -> 123456789 Inexact Rounded\r
-rounding: half_even\r
-addx632 add 123456789 -0.499999 -> 123456789 Inexact Rounded\r
-rounding: half_down\r
-addx633 add 123456789 -0.499999 -> 123456789 Inexact Rounded\r
-rounding: floor\r
-addx634 add 123456789 -0.499999 -> 123456788 Inexact Rounded\r
-rounding: ceiling\r
-addx635 add 123456789 -0.499999 -> 123456789 Inexact Rounded\r
-rounding: up\r
-addx636 add 123456789 -0.499999 -> 123456789 Inexact Rounded\r
-rounding: down\r
-addx637 add 123456789 -0.499999 -> 123456788 Inexact Rounded\r
-\r
-rounding: half_up\r
-addx641 add 123456789 0.500001 -> 123456790 Inexact Rounded\r
-rounding: half_even\r
-addx642 add 123456789 0.500001 -> 123456790 Inexact Rounded\r
-rounding: half_down\r
-addx643 add 123456789 0.500001 -> 123456790 Inexact Rounded\r
-rounding: floor\r
-addx644 add 123456789 0.500001 -> 123456789 Inexact Rounded\r
-rounding: ceiling\r
-addx645 add 123456789 0.500001 -> 123456790 Inexact Rounded\r
-rounding: up\r
-addx646 add 123456789 0.500001 -> 123456790 Inexact Rounded\r
-rounding: down\r
-addx647 add 123456789 0.500001 -> 123456789 Inexact Rounded\r
-\r
-rounding: half_up\r
-addx651 add 123456789 -0.500001 -> 123456788 Inexact Rounded\r
-rounding: half_even\r
-addx652 add 123456789 -0.500001 -> 123456788 Inexact Rounded\r
-rounding: half_down\r
-addx653 add 123456789 -0.500001 -> 123456788 Inexact Rounded\r
-rounding: floor\r
-addx654 add 123456789 -0.500001 -> 123456788 Inexact Rounded\r
-rounding: ceiling\r
-addx655 add 123456789 -0.500001 -> 123456789 Inexact Rounded\r
-rounding: up\r
-addx656 add 123456789 -0.500001 -> 123456789 Inexact Rounded\r
-rounding: down\r
-addx657 add 123456789 -0.500001 -> 123456788 Inexact Rounded\r
-\r
--- long operand triangle\r
-rounding: half_up\r
-precision: 37\r
-addx660 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114834538\r
-precision: 36\r
-addx661 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483454 Inexact Rounded\r
-precision: 35\r
-addx662 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148345 Inexact Rounded\r
-precision: 34\r
-addx663 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114835 Inexact Rounded\r
-precision: 33\r
-addx664 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483 Inexact Rounded\r
-precision: 32\r
-addx665 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148 Inexact Rounded\r
-precision: 31\r
-addx666 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337115 Inexact Rounded\r
-precision: 30\r
-addx667 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711 Inexact Rounded\r
-precision: 29\r
-addx668 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371 Inexact Rounded\r
-precision: 28\r
-addx669 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337 Inexact Rounded\r
-precision: 27\r
-addx670 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892234 Inexact Rounded\r
-precision: 26\r
-addx671 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223 Inexact Rounded\r
-precision: 25\r
-addx672 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922 Inexact Rounded\r
-precision: 24\r
-addx673 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892 Inexact Rounded\r
-precision: 23\r
-addx674 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389 Inexact Rounded\r
-precision: 22\r
-addx675 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023639 Inexact Rounded\r
-precision: 21\r
-addx676 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102364 Inexact Rounded\r
-precision: 20\r
-addx677 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236 Inexact Rounded\r
-precision: 19\r
-addx678 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211024 Inexact Rounded\r
-precision: 18\r
-addx679 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102 Inexact Rounded\r
-precision: 17\r
-addx680 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110 Inexact Rounded\r
-precision: 16\r
-addx681 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211 Inexact Rounded\r
-precision: 15\r
-addx682 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221 Inexact Rounded\r
-precision: 14\r
-addx683 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422 Inexact Rounded\r
-precision: 13\r
-addx684 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42 Inexact Rounded\r
-precision: 12\r
-addx685 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4 Inexact Rounded\r
-precision: 11\r
-addx686 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166 Inexact Rounded\r
-precision: 10\r
-addx687 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117417E+10 Inexact Rounded\r
-precision: 9\r
-addx688 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84711742E+10 Inexact Rounded\r
-precision: 8\r
-addx689 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471174E+10 Inexact Rounded\r
-precision: 7\r
-addx690 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117E+10 Inexact Rounded\r
-precision: 6\r
-addx691 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84712E+10 Inexact Rounded\r
-precision: 5\r
-addx692 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471E+10 Inexact Rounded\r
-precision: 4\r
-addx693 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847E+10 Inexact Rounded\r
-precision: 3\r
-addx694 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.85E+10 Inexact Rounded\r
-precision: 2\r
-addx695 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8E+10 Inexact Rounded\r
-precision: 1\r
-addx696 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 1E+11 Inexact Rounded\r
-\r
--- more zeros, etc.\r
-rounding: half_up\r
-precision: 9\r
-\r
-addx701 add 5.00 1.00E-3 -> 5.00100\r
-addx702 add 00.00 0.000 -> 0.000\r
-addx703 add 00.00 0E-3 -> 0.000\r
-addx704 add 0E-3 00.00 -> 0.000\r
-\r
-addx710 add 0E+3 00.00 -> 0.00\r
-addx711 add 0E+3 00.0 -> 0.0\r
-addx712 add 0E+3 00. -> 0\r
-addx713 add 0E+3 00.E+1 -> 0E+1\r
-addx714 add 0E+3 00.E+2 -> 0E+2\r
-addx715 add 0E+3 00.E+3 -> 0E+3\r
-addx716 add 0E+3 00.E+4 -> 0E+3\r
-addx717 add 0E+3 00.E+5 -> 0E+3\r
-addx718 add 0E+3 -00.0 -> 0.0\r
-addx719 add 0E+3 -00. -> 0\r
-addx731 add 0E+3 -00.E+1 -> 0E+1\r
-\r
-addx720 add 00.00 0E+3 -> 0.00\r
-addx721 add 00.0 0E+3 -> 0.0\r
-addx722 add 00. 0E+3 -> 0\r
-addx723 add 00.E+1 0E+3 -> 0E+1\r
-addx724 add 00.E+2 0E+3 -> 0E+2\r
-addx725 add 00.E+3 0E+3 -> 0E+3\r
-addx726 add 00.E+4 0E+3 -> 0E+3\r
-addx727 add 00.E+5 0E+3 -> 0E+3\r
-addx728 add -00.00 0E+3 -> 0.00\r
-addx729 add -00.0 0E+3 -> 0.0\r
-addx730 add -00. 0E+3 -> 0\r
-\r
-addx732 add 0 0 -> 0\r
-addx733 add 0 -0 -> 0\r
-addx734 add -0 0 -> 0\r
-addx735 add -0 -0 -> -0 -- IEEE 854 special case\r
-\r
-addx736 add 1 -1 -> 0\r
-addx737 add -1 -1 -> -2\r
-addx738 add 1 1 -> 2\r
-addx739 add -1 1 -> 0\r
-\r
-addx741 add 0 -1 -> -1\r
-addx742 add -0 -1 -> -1\r
-addx743 add 0 1 -> 1\r
-addx744 add -0 1 -> 1\r
-addx745 add -1 0 -> -1\r
-addx746 add -1 -0 -> -1\r
-addx747 add 1 0 -> 1\r
-addx748 add 1 -0 -> 1\r
-\r
-addx751 add 0.0 -1 -> -1.0\r
-addx752 add -0.0 -1 -> -1.0\r
-addx753 add 0.0 1 -> 1.0\r
-addx754 add -0.0 1 -> 1.0\r
-addx755 add -1.0 0 -> -1.0\r
-addx756 add -1.0 -0 -> -1.0\r
-addx757 add 1.0 0 -> 1.0\r
-addx758 add 1.0 -0 -> 1.0\r
-\r
-addx761 add 0 -1.0 -> -1.0\r
-addx762 add -0 -1.0 -> -1.0\r
-addx763 add 0 1.0 -> 1.0\r
-addx764 add -0 1.0 -> 1.0\r
-addx765 add -1 0.0 -> -1.0\r
-addx766 add -1 -0.0 -> -1.0\r
-addx767 add 1 0.0 -> 1.0\r
-addx768 add 1 -0.0 -> 1.0\r
-\r
-addx771 add 0.0 -1.0 -> -1.0\r
-addx772 add -0.0 -1.0 -> -1.0\r
-addx773 add 0.0 1.0 -> 1.0\r
-addx774 add -0.0 1.0 -> 1.0\r
-addx775 add -1.0 0.0 -> -1.0\r
-addx776 add -1.0 -0.0 -> -1.0\r
-addx777 add 1.0 0.0 -> 1.0\r
-addx778 add 1.0 -0.0 -> 1.0\r
-\r
--- Specials\r
-addx780 add -Inf -Inf -> -Infinity\r
-addx781 add -Inf -1000 -> -Infinity\r
-addx782 add -Inf -1 -> -Infinity\r
-addx783 add -Inf -0 -> -Infinity\r
-addx784 add -Inf 0 -> -Infinity\r
-addx785 add -Inf 1 -> -Infinity\r
-addx786 add -Inf 1000 -> -Infinity\r
-addx787 add -1000 -Inf -> -Infinity\r
-addx788 add -Inf -Inf -> -Infinity\r
-addx789 add -1 -Inf -> -Infinity\r
-addx790 add -0 -Inf -> -Infinity\r
-addx791 add 0 -Inf -> -Infinity\r
-addx792 add 1 -Inf -> -Infinity\r
-addx793 add 1000 -Inf -> -Infinity\r
-addx794 add Inf -Inf -> NaN Invalid_operation\r
-\r
-addx800 add Inf -Inf -> NaN Invalid_operation\r
-addx801 add Inf -1000 -> Infinity\r
-addx802 add Inf -1 -> Infinity\r
-addx803 add Inf -0 -> Infinity\r
-addx804 add Inf 0 -> Infinity\r
-addx805 add Inf 1 -> Infinity\r
-addx806 add Inf 1000 -> Infinity\r
-addx807 add Inf Inf -> Infinity\r
-addx808 add -1000 Inf -> Infinity\r
-addx809 add -Inf Inf -> NaN Invalid_operation\r
-addx810 add -1 Inf -> Infinity\r
-addx811 add -0 Inf -> Infinity\r
-addx812 add 0 Inf -> Infinity\r
-addx813 add 1 Inf -> Infinity\r
-addx814 add 1000 Inf -> Infinity\r
-addx815 add Inf Inf -> Infinity\r
-\r
-addx821 add NaN -Inf -> NaN\r
-addx822 add NaN -1000 -> NaN\r
-addx823 add NaN -1 -> NaN\r
-addx824 add NaN -0 -> NaN\r
-addx825 add NaN 0 -> NaN\r
-addx826 add NaN 1 -> NaN\r
-addx827 add NaN 1000 -> NaN\r
-addx828 add NaN Inf -> NaN\r
-addx829 add NaN NaN -> NaN\r
-addx830 add -Inf NaN -> NaN\r
-addx831 add -1000 NaN -> NaN\r
-addx832 add -1 NaN -> NaN\r
-addx833 add -0 NaN -> NaN\r
-addx834 add 0 NaN -> NaN\r
-addx835 add 1 NaN -> NaN\r
-addx836 add 1000 NaN -> NaN\r
-addx837 add Inf NaN -> NaN\r
-\r
-addx841 add sNaN -Inf -> NaN Invalid_operation\r
-addx842 add sNaN -1000 -> NaN Invalid_operation\r
-addx843 add sNaN -1 -> NaN Invalid_operation\r
-addx844 add sNaN -0 -> NaN Invalid_operation\r
-addx845 add sNaN 0 -> NaN Invalid_operation\r
-addx846 add sNaN 1 -> NaN Invalid_operation\r
-addx847 add sNaN 1000 -> NaN Invalid_operation\r
-addx848 add sNaN NaN -> NaN Invalid_operation\r
-addx849 add sNaN sNaN -> NaN Invalid_operation\r
-addx850 add NaN sNaN -> NaN Invalid_operation\r
-addx851 add -Inf sNaN -> NaN Invalid_operation\r
-addx852 add -1000 sNaN -> NaN Invalid_operation\r
-addx853 add -1 sNaN -> NaN Invalid_operation\r
-addx854 add -0 sNaN -> NaN Invalid_operation\r
-addx855 add 0 sNaN -> NaN Invalid_operation\r
-addx856 add 1 sNaN -> NaN Invalid_operation\r
-addx857 add 1000 sNaN -> NaN Invalid_operation\r
-addx858 add Inf sNaN -> NaN Invalid_operation\r
-addx859 add NaN sNaN -> NaN Invalid_operation\r
-\r
--- propagating NaNs\r
-addx861 add NaN1 -Inf -> NaN1\r
-addx862 add +NaN2 -1000 -> NaN2\r
-addx863 add NaN3 1000 -> NaN3\r
-addx864 add NaN4 Inf -> NaN4\r
-addx865 add NaN5 +NaN6 -> NaN5\r
-addx866 add -Inf NaN7 -> NaN7\r
-addx867 add -1000 NaN8 -> NaN8\r
-addx868 add 1000 NaN9 -> NaN9\r
-addx869 add Inf +NaN10 -> NaN10\r
-addx871 add sNaN11 -Inf -> NaN11 Invalid_operation\r
-addx872 add sNaN12 -1000 -> NaN12 Invalid_operation\r
-addx873 add sNaN13 1000 -> NaN13 Invalid_operation\r
-addx874 add sNaN14 NaN17 -> NaN14 Invalid_operation\r
-addx875 add sNaN15 sNaN18 -> NaN15 Invalid_operation\r
-addx876 add NaN16 sNaN19 -> NaN19 Invalid_operation\r
-addx877 add -Inf +sNaN20 -> NaN20 Invalid_operation\r
-addx878 add -1000 sNaN21 -> NaN21 Invalid_operation\r
-addx879 add 1000 sNaN22 -> NaN22 Invalid_operation\r
-addx880 add Inf sNaN23 -> NaN23 Invalid_operation\r
-addx881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation\r
-addx882 add -NaN26 NaN28 -> -NaN26\r
-addx883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation\r
-addx884 add 1000 -NaN30 -> -NaN30\r
-addx885 add 1000 -sNaN31 -> -NaN31 Invalid_operation\r
-\r
--- overflow, underflow and subnormal tests\r
-maxexponent: 999999999\r
-minexponent: -999999999\r
-precision: 9\r
-addx890 add 1E+999999999 9E+999999999 -> Infinity Overflow Inexact Rounded\r
-addx891 add 9E+999999999 1E+999999999 -> Infinity Overflow Inexact Rounded\r
-addx892 add -1.1E-999999999 1E-999999999 -> -1E-1000000000 Subnormal\r
-addx893 add 1E-999999999 -1.1e-999999999 -> -1E-1000000000 Subnormal\r
-addx894 add -1.0001E-999999999 1E-999999999 -> -1E-1000000003 Subnormal\r
-addx895 add 1E-999999999 -1.0001e-999999999 -> -1E-1000000003 Subnormal\r
-addx896 add -1E+999999999 -9E+999999999 -> -Infinity Overflow Inexact Rounded\r
-addx897 add -9E+999999999 -1E+999999999 -> -Infinity Overflow Inexact Rounded\r
-addx898 add +1.1E-999999999 -1E-999999999 -> 1E-1000000000 Subnormal\r
-addx899 add -1E-999999999 +1.1e-999999999 -> 1E-1000000000 Subnormal\r
-addx900 add +1.0001E-999999999 -1E-999999999 -> 1E-1000000003 Subnormal\r
-addx901 add -1E-999999999 +1.0001e-999999999 -> 1E-1000000003 Subnormal\r
-addx902 add -1E+999999999 +9E+999999999 -> 8E+999999999\r
-addx903 add -9E+999999999 +1E+999999999 -> -8E+999999999\r
-\r
-precision: 3\r
-addx904 add 0 -9.999E+999999999 -> -Infinity Inexact Overflow Rounded\r
-addx905 add -9.999E+999999999 0 -> -Infinity Inexact Overflow Rounded\r
-addx906 add 0 9.999E+999999999 -> Infinity Inexact Overflow Rounded\r
-addx907 add 9.999E+999999999 0 -> Infinity Inexact Overflow Rounded\r
-\r
-precision: 3\r
-maxexponent: 999\r
-minexponent: -999\r
-addx910 add 1.00E-999 0 -> 1.00E-999\r
-addx911 add 0.1E-999 0 -> 1E-1000 Subnormal\r
-addx912 add 0.10E-999 0 -> 1.0E-1000 Subnormal\r
-addx913 add 0.100E-999 0 -> 1.0E-1000 Subnormal Rounded\r
-addx914 add 0.01E-999 0 -> 1E-1001 Subnormal\r
--- next is rounded to Nmin\r
-addx915 add 0.999E-999 0 -> 1.00E-999 Inexact Rounded Subnormal Underflow\r
-addx916 add 0.099E-999 0 -> 1.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx917 add 0.009E-999 0 -> 1E-1001 Inexact Rounded Subnormal Underflow\r
-addx918 add 0.001E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped\r
-addx919 add 0.0009E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped\r
-addx920 add 0.0001E-999 0 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped\r
-\r
-addx930 add -1.00E-999 0 -> -1.00E-999\r
-addx931 add -0.1E-999 0 -> -1E-1000 Subnormal\r
-addx932 add -0.10E-999 0 -> -1.0E-1000 Subnormal\r
-addx933 add -0.100E-999 0 -> -1.0E-1000 Subnormal Rounded\r
-addx934 add -0.01E-999 0 -> -1E-1001 Subnormal\r
--- next is rounded to Nmin\r
-addx935 add -0.999E-999 0 -> -1.00E-999 Inexact Rounded Subnormal Underflow\r
-addx936 add -0.099E-999 0 -> -1.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx937 add -0.009E-999 0 -> -1E-1001 Inexact Rounded Subnormal Underflow\r
-addx938 add -0.001E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped\r
-addx939 add -0.0009E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped\r
-addx940 add -0.0001E-999 0 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped\r
-\r
--- some non-zero subnormal adds\r
-addx950 add 1.00E-999 0.1E-999 -> 1.10E-999\r
-addx951 add 0.1E-999 0.1E-999 -> 2E-1000 Subnormal\r
-addx952 add 0.10E-999 0.1E-999 -> 2.0E-1000 Subnormal\r
-addx953 add 0.100E-999 0.1E-999 -> 2.0E-1000 Subnormal Rounded\r
-addx954 add 0.01E-999 0.1E-999 -> 1.1E-1000 Subnormal\r
-addx955 add 0.999E-999 0.1E-999 -> 1.10E-999 Inexact Rounded\r
-addx956 add 0.099E-999 0.1E-999 -> 2.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx957 add 0.009E-999 0.1E-999 -> 1.1E-1000 Inexact Rounded Subnormal Underflow\r
-addx958 add 0.001E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx959 add 0.0009E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx960 add 0.0001E-999 0.1E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow\r
--- negatives...\r
-addx961 add 1.00E-999 -0.1E-999 -> 9.0E-1000 Subnormal\r
-addx962 add 0.1E-999 -0.1E-999 -> 0E-1000\r
-addx963 add 0.10E-999 -0.1E-999 -> 0E-1001\r
-addx964 add 0.100E-999 -0.1E-999 -> 0E-1001 Clamped\r
-addx965 add 0.01E-999 -0.1E-999 -> -9E-1001 Subnormal\r
-addx966 add 0.999E-999 -0.1E-999 -> 9.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx967 add 0.099E-999 -0.1E-999 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped\r
-addx968 add 0.009E-999 -0.1E-999 -> -9E-1001 Inexact Rounded Subnormal Underflow\r
-addx969 add 0.001E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx970 add 0.0009E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow\r
-addx971 add 0.0001E-999 -0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow\r
-\r
--- some 'real' numbers\r
-maxExponent: 384\r
-minExponent: -383\r
-precision: 8\r
-addx566 add 99999061735E-394 0E-394 -> 9.999906E-384 Inexact Rounded Underflow Subnormal\r
-precision: 7\r
-addx567 add 99999061735E-394 0E-394 -> 9.99991E-384 Inexact Rounded Underflow Subnormal\r
-precision: 6\r
-addx568 add 99999061735E-394 0E-394 -> 9.9999E-384 Inexact Rounded Underflow Subnormal\r
-\r
--- now the case where we can get underflow but the result is normal\r
--- [note this can't happen if the operands are also bounded, as we\r
--- cannot represent 1E-399, for example]\r
-precision: 16\r
-rounding: half_up\r
-maxExponent: 384\r
-minExponent: -383\r
-\r
-addx571 add 1E-383 0 -> 1E-383\r
-addx572 add 1E-384 0 -> 1E-384 Subnormal\r
-addx573 add 1E-383 1E-384 -> 1.1E-383\r
-addx574 subtract 1E-383 1E-384 -> 9E-384 Subnormal\r
-\r
--- Here we explore the boundary of rounding a subnormal to Nmin\r
-addx575 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal\r
-addx576 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal\r
-addx577 subtract 1E-383 1E-399 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-addx578 subtract 1E-383 1E-400 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-addx579 subtract 1E-383 1E-401 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-addx580 subtract 1E-383 1E-402 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-\r
--- check overflow edge case\r
-precision: 7\r
-rounding: half_up\r
-maxExponent: 96\r
-minExponent: -95\r
-addx972 apply 9.999999E+96 -> 9.999999E+96\r
-addx973 add 9.999999E+96 1 -> 9.999999E+96 Inexact Rounded\r
-addx974 add 9999999E+90 1 -> 9.999999E+96 Inexact Rounded\r
-addx975 add 9999999E+90 1E+90 -> Infinity Overflow Inexact Rounded\r
-addx976 add 9999999E+90 9E+89 -> Infinity Overflow Inexact Rounded\r
-addx977 add 9999999E+90 8E+89 -> Infinity Overflow Inexact Rounded\r
-addx978 add 9999999E+90 7E+89 -> Infinity Overflow Inexact Rounded\r
-addx979 add 9999999E+90 6E+89 -> Infinity Overflow Inexact Rounded\r
-addx980 add 9999999E+90 5E+89 -> Infinity Overflow Inexact Rounded\r
-addx981 add 9999999E+90 4E+89 -> 9.999999E+96 Inexact Rounded\r
-addx982 add 9999999E+90 3E+89 -> 9.999999E+96 Inexact Rounded\r
-addx983 add 9999999E+90 2E+89 -> 9.999999E+96 Inexact Rounded\r
-addx984 add 9999999E+90 1E+89 -> 9.999999E+96 Inexact Rounded\r
-\r
-addx985 apply -9.999999E+96 -> -9.999999E+96\r
-addx986 add -9.999999E+96 -1 -> -9.999999E+96 Inexact Rounded\r
-addx987 add -9999999E+90 -1 -> -9.999999E+96 Inexact Rounded\r
-addx988 add -9999999E+90 -1E+90 -> -Infinity Overflow Inexact Rounded\r
-addx989 add -9999999E+90 -9E+89 -> -Infinity Overflow Inexact Rounded\r
-addx990 add -9999999E+90 -8E+89 -> -Infinity Overflow Inexact Rounded\r
-addx991 add -9999999E+90 -7E+89 -> -Infinity Overflow Inexact Rounded\r
-addx992 add -9999999E+90 -6E+89 -> -Infinity Overflow Inexact Rounded\r
-addx993 add -9999999E+90 -5E+89 -> -Infinity Overflow Inexact Rounded\r
-addx994 add -9999999E+90 -4E+89 -> -9.999999E+96 Inexact Rounded\r
-addx995 add -9999999E+90 -3E+89 -> -9.999999E+96 Inexact Rounded\r
-addx996 add -9999999E+90 -2E+89 -> -9.999999E+96 Inexact Rounded\r
-addx997 add -9999999E+90 -1E+89 -> -9.999999E+96 Inexact Rounded\r
-\r
--- check for double-rounded subnormals\r
-precision: 5\r
-maxexponent: 79\r
-minexponent: -79\r
--- Add: lhs and rhs 0\r
-addx1001 add 1.52444E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1002 add 1.52445E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1003 add 1.52446E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1004 add 0 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1005 add 0 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1006 add 0 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-\r
--- Add: lhs >> rhs and vice versa\r
-addx1011 add 1.52444E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1012 add 1.52445E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1013 add 1.52446E-80 1E-100 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1014 add 1E-100 1.52444E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1015 add 1E-100 1.52445E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1016 add 1E-100 1.52446E-80 -> 1.524E-80 Inexact Rounded Subnormal Underflow\r
-\r
--- Add: lhs + rhs addition carried out\r
-addx1021 add 1.52443E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1022 add 1.52444E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1023 add 1.52445E-80 1.00001E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1024 add 1.00001E-80 1.52443E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1025 add 1.00001E-80 1.52444E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow\r
-addx1026 add 1.00001E-80 1.52445E-80 -> 2.524E-80 Inexact Rounded Subnormal Underflow\r
-\r
--- And for round down full and subnormal results\r
-precision: 16\r
-maxExponent: +384\r
-minExponent: -383\r
-rounding: down\r
-\r
-addx1100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact\r
-addx1101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact\r
-addx1103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact\r
-addx1104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact\r
-addx1105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact\r
-addx1106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact\r
-addx1107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact\r
-addx1108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact\r
-addx1109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact\r
-\r
-rounding: ceiling\r
-addx1110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact\r
-addx1111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact\r
-addx1113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact\r
-addx1114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact\r
-addx1115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact\r
-addx1116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact\r
-addx1117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact\r
-addx1118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact\r
-addx1119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact\r
-addx1120 add +1e-383 -1e+2 -> -99.99999999999999 Rounded Inexact\r
-addx1121 add +1e-383 -1e+1 -> -9.999999999999999 Rounded Inexact\r
-addx1123 add +1e-383 -1 -> -0.9999999999999999 Rounded Inexact\r
-addx1124 add +1e-383 -1e-1 -> -0.09999999999999999 Rounded Inexact\r
-addx1125 add +1e-383 -1e-2 -> -0.009999999999999999 Rounded Inexact\r
-addx1126 add +1e-383 -1e-3 -> -0.0009999999999999999 Rounded Inexact\r
-addx1127 add +1e-383 -1e-4 -> -0.00009999999999999999 Rounded Inexact\r
-addx1128 add +1e-383 -1e-5 -> -0.000009999999999999999 Rounded Inexact\r
-addx1129 add +1e-383 -1e-6 -> -9.999999999999999E-7 Rounded Inexact\r
-\r
-rounding: down\r
-precision: 7\r
-maxExponent: +96\r
-minExponent: -95\r
-addx1130 add 1 -1e-200 -> 0.9999999 Rounded Inexact\r
--- subnormal boundary\r
-addx1131 add 1.000000E-94 -1e-200 -> 9.999999E-95 Rounded Inexact\r
-addx1132 add 1.000001E-95 -1e-200 -> 1.000000E-95 Rounded Inexact\r
-addx1133 add 1.000000E-95 -1e-200 -> 9.99999E-96 Rounded Inexact Subnormal Underflow\r
-addx1134 add 0.999999E-95 -1e-200 -> 9.99998E-96 Rounded Inexact Subnormal Underflow\r
-addx1135 add 0.001000E-95 -1e-200 -> 9.99E-99 Rounded Inexact Subnormal Underflow\r
-addx1136 add 0.000999E-95 -1e-200 -> 9.98E-99 Rounded Inexact Subnormal Underflow\r
-addx1137 add 1.000000E-95 -1e-101 -> 9.99999E-96 Subnormal\r
-addx1138 add 10000E-101 -1e-200 -> 9.999E-98 Subnormal Inexact Rounded Underflow\r
-addx1139 add 1000E-101 -1e-200 -> 9.99E-99 Subnormal Inexact Rounded Underflow\r
-addx1140 add 100E-101 -1e-200 -> 9.9E-100 Subnormal Inexact Rounded Underflow\r
-addx1141 add 10E-101 -1e-200 -> 9E-101 Subnormal Inexact Rounded Underflow\r
-addx1142 add 1E-101 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-addx1143 add 0E-101 -1e-200 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-addx1144 add 1E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-addx1151 add 10000E-102 -1e-200 -> 9.99E-99 Subnormal Inexact Rounded Underflow\r
-addx1152 add 1000E-102 -1e-200 -> 9.9E-100 Subnormal Inexact Rounded Underflow\r
-addx1153 add 100E-102 -1e-200 -> 9E-101 Subnormal Inexact Rounded Underflow\r
-addx1154 add 10E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-addx1155 add 1E-102 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-addx1156 add 0E-102 -1e-200 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-addx1157 add 1E-103 -1e-200 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-addx1160 add 100E-105 -1e-101 -> -0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-addx1161 add 100E-105 -1e-201 -> 0E-101 Subnormal Inexact Rounded Underflow Clamped\r
-\r
--- tests based on Gunnar Degnbol's edge case\r
-precision: 15\r
-rounding: half_up\r
-maxExponent: 384\r
-minexponent: -383\r
-\r
-addx1200 add 1E15 -0.5 -> 1.00000000000000E+15 Inexact Rounded\r
-addx1201 add 1E15 -0.50 -> 1.00000000000000E+15 Inexact Rounded\r
-addx1210 add 1E15 -0.51 -> 999999999999999 Inexact Rounded\r
-addx1211 add 1E15 -0.501 -> 999999999999999 Inexact Rounded\r
-addx1212 add 1E15 -0.5001 -> 999999999999999 Inexact Rounded\r
-addx1213 add 1E15 -0.50001 -> 999999999999999 Inexact Rounded\r
-addx1214 add 1E15 -0.500001 -> 999999999999999 Inexact Rounded\r
-addx1215 add 1E15 -0.5000001 -> 999999999999999 Inexact Rounded\r
-addx1216 add 1E15 -0.50000001 -> 999999999999999 Inexact Rounded\r
-addx1217 add 1E15 -0.500000001 -> 999999999999999 Inexact Rounded\r
-addx1218 add 1E15 -0.5000000001 -> 999999999999999 Inexact Rounded\r
-addx1219 add 1E15 -0.50000000001 -> 999999999999999 Inexact Rounded\r
-addx1220 add 1E15 -0.500000000001 -> 999999999999999 Inexact Rounded\r
-addx1221 add 1E15 -0.5000000000001 -> 999999999999999 Inexact Rounded\r
-addx1222 add 1E15 -0.50000000000001 -> 999999999999999 Inexact Rounded\r
-addx1223 add 1E15 -0.500000000000001 -> 999999999999999 Inexact Rounded\r
-addx1224 add 1E15 -0.5000000000000001 -> 999999999999999 Inexact Rounded\r
-addx1225 add 1E15 -0.5000000000000000 -> 1.00000000000000E+15 Inexact Rounded\r
-addx1230 add 1E15 -5000000.000000001 -> 999999995000000 Inexact Rounded\r
-\r
-precision: 16\r
-\r
-addx1300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded\r
-addx1311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded\r
-addx1312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded\r
-addx1313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded\r
-addx1314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded\r
-addx1315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded\r
-addx1316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded\r
-addx1317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded\r
-addx1318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded\r
-addx1319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded\r
-addx1320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded\r
-addx1321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded\r
-addx1322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded\r
-addx1323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded\r
-addx1324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded\r
-addx1325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded\r
-\r
-addx1340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded\r
-addx1341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded\r
-\r
-addx1349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded\r
-addx1350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded\r
-addx1351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded\r
-addx1352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded\r
-addx1353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded\r
-addx1354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded\r
-addx1355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded\r
-addx1356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded\r
-addx1357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded\r
-addx1358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded\r
-addx1359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded\r
-addx1360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded\r
-addx1361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded\r
-addx1362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded\r
-addx1363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded\r
-addx1364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded\r
-addx1365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded\r
-addx1396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded\r
-\r
--- More GD edge cases, where difference between the unadjusted\r
--- exponents is larger than the maximum precision and one side is 0\r
-precision: 15\r
-rounding: half_up\r
-maxExponent: 384\r
-minexponent: -383\r
-\r
-addx1400 add 0 1.23456789012345 -> 1.23456789012345\r
-addx1401 add 0 1.23456789012345E-1 -> 0.123456789012345\r
-addx1402 add 0 1.23456789012345E-2 -> 0.0123456789012345\r
-addx1403 add 0 1.23456789012345E-3 -> 0.00123456789012345\r
-addx1404 add 0 1.23456789012345E-4 -> 0.000123456789012345\r
-addx1405 add 0 1.23456789012345E-5 -> 0.0000123456789012345\r
-addx1406 add 0 1.23456789012345E-6 -> 0.00000123456789012345\r
-addx1407 add 0 1.23456789012345E-7 -> 1.23456789012345E-7\r
-addx1408 add 0 1.23456789012345E-8 -> 1.23456789012345E-8\r
-addx1409 add 0 1.23456789012345E-9 -> 1.23456789012345E-9\r
-addx1410 add 0 1.23456789012345E-10 -> 1.23456789012345E-10\r
-addx1411 add 0 1.23456789012345E-11 -> 1.23456789012345E-11\r
-addx1412 add 0 1.23456789012345E-12 -> 1.23456789012345E-12\r
-addx1413 add 0 1.23456789012345E-13 -> 1.23456789012345E-13\r
-addx1414 add 0 1.23456789012345E-14 -> 1.23456789012345E-14\r
-addx1415 add 0 1.23456789012345E-15 -> 1.23456789012345E-15\r
-addx1416 add 0 1.23456789012345E-16 -> 1.23456789012345E-16\r
-addx1417 add 0 1.23456789012345E-17 -> 1.23456789012345E-17\r
-addx1418 add 0 1.23456789012345E-18 -> 1.23456789012345E-18\r
-addx1419 add 0 1.23456789012345E-19 -> 1.23456789012345E-19\r
-\r
--- same, precision 16..\r
-precision: 16\r
-addx1420 add 0 1.123456789012345 -> 1.123456789012345\r
-addx1421 add 0 1.123456789012345E-1 -> 0.1123456789012345\r
-addx1422 add 0 1.123456789012345E-2 -> 0.01123456789012345\r
-addx1423 add 0 1.123456789012345E-3 -> 0.001123456789012345\r
-addx1424 add 0 1.123456789012345E-4 -> 0.0001123456789012345\r
-addx1425 add 0 1.123456789012345E-5 -> 0.00001123456789012345\r
-addx1426 add 0 1.123456789012345E-6 -> 0.000001123456789012345\r
-addx1427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7\r
-addx1428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8\r
-addx1429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9\r
-addx1430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10\r
-addx1431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11\r
-addx1432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12\r
-addx1433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13\r
-addx1434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14\r
-addx1435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15\r
-addx1436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16\r
-addx1437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17\r
-addx1438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18\r
-addx1439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19\r
-\r
--- same, reversed 0\r
-addx1440 add 1.123456789012345 0 -> 1.123456789012345\r
-addx1441 add 1.123456789012345E-1 0 -> 0.1123456789012345\r
-addx1442 add 1.123456789012345E-2 0 -> 0.01123456789012345\r
-addx1443 add 1.123456789012345E-3 0 -> 0.001123456789012345\r
-addx1444 add 1.123456789012345E-4 0 -> 0.0001123456789012345\r
-addx1445 add 1.123456789012345E-5 0 -> 0.00001123456789012345\r
-addx1446 add 1.123456789012345E-6 0 -> 0.000001123456789012345\r
-addx1447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7\r
-addx1448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8\r
-addx1449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9\r
-addx1450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10\r
-addx1451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11\r
-addx1452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12\r
-addx1453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13\r
-addx1454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14\r
-addx1455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15\r
-addx1456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16\r
-addx1457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17\r
-addx1458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18\r
-addx1459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19\r
-\r
--- same, Es on the 0\r
-addx1460 add 1.123456789012345 0E-0 -> 1.123456789012345\r
-addx1461 add 1.123456789012345 0E-1 -> 1.123456789012345\r
-addx1462 add 1.123456789012345 0E-2 -> 1.123456789012345\r
-addx1463 add 1.123456789012345 0E-3 -> 1.123456789012345\r
-addx1464 add 1.123456789012345 0E-4 -> 1.123456789012345\r
-addx1465 add 1.123456789012345 0E-5 -> 1.123456789012345\r
-addx1466 add 1.123456789012345 0E-6 -> 1.123456789012345\r
-addx1467 add 1.123456789012345 0E-7 -> 1.123456789012345\r
-addx1468 add 1.123456789012345 0E-8 -> 1.123456789012345\r
-addx1469 add 1.123456789012345 0E-9 -> 1.123456789012345\r
-addx1470 add 1.123456789012345 0E-10 -> 1.123456789012345\r
-addx1471 add 1.123456789012345 0E-11 -> 1.123456789012345\r
-addx1472 add 1.123456789012345 0E-12 -> 1.123456789012345\r
-addx1473 add 1.123456789012345 0E-13 -> 1.123456789012345\r
-addx1474 add 1.123456789012345 0E-14 -> 1.123456789012345\r
-addx1475 add 1.123456789012345 0E-15 -> 1.123456789012345\r
--- next four flag Rounded because the 0 extends the result\r
-addx1476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded\r
-addx1477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded\r
-addx1478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded\r
-addx1479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded\r
-\r
--- sum of two opposite-sign operands is exactly 0 and floor => -0\r
-precision: 16\r
-maxExponent: 384\r
-minexponent: -383\r
-\r
-rounding: half_up\r
--- exact zeros from zeros\r
-addx1500 add 0 0E-19 -> 0E-19\r
-addx1501 add -0 0E-19 -> 0E-19\r
-addx1502 add 0 -0E-19 -> 0E-19\r
-addx1503 add -0 -0E-19 -> -0E-19\r
-addx1504 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx1505 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx1506 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx1507 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx1511 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1512 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1513 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1514 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx1515 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1516 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx1517 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx1518 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: half_down\r
--- exact zeros from zeros\r
-addx1520 add 0 0E-19 -> 0E-19\r
-addx1521 add -0 0E-19 -> 0E-19\r
-addx1522 add 0 -0E-19 -> 0E-19\r
-addx1523 add -0 -0E-19 -> -0E-19\r
-addx1524 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx1525 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx1526 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx1527 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx1531 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1532 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1533 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1534 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx1535 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1536 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx1537 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx1538 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: half_even\r
--- exact zeros from zeros\r
-addx1540 add 0 0E-19 -> 0E-19\r
-addx1541 add -0 0E-19 -> 0E-19\r
-addx1542 add 0 -0E-19 -> 0E-19\r
-addx1543 add -0 -0E-19 -> -0E-19\r
-addx1544 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx1545 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx1546 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx1547 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx1551 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1552 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1553 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1554 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx1555 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1556 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx1557 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx1558 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: up\r
--- exact zeros from zeros\r
-addx1560 add 0 0E-19 -> 0E-19\r
-addx1561 add -0 0E-19 -> 0E-19\r
-addx1562 add 0 -0E-19 -> 0E-19\r
-addx1563 add -0 -0E-19 -> -0E-19\r
-addx1564 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx1565 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx1566 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx1567 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx1571 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx1572 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx1573 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-addx1574 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
--- some exact zeros from non-zeros\r
-addx1575 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx1576 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx1577 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx1578 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-\r
-rounding: down\r
--- exact zeros from zeros\r
-addx1580 add 0 0E-19 -> 0E-19\r
-addx1581 add -0 0E-19 -> 0E-19\r
-addx1582 add 0 -0E-19 -> 0E-19\r
-addx1583 add -0 -0E-19 -> -0E-19\r
-addx1584 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx1585 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx1586 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx1587 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx1591 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1592 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1593 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1594 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx1595 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1596 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx1597 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx1598 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: ceiling\r
--- exact zeros from zeros\r
-addx1600 add 0 0E-19 -> 0E-19\r
-addx1601 add -0 0E-19 -> 0E-19\r
-addx1602 add 0 -0E-19 -> 0E-19\r
-addx1603 add -0 -0E-19 -> -0E-19\r
-addx1604 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx1605 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx1606 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx1607 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx1611 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx1612 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx1613 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1614 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx1615 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx1616 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx1617 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx1618 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
--- and the extra-special ugly case; unusual minuses marked by -- *\r
-rounding: floor\r
--- exact zeros from zeros\r
-addx1620 add 0 0E-19 -> 0E-19\r
-addx1621 add -0 0E-19 -> -0E-19 -- *\r
-addx1622 add 0 -0E-19 -> -0E-19 -- *\r
-addx1623 add -0 -0E-19 -> -0E-19\r
-addx1624 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx1625 add -0E-400 0E-19 -> -0E-398 Clamped -- *\r
-addx1626 add 0E-400 -0E-19 -> -0E-398 Clamped -- *\r
-addx1627 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx1631 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1632 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1633 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-addx1634 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
--- some exact zeros from non-zeros\r
-addx1635 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx1636 add -1E-401 1E-401 -> -0E-398 Clamped -- *\r
-addx1637 add 1E-401 -1E-401 -> -0E-398 Clamped -- *\r
-addx1638 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-\r
--- BigDecimal problem testcases 2006.01.23\r
-precision: 16\r
-maxExponent: 384\r
-minexponent: -383\r
-\r
-rounding: down\r
-precision: 7\r
-addx1651 add 10001E+2 -2E+1 -> 1.00008E+6\r
-precision: 6\r
-addx1652 add 10001E+2 -2E+1 -> 1.00008E+6\r
-precision: 5\r
-addx1653 add 10001E+2 -2E+1 -> 1.0000E+6 Inexact Rounded\r
-precision: 4\r
-addx1654 add 10001E+2 -2E+1 -> 1.000E+6 Inexact Rounded\r
-precision: 3\r
-addx1655 add 10001E+2 -2E+1 -> 1.00E+6 Inexact Rounded\r
-precision: 2\r
-addx1656 add 10001E+2 -2E+1 -> 1.0E+6 Inexact Rounded\r
-precision: 1\r
-addx1657 add 10001E+2 -2E+1 -> 1E+6 Inexact Rounded\r
-\r
-rounding: half_even\r
-precision: 7\r
-addx1661 add 10001E+2 -2E+1 -> 1.00008E+6\r
-precision: 6\r
-addx1662 add 10001E+2 -2E+1 -> 1.00008E+6\r
-precision: 5\r
-addx1663 add 10001E+2 -2E+1 -> 1.0001E+6 Inexact Rounded\r
-precision: 4\r
-addx1664 add 10001E+2 -2E+1 -> 1.000E+6 Inexact Rounded\r
-precision: 3\r
-addx1665 add 10001E+2 -2E+1 -> 1.00E+6 Inexact Rounded\r
-precision: 2\r
-addx1666 add 10001E+2 -2E+1 -> 1.0E+6 Inexact Rounded\r
-precision: 1\r
-addx1667 add 10001E+2 -2E+1 -> 1E+6 Inexact Rounded\r
-\r
-rounding: up\r
-precision: 7\r
-addx1671 add 10001E+2 -2E+1 -> 1.00008E+6\r
-precision: 6\r
-addx1672 add 10001E+2 -2E+1 -> 1.00008E+6\r
-precision: 5\r
-addx1673 add 10001E+2 -2E+1 -> 1.0001E+6 Inexact Rounded\r
-precision: 4\r
-addx1674 add 10001E+2 -2E+1 -> 1.001E+6 Inexact Rounded\r
-precision: 3\r
-addx1675 add 10001E+2 -2E+1 -> 1.01E+6 Inexact Rounded\r
-precision: 2\r
-addx1676 add 10001E+2 -2E+1 -> 1.1E+6 Inexact Rounded\r
-precision: 1\r
-addx1677 add 10001E+2 -2E+1 -> 2E+6 Inexact Rounded\r
-\r
-precision: 34\r
-rounding: half_up\r
-maxExponent: 6144\r
-minExponent: -6143\r
--- Examples from SQL proposal (Krishna Kulkarni)\r
-addx1701 add 130E-2 120E-2 -> 2.50\r
-addx1702 add 130E-2 12E-1 -> 2.50\r
-addx1703 add 130E-2 1E0 -> 2.30\r
-addx1704 add 1E2 1E4 -> 1.01E+4\r
-addx1705 subtract 130E-2 120E-2 -> 0.10\r
-addx1706 subtract 130E-2 12E-1 -> 0.10\r
-addx1707 subtract 130E-2 1E0 -> 0.30\r
-addx1708 subtract 1E2 1E4 -> -9.9E+3\r
-\r
-------------------------------------------------------------------------\r
--- Same as above, using decimal64 default parameters --\r
-------------------------------------------------------------------------\r
-precision: 16\r
-rounding: half_even\r
-maxExponent: 384\r
-minexponent: -383\r
-\r
--- [first group are 'quick confidence check']\r
-addx6001 add 1 1 -> 2\r
-addx6002 add 2 3 -> 5\r
-addx6003 add '5.75' '3.3' -> 9.05\r
-addx6004 add '5' '-3' -> 2\r
-addx6005 add '-5' '-3' -> -8\r
-addx6006 add '-7' '2.5' -> -4.5\r
-addx6007 add '0.7' '0.3' -> 1.0\r
-addx6008 add '1.25' '1.25' -> 2.50\r
-addx6009 add '1.23456789' '1.00000000' -> '2.23456789'\r
-addx6010 add '1.23456789' '1.00000011' -> '2.23456800'\r
-\r
-addx6011 add '0.44444444444444444' '0.55555555555555555' -> '1.000000000000000' Inexact Rounded\r
-addx6012 add '0.44444444444444440' '0.55555555555555555' -> '1.000000000000000' Inexact Rounded\r
-addx6013 add '0.44444444444444444' '0.55555555555555550' -> '0.9999999999999999' Inexact Rounded\r
-addx6014 add '0.444444444444444449' '0' -> '0.4444444444444444' Inexact Rounded\r
-addx6015 add '0.4444444444444444499' '0' -> '0.4444444444444444' Inexact Rounded\r
-addx6016 add '0.44444444444444444999' '0' -> '0.4444444444444444' Inexact Rounded\r
-addx6017 add '0.44444444444444445000' '0' -> '0.4444444444444444' Inexact Rounded\r
-addx6018 add '0.44444444444444445001' '0' -> '0.4444444444444445' Inexact Rounded\r
-addx6019 add '0.4444444444444444501' '0' -> '0.4444444444444445' Inexact Rounded\r
-addx6020 add '0.444444444444444451' '0' -> '0.4444444444444445' Inexact Rounded\r
-\r
-addx6021 add 0 1 -> 1\r
-addx6022 add 1 1 -> 2\r
-addx6023 add 2 1 -> 3\r
-addx6024 add 3 1 -> 4\r
-addx6025 add 4 1 -> 5\r
-addx6026 add 5 1 -> 6\r
-addx6027 add 6 1 -> 7\r
-addx6028 add 7 1 -> 8\r
-addx6029 add 8 1 -> 9\r
-addx6030 add 9 1 -> 10\r
-\r
--- some carrying effects\r
-addx6031 add '0.9998' '0.0000' -> '0.9998'\r
-addx6032 add '0.9998' '0.0001' -> '0.9999'\r
-addx6033 add '0.9998' '0.0002' -> '1.0000'\r
-addx6034 add '0.9998' '0.0003' -> '1.0001'\r
-\r
-addx6035 add '70' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded\r
-addx6036 add '700' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded\r
-addx6037 add '7000' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded\r
-addx6038 add '70000' '10000e+16' -> '1.000000000000001E+20' Inexact Rounded\r
-addx6039 add '700000' '10000e+16' -> '1.000000000000007E+20' Rounded\r
-\r
--- symmetry:\r
-addx6040 add '10000e+16' '70' -> '1.000000000000000E+20' Inexact Rounded\r
-addx6041 add '10000e+16' '700' -> '1.000000000000000E+20' Inexact Rounded\r
-addx6042 add '10000e+16' '7000' -> '1.000000000000000E+20' Inexact Rounded\r
-addx6044 add '10000e+16' '70000' -> '1.000000000000001E+20' Inexact Rounded\r
-addx6045 add '10000e+16' '700000' -> '1.000000000000007E+20' Rounded\r
-\r
-addx6046 add '10000e+9' '7' -> '10000000000007'\r
-addx6047 add '10000e+9' '70' -> '10000000000070'\r
-addx6048 add '10000e+9' '700' -> '10000000000700'\r
-addx6049 add '10000e+9' '7000' -> '10000000007000'\r
-addx6050 add '10000e+9' '70000' -> '10000000070000'\r
-addx6051 add '10000e+9' '700000' -> '10000000700000'\r
-\r
--- examples from decarith\r
-addx6053 add '12' '7.00' -> '19.00'\r
-addx6054 add '1.3' '-1.07' -> '0.23'\r
-addx6055 add '1.3' '-1.30' -> '0.00'\r
-addx6056 add '1.3' '-2.07' -> '-0.77'\r
-addx6057 add '1E+2' '1E+4' -> '1.01E+4'\r
-\r
--- from above\r
-addx6060 add 1 '0.1' -> '1.1'\r
-addx6061 add 1 '0.01' -> '1.01'\r
-addx6062 add 1 '0.001' -> '1.001'\r
-addx6063 add 1 '0.0001' -> '1.0001'\r
-addx6064 add 1 '0.00001' -> '1.00001'\r
-addx6065 add 1 '0.000001' -> '1.000001'\r
-addx6066 add 1 '0.0000001' -> '1.0000001'\r
-addx6067 add 1 '0.00000001' -> '1.00000001'\r
-\r
--- cancellation to integer\r
-addx6068 add 99999999999999123456789 -99999999999999E+9 -> 123456789\r
--- similar from FMA fun\r
-addx6069 add "-1234567890123455.234567890123454" "1234567890123456" -> 0.765432109876546\r
-\r
--- some funny zeros [in case of bad signum]\r
-addx6070 add 1 0 -> 1\r
-addx6071 add 1 0. -> 1\r
-addx6072 add 1 .0 -> 1.0\r
-addx6073 add 1 0.0 -> 1.0\r
-addx6074 add 1 0.00 -> 1.00\r
-addx6075 add 0 1 -> 1\r
-addx6076 add 0. 1 -> 1\r
-addx6077 add .0 1 -> 1.0\r
-addx6078 add 0.0 1 -> 1.0\r
-addx6079 add 0.00 1 -> 1.00\r
-\r
--- some carries\r
-addx6080 add 9999999999999998 1 -> 9999999999999999\r
-addx6081 add 9999999999999999 1 -> 1.000000000000000E+16 Rounded\r
-addx6082 add 999999999999999 1 -> 1000000000000000\r
-addx6083 add 9999999999999 1 -> 10000000000000\r
-addx6084 add 99999999999 1 -> 100000000000\r
-addx6085 add 999999999 1 -> 1000000000\r
-addx6086 add 9999999 1 -> 10000000\r
-addx6087 add 99999 1 -> 100000\r
-addx6088 add 999 1 -> 1000\r
-addx6089 add 9 1 -> 10\r
-\r
-\r
--- more LHS swaps\r
-addx6090 add '-56267E-10' 0 -> '-0.0000056267'\r
-addx6091 add '-56267E-6' 0 -> '-0.056267'\r
-addx6092 add '-56267E-5' 0 -> '-0.56267'\r
-addx6093 add '-56267E-4' 0 -> '-5.6267'\r
-addx6094 add '-56267E-3' 0 -> '-56.267'\r
-addx6095 add '-56267E-2' 0 -> '-562.67'\r
-addx6096 add '-56267E-1' 0 -> '-5626.7'\r
-addx6097 add '-56267E-0' 0 -> '-56267'\r
-addx6098 add '-5E-10' 0 -> '-5E-10'\r
-addx6099 add '-5E-7' 0 -> '-5E-7'\r
-addx6100 add '-5E-6' 0 -> '-0.000005'\r
-addx6101 add '-5E-5' 0 -> '-0.00005'\r
-addx6102 add '-5E-4' 0 -> '-0.0005'\r
-addx6103 add '-5E-1' 0 -> '-0.5'\r
-addx6104 add '-5E0' 0 -> '-5'\r
-addx6105 add '-5E1' 0 -> '-50'\r
-addx6106 add '-5E5' 0 -> '-500000'\r
-addx6107 add '-5E15' 0 -> '-5000000000000000'\r
-addx6108 add '-5E16' 0 -> '-5.000000000000000E+16' Rounded\r
-addx6109 add '-5E17' 0 -> '-5.000000000000000E+17' Rounded\r
-addx6110 add '-5E18' 0 -> '-5.000000000000000E+18' Rounded\r
-addx6111 add '-5E100' 0 -> '-5.000000000000000E+100' Rounded\r
-\r
--- more RHS swaps\r
-addx6113 add 0 '-56267E-10' -> '-0.0000056267'\r
-addx6114 add 0 '-56267E-6' -> '-0.056267'\r
-addx6116 add 0 '-56267E-5' -> '-0.56267'\r
-addx6117 add 0 '-56267E-4' -> '-5.6267'\r
-addx6119 add 0 '-56267E-3' -> '-56.267'\r
-addx6120 add 0 '-56267E-2' -> '-562.67'\r
-addx6121 add 0 '-56267E-1' -> '-5626.7'\r
-addx6122 add 0 '-56267E-0' -> '-56267'\r
-addx6123 add 0 '-5E-10' -> '-5E-10'\r
-addx6124 add 0 '-5E-7' -> '-5E-7'\r
-addx6125 add 0 '-5E-6' -> '-0.000005'\r
-addx6126 add 0 '-5E-5' -> '-0.00005'\r
-addx6127 add 0 '-5E-4' -> '-0.0005'\r
-addx6128 add 0 '-5E-1' -> '-0.5'\r
-addx6129 add 0 '-5E0' -> '-5'\r
-addx6130 add 0 '-5E1' -> '-50'\r
-addx6131 add 0 '-5E5' -> '-500000'\r
-addx6132 add 0 '-5E15' -> '-5000000000000000'\r
-addx6133 add 0 '-5E16' -> '-5.000000000000000E+16' Rounded\r
-addx6134 add 0 '-5E17' -> '-5.000000000000000E+17' Rounded\r
-addx6135 add 0 '-5E18' -> '-5.000000000000000E+18' Rounded\r
-addx6136 add 0 '-5E100' -> '-5.000000000000000E+100' Rounded\r
-\r
--- related\r
-addx6137 add 1 '0E-19' -> '1.000000000000000' Rounded\r
-addx6138 add -1 '0E-19' -> '-1.000000000000000' Rounded\r
-addx6139 add '0E-19' 1 -> '1.000000000000000' Rounded\r
-addx6140 add '0E-19' -1 -> '-1.000000000000000' Rounded\r
-addx6141 add 1E+11 0.0000 -> '100000000000.0000'\r
-addx6142 add 1E+11 0.00000 -> '100000000000.0000' Rounded\r
-addx6143 add 0.000 1E+12 -> '1000000000000.000'\r
-addx6144 add 0.0000 1E+12 -> '1000000000000.000' Rounded\r
-\r
--- [some of the next group are really constructor tests]\r
-addx6146 add '00.0' 0 -> '0.0'\r
-addx6147 add '0.00' 0 -> '0.00'\r
-addx6148 add 0 '0.00' -> '0.00'\r
-addx6149 add 0 '00.0' -> '0.0'\r
-addx6150 add '00.0' '0.00' -> '0.00'\r
-addx6151 add '0.00' '00.0' -> '0.00'\r
-addx6152 add '3' '.3' -> '3.3'\r
-addx6153 add '3.' '.3' -> '3.3'\r
-addx6154 add '3.0' '.3' -> '3.3'\r
-addx6155 add '3.00' '.3' -> '3.30'\r
-addx6156 add '3' '3' -> '6'\r
-addx6157 add '3' '+3' -> '6'\r
-addx6158 add '3' '-3' -> '0'\r
-addx6159 add '0.3' '-0.3' -> '0.0'\r
-addx6160 add '0.03' '-0.03' -> '0.00'\r
-\r
--- try borderline precision, with carries, etc.\r
-addx6161 add '1E+13' '-1' -> '9999999999999'\r
-addx6162 add '1E+13' '1.11' -> '10000000000001.11'\r
-addx6163 add '1.11' '1E+13' -> '10000000000001.11'\r
-addx6164 add '-1' '1E+13' -> '9999999999999'\r
-addx6165 add '7E+13' '-1' -> '69999999999999'\r
-addx6166 add '7E+13' '1.11' -> '70000000000001.11'\r
-addx6167 add '1.11' '7E+13' -> '70000000000001.11'\r
-addx6168 add '-1' '7E+13' -> '69999999999999'\r
-\r
--- 1234567890123456 1234567890123456 1 234567890123456\r
-addx6170 add '0.4444444444444444' '0.5555555555555563' -> '1.000000000000001' Inexact Rounded\r
-addx6171 add '0.4444444444444444' '0.5555555555555562' -> '1.000000000000001' Inexact Rounded\r
-addx6172 add '0.4444444444444444' '0.5555555555555561' -> '1.000000000000000' Inexact Rounded\r
-addx6173 add '0.4444444444444444' '0.5555555555555560' -> '1.000000000000000' Inexact Rounded\r
-addx6174 add '0.4444444444444444' '0.5555555555555559' -> '1.000000000000000' Inexact Rounded\r
-addx6175 add '0.4444444444444444' '0.5555555555555558' -> '1.000000000000000' Inexact Rounded\r
-addx6176 add '0.4444444444444444' '0.5555555555555557' -> '1.000000000000000' Inexact Rounded\r
-addx6177 add '0.4444444444444444' '0.5555555555555556' -> '1.000000000000000' Rounded\r
-addx6178 add '0.4444444444444444' '0.5555555555555555' -> '0.9999999999999999'\r
-addx6179 add '0.4444444444444444' '0.5555555555555554' -> '0.9999999999999998'\r
-addx6180 add '0.4444444444444444' '0.5555555555555553' -> '0.9999999999999997'\r
-addx6181 add '0.4444444444444444' '0.5555555555555552' -> '0.9999999999999996'\r
-addx6182 add '0.4444444444444444' '0.5555555555555551' -> '0.9999999999999995'\r
-addx6183 add '0.4444444444444444' '0.5555555555555550' -> '0.9999999999999994'\r
-\r
--- and some more, including residue effects and different roundings\r
-rounding: half_up\r
-addx6200 add '6543210123456789' 0 -> '6543210123456789'\r
-addx6201 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded\r
-addx6202 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded\r
-addx6203 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded\r
-addx6204 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded\r
-addx6205 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded\r
-addx6206 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded\r
-addx6207 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded\r
-addx6208 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded\r
-addx6209 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded\r
-addx6210 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded\r
-addx6211 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded\r
-addx6212 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded\r
-addx6213 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded\r
-addx6214 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded\r
-addx6215 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded\r
-addx6216 add '6543210123456789' 1 -> '6543210123456790'\r
-addx6217 add '6543210123456789' 1.000000001 -> '6543210123456790' Inexact Rounded\r
-addx6218 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded\r
-addx6219 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded\r
-\r
-rounding: half_even\r
-addx6220 add '6543210123456789' 0 -> '6543210123456789'\r
-addx6221 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded\r
-addx6222 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded\r
-addx6223 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded\r
-addx6224 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded\r
-addx6225 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded\r
-addx6226 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded\r
-addx6227 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded\r
-addx6228 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded\r
-addx6229 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded\r
-addx6230 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded\r
-addx6231 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded\r
-addx6232 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded\r
-addx6233 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded\r
-addx6234 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded\r
-addx6235 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded\r
-addx6236 add '6543210123456789' 1 -> '6543210123456790'\r
-addx6237 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded\r
-addx6238 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded\r
-addx6239 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded\r
--- critical few with even bottom digit...\r
-addx6240 add '6543210123456788' 0.499999999 -> '6543210123456788' Inexact Rounded\r
-addx6241 add '6543210123456788' 0.5 -> '6543210123456788' Inexact Rounded\r
-addx6242 add '6543210123456788' 0.500000001 -> '6543210123456789' Inexact Rounded\r
-\r
-rounding: down\r
-addx6250 add '6543210123456789' 0 -> '6543210123456789'\r
-addx6251 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded\r
-addx6252 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded\r
-addx6253 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded\r
-addx6254 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded\r
-addx6255 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded\r
-addx6256 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded\r
-addx6257 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded\r
-addx6258 add '6543210123456789' 0.5 -> '6543210123456789' Inexact Rounded\r
-addx6259 add '6543210123456789' 0.500000001 -> '6543210123456789' Inexact Rounded\r
-addx6260 add '6543210123456789' 0.500001 -> '6543210123456789' Inexact Rounded\r
-addx6261 add '6543210123456789' 0.51 -> '6543210123456789' Inexact Rounded\r
-addx6262 add '6543210123456789' 0.6 -> '6543210123456789' Inexact Rounded\r
-addx6263 add '6543210123456789' 0.9 -> '6543210123456789' Inexact Rounded\r
-addx6264 add '6543210123456789' 0.99999 -> '6543210123456789' Inexact Rounded\r
-addx6265 add '6543210123456789' 0.999999999 -> '6543210123456789' Inexact Rounded\r
-addx6266 add '6543210123456789' 1 -> '6543210123456790'\r
-addx6267 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded\r
-addx6268 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded\r
-addx6269 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded\r
-\r
--- 1 in last place tests\r
-rounding: half_even\r
-addx6301 add -1 1 -> 0\r
-addx6302 add 0 1 -> 1\r
-addx6303 add 1 1 -> 2\r
-addx6304 add 12 1 -> 13\r
-addx6305 add 98 1 -> 99\r
-addx6306 add 99 1 -> 100\r
-addx6307 add 100 1 -> 101\r
-addx6308 add 101 1 -> 102\r
-addx6309 add -1 -1 -> -2\r
-addx6310 add 0 -1 -> -1\r
-addx6311 add 1 -1 -> 0\r
-addx6312 add 12 -1 -> 11\r
-addx6313 add 98 -1 -> 97\r
-addx6314 add 99 -1 -> 98\r
-addx6315 add 100 -1 -> 99\r
-addx6316 add 101 -1 -> 100\r
-\r
-addx6321 add -0.01 0.01 -> 0.00\r
-addx6322 add 0.00 0.01 -> 0.01\r
-addx6323 add 0.01 0.01 -> 0.02\r
-addx6324 add 0.12 0.01 -> 0.13\r
-addx6325 add 0.98 0.01 -> 0.99\r
-addx6326 add 0.99 0.01 -> 1.00\r
-addx6327 add 1.00 0.01 -> 1.01\r
-addx6328 add 1.01 0.01 -> 1.02\r
-addx6329 add -0.01 -0.01 -> -0.02\r
-addx6330 add 0.00 -0.01 -> -0.01\r
-addx6331 add 0.01 -0.01 -> 0.00\r
-addx6332 add 0.12 -0.01 -> 0.11\r
-addx6333 add 0.98 -0.01 -> 0.97\r
-addx6334 add 0.99 -0.01 -> 0.98\r
-addx6335 add 1.00 -0.01 -> 0.99\r
-addx6336 add 1.01 -0.01 -> 1.00\r
-\r
--- some more cases where adding 0 affects the coefficient\r
-addx6340 add 1E+3 0 -> 1000\r
-addx6341 add 1E+15 0 -> 1000000000000000\r
-addx6342 add 1E+16 0 -> 1.000000000000000E+16 Rounded\r
-addx6343 add 1E+17 0 -> 1.000000000000000E+17 Rounded\r
--- which simply follow from these cases ...\r
-addx6344 add 1E+3 1 -> 1001\r
-addx6345 add 1E+15 1 -> 1000000000000001\r
-addx6346 add 1E+16 1 -> 1.000000000000000E+16 Inexact Rounded\r
-addx6347 add 1E+17 1 -> 1.000000000000000E+17 Inexact Rounded\r
-addx6348 add 1E+3 7 -> 1007\r
-addx6349 add 1E+15 7 -> 1000000000000007\r
-addx6350 add 1E+16 7 -> 1.000000000000001E+16 Inexact Rounded\r
-addx6351 add 1E+17 7 -> 1.000000000000000E+17 Inexact Rounded\r
-\r
--- tryzeros cases\r
-addx6361 add 0E+50 10000E+1 -> 1.0000E+5\r
-addx6362 add 10000E+1 0E-50 -> 100000.0000000000 Rounded\r
-addx6363 add 10000E+1 10000E-50 -> 100000.0000000000 Rounded Inexact\r
-addx6364 add 12.34 0e-398 -> 12.34000000000000 Rounded\r
-\r
--- ulp replacement tests\r
-addx6400 add 1 77e-14 -> 1.00000000000077\r
-addx6401 add 1 77e-15 -> 1.000000000000077\r
-addx6402 add 1 77e-16 -> 1.000000000000008 Inexact Rounded\r
-addx6403 add 1 77e-17 -> 1.000000000000001 Inexact Rounded\r
-addx6404 add 1 77e-18 -> 1.000000000000000 Inexact Rounded\r
-addx6405 add 1 77e-19 -> 1.000000000000000 Inexact Rounded\r
-addx6406 add 1 77e-99 -> 1.000000000000000 Inexact Rounded\r
-\r
-addx6410 add 10 77e-14 -> 10.00000000000077\r
-addx6411 add 10 77e-15 -> 10.00000000000008 Inexact Rounded\r
-addx6412 add 10 77e-16 -> 10.00000000000001 Inexact Rounded\r
-addx6413 add 10 77e-17 -> 10.00000000000000 Inexact Rounded\r
-addx6414 add 10 77e-18 -> 10.00000000000000 Inexact Rounded\r
-addx6415 add 10 77e-19 -> 10.00000000000000 Inexact Rounded\r
-addx6416 add 10 77e-99 -> 10.00000000000000 Inexact Rounded\r
-\r
-addx6420 add 77e-14 1 -> 1.00000000000077\r
-addx6421 add 77e-15 1 -> 1.000000000000077\r
-addx6422 add 77e-16 1 -> 1.000000000000008 Inexact Rounded\r
-addx6423 add 77e-17 1 -> 1.000000000000001 Inexact Rounded\r
-addx6424 add 77e-18 1 -> 1.000000000000000 Inexact Rounded\r
-addx6425 add 77e-19 1 -> 1.000000000000000 Inexact Rounded\r
-addx6426 add 77e-99 1 -> 1.000000000000000 Inexact Rounded\r
-\r
-addx6430 add 77e-14 10 -> 10.00000000000077\r
-addx6431 add 77e-15 10 -> 10.00000000000008 Inexact Rounded\r
-addx6432 add 77e-16 10 -> 10.00000000000001 Inexact Rounded\r
-addx6433 add 77e-17 10 -> 10.00000000000000 Inexact Rounded\r
-addx6434 add 77e-18 10 -> 10.00000000000000 Inexact Rounded\r
-addx6435 add 77e-19 10 -> 10.00000000000000 Inexact Rounded\r
-addx6436 add 77e-99 10 -> 10.00000000000000 Inexact Rounded\r
-\r
--- negative ulps\r
-addx6440 add 1 -77e-14 -> 0.99999999999923\r
-addx6441 add 1 -77e-15 -> 0.999999999999923\r
-addx6442 add 1 -77e-16 -> 0.9999999999999923\r
-addx6443 add 1 -77e-17 -> 0.9999999999999992 Inexact Rounded\r
-addx6444 add 1 -77e-18 -> 0.9999999999999999 Inexact Rounded\r
-addx6445 add 1 -77e-19 -> 1.000000000000000 Inexact Rounded\r
-addx6446 add 1 -77e-99 -> 1.000000000000000 Inexact Rounded\r
-\r
-addx6450 add 10 -77e-14 -> 9.99999999999923\r
-addx6451 add 10 -77e-15 -> 9.999999999999923\r
-addx6452 add 10 -77e-16 -> 9.999999999999992 Inexact Rounded\r
-addx6453 add 10 -77e-17 -> 9.999999999999999 Inexact Rounded\r
-addx6454 add 10 -77e-18 -> 10.00000000000000 Inexact Rounded\r
-addx6455 add 10 -77e-19 -> 10.00000000000000 Inexact Rounded\r
-addx6456 add 10 -77e-99 -> 10.00000000000000 Inexact Rounded\r
-\r
-addx6460 add -77e-14 1 -> 0.99999999999923\r
-addx6461 add -77e-15 1 -> 0.999999999999923\r
-addx6462 add -77e-16 1 -> 0.9999999999999923\r
-addx6463 add -77e-17 1 -> 0.9999999999999992 Inexact Rounded\r
-addx6464 add -77e-18 1 -> 0.9999999999999999 Inexact Rounded\r
-addx6465 add -77e-19 1 -> 1.000000000000000 Inexact Rounded\r
-addx6466 add -77e-99 1 -> 1.000000000000000 Inexact Rounded\r
-\r
-addx6470 add -77e-14 10 -> 9.99999999999923\r
-addx6471 add -77e-15 10 -> 9.999999999999923\r
-addx6472 add -77e-16 10 -> 9.999999999999992 Inexact Rounded\r
-addx6473 add -77e-17 10 -> 9.999999999999999 Inexact Rounded\r
-addx6474 add -77e-18 10 -> 10.00000000000000 Inexact Rounded\r
-addx6475 add -77e-19 10 -> 10.00000000000000 Inexact Rounded\r
-addx6476 add -77e-99 10 -> 10.00000000000000 Inexact Rounded\r
-\r
--- negative ulps\r
-addx6480 add -1 77e-14 -> -0.99999999999923\r
-addx6481 add -1 77e-15 -> -0.999999999999923\r
-addx6482 add -1 77e-16 -> -0.9999999999999923\r
-addx6483 add -1 77e-17 -> -0.9999999999999992 Inexact Rounded\r
-addx6484 add -1 77e-18 -> -0.9999999999999999 Inexact Rounded\r
-addx6485 add -1 77e-19 -> -1.000000000000000 Inexact Rounded\r
-addx6486 add -1 77e-99 -> -1.000000000000000 Inexact Rounded\r
-\r
-addx6490 add -10 77e-14 -> -9.99999999999923\r
-addx6491 add -10 77e-15 -> -9.999999999999923\r
-addx6492 add -10 77e-16 -> -9.999999999999992 Inexact Rounded\r
-addx6493 add -10 77e-17 -> -9.999999999999999 Inexact Rounded\r
-addx6494 add -10 77e-18 -> -10.00000000000000 Inexact Rounded\r
-addx6495 add -10 77e-19 -> -10.00000000000000 Inexact Rounded\r
-addx6496 add -10 77e-99 -> -10.00000000000000 Inexact Rounded\r
-\r
-addx6500 add 77e-14 -1 -> -0.99999999999923\r
-addx6501 add 77e-15 -1 -> -0.999999999999923\r
-addx6502 add 77e-16 -1 -> -0.9999999999999923\r
-addx6503 add 77e-17 -1 -> -0.9999999999999992 Inexact Rounded\r
-addx6504 add 77e-18 -1 -> -0.9999999999999999 Inexact Rounded\r
-addx6505 add 77e-19 -1 -> -1.000000000000000 Inexact Rounded\r
-addx6506 add 77e-99 -1 -> -1.000000000000000 Inexact Rounded\r
-\r
-addx6510 add 77e-14 -10 -> -9.99999999999923\r
-addx6511 add 77e-15 -10 -> -9.999999999999923\r
-addx6512 add 77e-16 -10 -> -9.999999999999992 Inexact Rounded\r
-addx6513 add 77e-17 -10 -> -9.999999999999999 Inexact Rounded\r
-addx6514 add 77e-18 -10 -> -10.00000000000000 Inexact Rounded\r
-addx6515 add 77e-19 -10 -> -10.00000000000000 Inexact Rounded\r
-addx6516 add 77e-99 -10 -> -10.00000000000000 Inexact Rounded\r
-\r
-\r
--- long operands\r
-addx6521 add 101234562345678000 0 -> 1.012345623456780E+17 Rounded\r
-addx6522 add 0 101234562345678000 -> 1.012345623456780E+17 Rounded\r
-addx6523 add 10123456234567800 0 -> 1.012345623456780E+16 Rounded\r
-addx6524 add 0 10123456234567800 -> 1.012345623456780E+16 Rounded\r
-addx6525 add 10123456234567890 0 -> 1.012345623456789E+16 Rounded\r
-addx6526 add 0 10123456234567890 -> 1.012345623456789E+16 Rounded\r
-addx6527 add 10123456234567891 0 -> 1.012345623456789E+16 Inexact Rounded\r
-addx6528 add 0 10123456234567891 -> 1.012345623456789E+16 Inexact Rounded\r
-addx6529 add 101234562345678901 0 -> 1.012345623456789E+17 Inexact Rounded\r
-addx6530 add 0 101234562345678901 -> 1.012345623456789E+17 Inexact Rounded\r
-addx6531 add 10123456234567896 0 -> 1.012345623456790E+16 Inexact Rounded\r
-addx6532 add 0 10123456234567896 -> 1.012345623456790E+16 Inexact Rounded\r
-\r
--- verify a query\r
-rounding: down\r
-addx6561 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded\r
-addx6562 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded\r
--- and using decimal64 bounds...\r
-rounding: down\r
-addx6563 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded\r
-addx6564 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded\r
-\r
--- more zeros, etc.\r
-rounding: half_even\r
-\r
-addx6701 add 5.00 1.00E-3 -> 5.00100\r
-addx6702 add 00.00 0.000 -> 0.000\r
-addx6703 add 00.00 0E-3 -> 0.000\r
-addx6704 add 0E-3 00.00 -> 0.000\r
-\r
-addx6710 add 0E+3 00.00 -> 0.00\r
-addx6711 add 0E+3 00.0 -> 0.0\r
-addx6712 add 0E+3 00. -> 0\r
-addx6713 add 0E+3 00.E+1 -> 0E+1\r
-addx6714 add 0E+3 00.E+2 -> 0E+2\r
-addx6715 add 0E+3 00.E+3 -> 0E+3\r
-addx6716 add 0E+3 00.E+4 -> 0E+3\r
-addx6717 add 0E+3 00.E+5 -> 0E+3\r
-addx6718 add 0E+3 -00.0 -> 0.0\r
-addx6719 add 0E+3 -00. -> 0\r
-addx6731 add 0E+3 -00.E+1 -> 0E+1\r
-\r
-addx6720 add 00.00 0E+3 -> 0.00\r
-addx6721 add 00.0 0E+3 -> 0.0\r
-addx6722 add 00. 0E+3 -> 0\r
-addx6723 add 00.E+1 0E+3 -> 0E+1\r
-addx6724 add 00.E+2 0E+3 -> 0E+2\r
-addx6725 add 00.E+3 0E+3 -> 0E+3\r
-addx6726 add 00.E+4 0E+3 -> 0E+3\r
-addx6727 add 00.E+5 0E+3 -> 0E+3\r
-addx6728 add -00.00 0E+3 -> 0.00\r
-addx6729 add -00.0 0E+3 -> 0.0\r
-addx6730 add -00. 0E+3 -> 0\r
-\r
-addx6732 add 0 0 -> 0\r
-addx6733 add 0 -0 -> 0\r
-addx6734 add -0 0 -> 0\r
-addx6735 add -0 -0 -> -0 -- IEEE 854 special case\r
-\r
-addx6736 add 1 -1 -> 0\r
-addx6737 add -1 -1 -> -2\r
-addx6738 add 1 1 -> 2\r
-addx6739 add -1 1 -> 0\r
-\r
-addx6741 add 0 -1 -> -1\r
-addx6742 add -0 -1 -> -1\r
-addx6743 add 0 1 -> 1\r
-addx6744 add -0 1 -> 1\r
-addx6745 add -1 0 -> -1\r
-addx6746 add -1 -0 -> -1\r
-addx6747 add 1 0 -> 1\r
-addx6748 add 1 -0 -> 1\r
-\r
-addx6751 add 0.0 -1 -> -1.0\r
-addx6752 add -0.0 -1 -> -1.0\r
-addx6753 add 0.0 1 -> 1.0\r
-addx6754 add -0.0 1 -> 1.0\r
-addx6755 add -1.0 0 -> -1.0\r
-addx6756 add -1.0 -0 -> -1.0\r
-addx6757 add 1.0 0 -> 1.0\r
-addx6758 add 1.0 -0 -> 1.0\r
-\r
-addx6761 add 0 -1.0 -> -1.0\r
-addx6762 add -0 -1.0 -> -1.0\r
-addx6763 add 0 1.0 -> 1.0\r
-addx6764 add -0 1.0 -> 1.0\r
-addx6765 add -1 0.0 -> -1.0\r
-addx6766 add -1 -0.0 -> -1.0\r
-addx6767 add 1 0.0 -> 1.0\r
-addx6768 add 1 -0.0 -> 1.0\r
-\r
-addx6771 add 0.0 -1.0 -> -1.0\r
-addx6772 add -0.0 -1.0 -> -1.0\r
-addx6773 add 0.0 1.0 -> 1.0\r
-addx6774 add -0.0 1.0 -> 1.0\r
-addx6775 add -1.0 0.0 -> -1.0\r
-addx6776 add -1.0 -0.0 -> -1.0\r
-addx6777 add 1.0 0.0 -> 1.0\r
-addx6778 add 1.0 -0.0 -> 1.0\r
-\r
--- Specials\r
-addx6780 add -Inf -Inf -> -Infinity\r
-addx6781 add -Inf -1000 -> -Infinity\r
-addx6782 add -Inf -1 -> -Infinity\r
-addx6783 add -Inf -0 -> -Infinity\r
-addx6784 add -Inf 0 -> -Infinity\r
-addx6785 add -Inf 1 -> -Infinity\r
-addx6786 add -Inf 1000 -> -Infinity\r
-addx6787 add -1000 -Inf -> -Infinity\r
-addx6788 add -Inf -Inf -> -Infinity\r
-addx6789 add -1 -Inf -> -Infinity\r
-addx6790 add -0 -Inf -> -Infinity\r
-addx6791 add 0 -Inf -> -Infinity\r
-addx6792 add 1 -Inf -> -Infinity\r
-addx6793 add 1000 -Inf -> -Infinity\r
-addx6794 add Inf -Inf -> NaN Invalid_operation\r
-\r
-addx6800 add Inf -Inf -> NaN Invalid_operation\r
-addx6801 add Inf -1000 -> Infinity\r
-addx6802 add Inf -1 -> Infinity\r
-addx6803 add Inf -0 -> Infinity\r
-addx6804 add Inf 0 -> Infinity\r
-addx6805 add Inf 1 -> Infinity\r
-addx6806 add Inf 1000 -> Infinity\r
-addx6807 add Inf Inf -> Infinity\r
-addx6808 add -1000 Inf -> Infinity\r
-addx6809 add -Inf Inf -> NaN Invalid_operation\r
-addx6810 add -1 Inf -> Infinity\r
-addx6811 add -0 Inf -> Infinity\r
-addx6812 add 0 Inf -> Infinity\r
-addx6813 add 1 Inf -> Infinity\r
-addx6814 add 1000 Inf -> Infinity\r
-addx6815 add Inf Inf -> Infinity\r
-\r
-addx6821 add NaN -Inf -> NaN\r
-addx6822 add NaN -1000 -> NaN\r
-addx6823 add NaN -1 -> NaN\r
-addx6824 add NaN -0 -> NaN\r
-addx6825 add NaN 0 -> NaN\r
-addx6826 add NaN 1 -> NaN\r
-addx6827 add NaN 1000 -> NaN\r
-addx6828 add NaN Inf -> NaN\r
-addx6829 add NaN NaN -> NaN\r
-addx6830 add -Inf NaN -> NaN\r
-addx6831 add -1000 NaN -> NaN\r
-addx6832 add -1 NaN -> NaN\r
-addx6833 add -0 NaN -> NaN\r
-addx6834 add 0 NaN -> NaN\r
-addx6835 add 1 NaN -> NaN\r
-addx6836 add 1000 NaN -> NaN\r
-addx6837 add Inf NaN -> NaN\r
-\r
-addx6841 add sNaN -Inf -> NaN Invalid_operation\r
-addx6842 add sNaN -1000 -> NaN Invalid_operation\r
-addx6843 add sNaN -1 -> NaN Invalid_operation\r
-addx6844 add sNaN -0 -> NaN Invalid_operation\r
-addx6845 add sNaN 0 -> NaN Invalid_operation\r
-addx6846 add sNaN 1 -> NaN Invalid_operation\r
-addx6847 add sNaN 1000 -> NaN Invalid_operation\r
-addx6848 add sNaN NaN -> NaN Invalid_operation\r
-addx6849 add sNaN sNaN -> NaN Invalid_operation\r
-addx6850 add NaN sNaN -> NaN Invalid_operation\r
-addx6851 add -Inf sNaN -> NaN Invalid_operation\r
-addx6852 add -1000 sNaN -> NaN Invalid_operation\r
-addx6853 add -1 sNaN -> NaN Invalid_operation\r
-addx6854 add -0 sNaN -> NaN Invalid_operation\r
-addx6855 add 0 sNaN -> NaN Invalid_operation\r
-addx6856 add 1 sNaN -> NaN Invalid_operation\r
-addx6857 add 1000 sNaN -> NaN Invalid_operation\r
-addx6858 add Inf sNaN -> NaN Invalid_operation\r
-addx6859 add NaN sNaN -> NaN Invalid_operation\r
-\r
--- propagating NaNs\r
-addx6861 add NaN1 -Inf -> NaN1\r
-addx6862 add +NaN2 -1000 -> NaN2\r
-addx6863 add NaN3 1000 -> NaN3\r
-addx6864 add NaN4 Inf -> NaN4\r
-addx6865 add NaN5 +NaN6 -> NaN5\r
-addx6866 add -Inf NaN7 -> NaN7\r
-addx6867 add -1000 NaN8 -> NaN8\r
-addx6868 add 1000 NaN9 -> NaN9\r
-addx6869 add Inf +NaN10 -> NaN10\r
-addx6871 add sNaN11 -Inf -> NaN11 Invalid_operation\r
-addx6872 add sNaN12 -1000 -> NaN12 Invalid_operation\r
-addx6873 add sNaN13 1000 -> NaN13 Invalid_operation\r
-addx6874 add sNaN14 NaN17 -> NaN14 Invalid_operation\r
-addx6875 add sNaN15 sNaN18 -> NaN15 Invalid_operation\r
-addx6876 add NaN16 sNaN19 -> NaN19 Invalid_operation\r
-addx6877 add -Inf +sNaN20 -> NaN20 Invalid_operation\r
-addx6878 add -1000 sNaN21 -> NaN21 Invalid_operation\r
-addx6879 add 1000 sNaN22 -> NaN22 Invalid_operation\r
-addx6880 add Inf sNaN23 -> NaN23 Invalid_operation\r
-addx6881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation\r
-addx6882 add -NaN26 NaN28 -> -NaN26\r
-addx6883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation\r
-addx6884 add 1000 -NaN30 -> -NaN30\r
-addx6885 add 1000 -sNaN31 -> -NaN31 Invalid_operation\r
-\r
--- now the case where we can get underflow but the result is normal\r
--- [note this can't happen if the operands are also bounded, as we\r
--- cannot represent 1E-399, for example]\r
-\r
-addx6571 add 1E-383 0 -> 1E-383\r
-addx6572 add 1E-384 0 -> 1E-384 Subnormal\r
-addx6573 add 1E-383 1E-384 -> 1.1E-383\r
-addx6574 subtract 1E-383 1E-384 -> 9E-384 Subnormal\r
-\r
--- Here we explore the boundary of rounding a subnormal to Nmin\r
-addx6575 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal\r
-addx6576 subtract 1E-383 1E-398 -> 9.99999999999999E-384 Subnormal\r
-addx6577 subtract 1E-383 1E-399 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-addx6578 subtract 1E-383 1E-400 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-addx6579 subtract 1E-383 1E-401 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-addx6580 subtract 1E-383 1E-402 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded\r
-\r
--- check overflow edge case\r
--- 1234567890123456\r
-addx6972 apply 9.999999999999999E+384 -> 9.999999999999999E+384\r
-addx6973 add 9.999999999999999E+384 1 -> 9.999999999999999E+384 Inexact Rounded\r
-addx6974 add 9999999999999999E+369 1 -> 9.999999999999999E+384 Inexact Rounded\r
-addx6975 add 9999999999999999E+369 1E+369 -> Infinity Overflow Inexact Rounded\r
-addx6976 add 9999999999999999E+369 9E+368 -> Infinity Overflow Inexact Rounded\r
-addx6977 add 9999999999999999E+369 8E+368 -> Infinity Overflow Inexact Rounded\r
-addx6978 add 9999999999999999E+369 7E+368 -> Infinity Overflow Inexact Rounded\r
-addx6979 add 9999999999999999E+369 6E+368 -> Infinity Overflow Inexact Rounded\r
-addx6980 add 9999999999999999E+369 5E+368 -> Infinity Overflow Inexact Rounded\r
-addx6981 add 9999999999999999E+369 4E+368 -> 9.999999999999999E+384 Inexact Rounded\r
-addx6982 add 9999999999999999E+369 3E+368 -> 9.999999999999999E+384 Inexact Rounded\r
-addx6983 add 9999999999999999E+369 2E+368 -> 9.999999999999999E+384 Inexact Rounded\r
-addx6984 add 9999999999999999E+369 1E+368 -> 9.999999999999999E+384 Inexact Rounded\r
-\r
-addx6985 apply -9.999999999999999E+384 -> -9.999999999999999E+384\r
-addx6986 add -9.999999999999999E+384 -1 -> -9.999999999999999E+384 Inexact Rounded\r
-addx6987 add -9999999999999999E+369 -1 -> -9.999999999999999E+384 Inexact Rounded\r
-addx6988 add -9999999999999999E+369 -1E+369 -> -Infinity Overflow Inexact Rounded\r
-addx6989 add -9999999999999999E+369 -9E+368 -> -Infinity Overflow Inexact Rounded\r
-addx6990 add -9999999999999999E+369 -8E+368 -> -Infinity Overflow Inexact Rounded\r
-addx6991 add -9999999999999999E+369 -7E+368 -> -Infinity Overflow Inexact Rounded\r
-addx6992 add -9999999999999999E+369 -6E+368 -> -Infinity Overflow Inexact Rounded\r
-addx6993 add -9999999999999999E+369 -5E+368 -> -Infinity Overflow Inexact Rounded\r
-addx6994 add -9999999999999999E+369 -4E+368 -> -9.999999999999999E+384 Inexact Rounded\r
-addx6995 add -9999999999999999E+369 -3E+368 -> -9.999999999999999E+384 Inexact Rounded\r
-addx6996 add -9999999999999999E+369 -2E+368 -> -9.999999999999999E+384 Inexact Rounded\r
-addx6997 add -9999999999999999E+369 -1E+368 -> -9.999999999999999E+384 Inexact Rounded\r
-\r
--- And for round down full and subnormal results\r
-rounding: down\r
-addx61100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact\r
-addx61101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact\r
-addx61103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact\r
-addx61104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact\r
-addx61105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact\r
-addx61106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact\r
-addx61107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact\r
-addx61108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact\r
-addx61109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact\r
-\r
-rounding: ceiling\r
-addx61110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact\r
-addx61111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact\r
-addx61113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact\r
-addx61114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact\r
-addx61115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact\r
-addx61116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact\r
-addx61117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact\r
-addx61118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact\r
-addx61119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact\r
-\r
--- tests based on Gunnar Degnbol's edge case\r
-rounding: half_even\r
-\r
-addx61300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded\r
-addx61311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded\r
-addx61312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded\r
-addx61313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded\r
-addx61314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded\r
-addx61315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded\r
-addx61316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded\r
-addx61317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded\r
-addx61318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded\r
-addx61319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded\r
-addx61320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded\r
-addx61321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded\r
-addx61322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded\r
-addx61323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded\r
-addx61324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded\r
-addx61325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded\r
-\r
-addx61340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded\r
-addx61341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded\r
-\r
-addx61349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded\r
-addx61350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded\r
-addx61351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded\r
-addx61352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded\r
-addx61353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded\r
-addx61354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded\r
-addx61355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded\r
-addx61356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded\r
-addx61357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded\r
-addx61358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded\r
-addx61359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded\r
-addx61360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded\r
-addx61361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded\r
-addx61362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded\r
-addx61363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded\r
-addx61364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded\r
-addx61365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61385 add 9999999999999999 0.5000000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61386 add 9999999999999999 0.500000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61387 add 9999999999999999 0.50000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61388 add 9999999999999999 0.5000000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61389 add 9999999999999999 0.500000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61390 add 9999999999999999 0.50000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61391 add 9999999999999999 0.5000001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61392 add 9999999999999999 0.500001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61393 add 9999999999999999 0.50001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61394 add 9999999999999999 0.5001 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61395 add 9999999999999999 0.501 -> 1.000000000000000E+16 Inexact Rounded\r
-addx61396 add 9999999999999999 0.51 -> 1.000000000000000E+16 Inexact Rounded\r
-\r
--- More GD edge cases, where difference between the unadjusted\r
--- exponents is larger than the maximum precision and one side is 0\r
-addx61420 add 0 1.123456789012345 -> 1.123456789012345\r
-addx61421 add 0 1.123456789012345E-1 -> 0.1123456789012345\r
-addx61422 add 0 1.123456789012345E-2 -> 0.01123456789012345\r
-addx61423 add 0 1.123456789012345E-3 -> 0.001123456789012345\r
-addx61424 add 0 1.123456789012345E-4 -> 0.0001123456789012345\r
-addx61425 add 0 1.123456789012345E-5 -> 0.00001123456789012345\r
-addx61426 add 0 1.123456789012345E-6 -> 0.000001123456789012345\r
-addx61427 add 0 1.123456789012345E-7 -> 1.123456789012345E-7\r
-addx61428 add 0 1.123456789012345E-8 -> 1.123456789012345E-8\r
-addx61429 add 0 1.123456789012345E-9 -> 1.123456789012345E-9\r
-addx61430 add 0 1.123456789012345E-10 -> 1.123456789012345E-10\r
-addx61431 add 0 1.123456789012345E-11 -> 1.123456789012345E-11\r
-addx61432 add 0 1.123456789012345E-12 -> 1.123456789012345E-12\r
-addx61433 add 0 1.123456789012345E-13 -> 1.123456789012345E-13\r
-addx61434 add 0 1.123456789012345E-14 -> 1.123456789012345E-14\r
-addx61435 add 0 1.123456789012345E-15 -> 1.123456789012345E-15\r
-addx61436 add 0 1.123456789012345E-16 -> 1.123456789012345E-16\r
-addx61437 add 0 1.123456789012345E-17 -> 1.123456789012345E-17\r
-addx61438 add 0 1.123456789012345E-18 -> 1.123456789012345E-18\r
-addx61439 add 0 1.123456789012345E-19 -> 1.123456789012345E-19\r
-\r
--- same, reversed 0\r
-addx61440 add 1.123456789012345 0 -> 1.123456789012345\r
-addx61441 add 1.123456789012345E-1 0 -> 0.1123456789012345\r
-addx61442 add 1.123456789012345E-2 0 -> 0.01123456789012345\r
-addx61443 add 1.123456789012345E-3 0 -> 0.001123456789012345\r
-addx61444 add 1.123456789012345E-4 0 -> 0.0001123456789012345\r
-addx61445 add 1.123456789012345E-5 0 -> 0.00001123456789012345\r
-addx61446 add 1.123456789012345E-6 0 -> 0.000001123456789012345\r
-addx61447 add 1.123456789012345E-7 0 -> 1.123456789012345E-7\r
-addx61448 add 1.123456789012345E-8 0 -> 1.123456789012345E-8\r
-addx61449 add 1.123456789012345E-9 0 -> 1.123456789012345E-9\r
-addx61450 add 1.123456789012345E-10 0 -> 1.123456789012345E-10\r
-addx61451 add 1.123456789012345E-11 0 -> 1.123456789012345E-11\r
-addx61452 add 1.123456789012345E-12 0 -> 1.123456789012345E-12\r
-addx61453 add 1.123456789012345E-13 0 -> 1.123456789012345E-13\r
-addx61454 add 1.123456789012345E-14 0 -> 1.123456789012345E-14\r
-addx61455 add 1.123456789012345E-15 0 -> 1.123456789012345E-15\r
-addx61456 add 1.123456789012345E-16 0 -> 1.123456789012345E-16\r
-addx61457 add 1.123456789012345E-17 0 -> 1.123456789012345E-17\r
-addx61458 add 1.123456789012345E-18 0 -> 1.123456789012345E-18\r
-addx61459 add 1.123456789012345E-19 0 -> 1.123456789012345E-19\r
-\r
--- same, Es on the 0\r
-addx61460 add 1.123456789012345 0E-0 -> 1.123456789012345\r
-addx61461 add 1.123456789012345 0E-1 -> 1.123456789012345\r
-addx61462 add 1.123456789012345 0E-2 -> 1.123456789012345\r
-addx61463 add 1.123456789012345 0E-3 -> 1.123456789012345\r
-addx61464 add 1.123456789012345 0E-4 -> 1.123456789012345\r
-addx61465 add 1.123456789012345 0E-5 -> 1.123456789012345\r
-addx61466 add 1.123456789012345 0E-6 -> 1.123456789012345\r
-addx61467 add 1.123456789012345 0E-7 -> 1.123456789012345\r
-addx61468 add 1.123456789012345 0E-8 -> 1.123456789012345\r
-addx61469 add 1.123456789012345 0E-9 -> 1.123456789012345\r
-addx61470 add 1.123456789012345 0E-10 -> 1.123456789012345\r
-addx61471 add 1.123456789012345 0E-11 -> 1.123456789012345\r
-addx61472 add 1.123456789012345 0E-12 -> 1.123456789012345\r
-addx61473 add 1.123456789012345 0E-13 -> 1.123456789012345\r
-addx61474 add 1.123456789012345 0E-14 -> 1.123456789012345\r
-addx61475 add 1.123456789012345 0E-15 -> 1.123456789012345\r
--- next four flag Rounded because the 0 extends the result\r
-addx61476 add 1.123456789012345 0E-16 -> 1.123456789012345 Rounded\r
-addx61477 add 1.123456789012345 0E-17 -> 1.123456789012345 Rounded\r
-addx61478 add 1.123456789012345 0E-18 -> 1.123456789012345 Rounded\r
-addx61479 add 1.123456789012345 0E-19 -> 1.123456789012345 Rounded\r
-\r
--- sum of two opposite-sign operands is exactly 0 and floor => -0\r
-rounding: half_up\r
--- exact zeros from zeros\r
-addx61500 add 0 0E-19 -> 0E-19\r
-addx61501 add -0 0E-19 -> 0E-19\r
-addx61502 add 0 -0E-19 -> 0E-19\r
-addx61503 add -0 -0E-19 -> -0E-19\r
-addx61504 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx61505 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx61506 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx61507 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx61511 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61512 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61513 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61514 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx61515 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61516 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx61517 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx61518 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: half_down\r
--- exact zeros from zeros\r
-addx61520 add 0 0E-19 -> 0E-19\r
-addx61521 add -0 0E-19 -> 0E-19\r
-addx61522 add 0 -0E-19 -> 0E-19\r
-addx61523 add -0 -0E-19 -> -0E-19\r
-addx61524 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx61525 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx61526 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx61527 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx61531 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61532 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61533 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61534 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx61535 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61536 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx61537 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx61538 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: half_even\r
--- exact zeros from zeros\r
-addx61540 add 0 0E-19 -> 0E-19\r
-addx61541 add -0 0E-19 -> 0E-19\r
-addx61542 add 0 -0E-19 -> 0E-19\r
-addx61543 add -0 -0E-19 -> -0E-19\r
-addx61544 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx61545 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx61546 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx61547 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx61551 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61552 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61553 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61554 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx61555 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61556 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx61557 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx61558 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: up\r
--- exact zeros from zeros\r
-addx61560 add 0 0E-19 -> 0E-19\r
-addx61561 add -0 0E-19 -> 0E-19\r
-addx61562 add 0 -0E-19 -> 0E-19\r
-addx61563 add -0 -0E-19 -> -0E-19\r
-addx61564 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx61565 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx61566 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx61567 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx61571 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx61572 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx61573 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-addx61574 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
--- some exact zeros from non-zeros\r
-addx61575 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx61576 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx61577 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx61578 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-\r
-rounding: down\r
--- exact zeros from zeros\r
-addx61580 add 0 0E-19 -> 0E-19\r
-addx61581 add -0 0E-19 -> 0E-19\r
-addx61582 add 0 -0E-19 -> 0E-19\r
-addx61583 add -0 -0E-19 -> -0E-19\r
-addx61584 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx61585 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx61586 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx61587 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx61591 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61592 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61593 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61594 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx61595 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61596 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx61597 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx61598 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
-rounding: ceiling\r
--- exact zeros from zeros\r
-addx61600 add 0 0E-19 -> 0E-19\r
-addx61601 add -0 0E-19 -> 0E-19\r
-addx61602 add 0 -0E-19 -> 0E-19\r
-addx61603 add -0 -0E-19 -> -0E-19\r
-addx61604 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx61605 add -0E-400 0E-19 -> 0E-398 Clamped\r
-addx61606 add 0E-400 -0E-19 -> 0E-398 Clamped\r
-addx61607 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx61611 add 1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx61612 add -1E-401 1E-400 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx61613 add 1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61614 add -1E-401 -1E-400 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
--- some exact zeros from non-zeros\r
-addx61615 add 1E-401 1E-401 -> 1E-398 Subnormal Inexact Rounded Underflow\r
-addx61616 add -1E-401 1E-401 -> 0E-398 Clamped\r
-addx61617 add 1E-401 -1E-401 -> 0E-398 Clamped\r
-addx61618 add -1E-401 -1E-401 -> -0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-\r
--- and the extra-special ugly case; unusual minuses marked by -- *\r
-rounding: floor\r
--- exact zeros from zeros\r
-addx61620 add 0 0E-19 -> 0E-19\r
-addx61621 add -0 0E-19 -> -0E-19 -- *\r
-addx61622 add 0 -0E-19 -> -0E-19 -- *\r
-addx61623 add -0 -0E-19 -> -0E-19\r
-addx61624 add 0E-400 0E-19 -> 0E-398 Clamped\r
-addx61625 add -0E-400 0E-19 -> -0E-398 Clamped -- *\r
-addx61626 add 0E-400 -0E-19 -> -0E-398 Clamped -- *\r
-addx61627 add -0E-400 -0E-19 -> -0E-398 Clamped\r
--- inexact zeros\r
-addx61631 add 1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61632 add -1E-401 1E-400 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61633 add 1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-addx61634 add -1E-401 -1E-400 -> -1E-398 Subnormal Inexact Rounded Underflow\r
--- some exact zeros from non-zeros\r
-addx61635 add 1E-401 1E-401 -> 0E-398 Subnormal Inexact Rounded Underflow Clamped\r
-addx61636 add -1E-401 1E-401 -> -0E-398 Clamped -- *\r
-addx61637 add 1E-401 -1E-401 -> -0E-398 Clamped -- *\r
-addx61638 add -1E-401 -1E-401 -> -1E-398 Subnormal Inexact Rounded Underflow\r
-\r
--- Examples from SQL proposal (Krishna Kulkarni)\r
-addx61701 add 130E-2 120E-2 -> 2.50\r
-addx61702 add 130E-2 12E-1 -> 2.50\r
-addx61703 add 130E-2 1E0 -> 2.30\r
-addx61704 add 1E2 1E4 -> 1.01E+4\r
-addx61705 subtract 130E-2 120E-2 -> 0.10\r
-addx61706 subtract 130E-2 12E-1 -> 0.10\r
-addx61707 subtract 130E-2 1E0 -> 0.30\r
-addx61708 subtract 1E2 1E4 -> -9.9E+3\r
-\r
--- Gappy coefficients; check residue handling even with full coefficient gap\r
-rounding: half_even\r
-\r
-addx62001 add 1234567890123456 1 -> 1234567890123457\r
-addx62002 add 1234567890123456 0.6 -> 1234567890123457 Inexact Rounded\r
-addx62003 add 1234567890123456 0.06 -> 1234567890123456 Inexact Rounded\r
-addx62004 add 1234567890123456 6E-3 -> 1234567890123456 Inexact Rounded\r
-addx62005 add 1234567890123456 6E-4 -> 1234567890123456 Inexact Rounded\r
-addx62006 add 1234567890123456 6E-5 -> 1234567890123456 Inexact Rounded\r
-addx62007 add 1234567890123456 6E-6 -> 1234567890123456 Inexact Rounded\r
-addx62008 add 1234567890123456 6E-7 -> 1234567890123456 Inexact Rounded\r
-addx62009 add 1234567890123456 6E-8 -> 1234567890123456 Inexact Rounded\r
-addx62010 add 1234567890123456 6E-9 -> 1234567890123456 Inexact Rounded\r
-addx62011 add 1234567890123456 6E-10 -> 1234567890123456 Inexact Rounded\r
-addx62012 add 1234567890123456 6E-11 -> 1234567890123456 Inexact Rounded\r
-addx62013 add 1234567890123456 6E-12 -> 1234567890123456 Inexact Rounded\r
-addx62014 add 1234567890123456 6E-13 -> 1234567890123456 Inexact Rounded\r
-addx62015 add 1234567890123456 6E-14 -> 1234567890123456 Inexact Rounded\r
-addx62016 add 1234567890123456 6E-15 -> 1234567890123456 Inexact Rounded\r
-addx62017 add 1234567890123456 6E-16 -> 1234567890123456 Inexact Rounded\r
-addx62018 add 1234567890123456 6E-17 -> 1234567890123456 Inexact Rounded\r
-addx62019 add 1234567890123456 6E-18 -> 1234567890123456 Inexact Rounded\r
-addx62020 add 1234567890123456 6E-19 -> 1234567890123456 Inexact Rounded\r
-addx62021 add 1234567890123456 6E-20 -> 1234567890123456 Inexact Rounded\r
-\r
--- widening second argument at gap\r
-addx62030 add 12345678 1 -> 12345679\r
-addx62031 add 12345678 0.1 -> 12345678.1\r
-addx62032 add 12345678 0.12 -> 12345678.12\r
-addx62033 add 12345678 0.123 -> 12345678.123\r
-addx62034 add 12345678 0.1234 -> 12345678.1234\r
-addx62035 add 12345678 0.12345 -> 12345678.12345\r
-addx62036 add 12345678 0.123456 -> 12345678.123456\r
-addx62037 add 12345678 0.1234567 -> 12345678.1234567\r
-addx62038 add 12345678 0.12345678 -> 12345678.12345678\r
-addx62039 add 12345678 0.123456789 -> 12345678.12345679 Inexact Rounded\r
-addx62040 add 12345678 0.123456785 -> 12345678.12345678 Inexact Rounded\r
-addx62041 add 12345678 0.1234567850 -> 12345678.12345678 Inexact Rounded\r
-addx62042 add 12345678 0.1234567851 -> 12345678.12345679 Inexact Rounded\r
-addx62043 add 12345678 0.12345678501 -> 12345678.12345679 Inexact Rounded\r
-addx62044 add 12345678 0.123456785001 -> 12345678.12345679 Inexact Rounded\r
-addx62045 add 12345678 0.1234567850001 -> 12345678.12345679 Inexact Rounded\r
-addx62046 add 12345678 0.12345678500001 -> 12345678.12345679 Inexact Rounded\r
-addx62047 add 12345678 0.123456785000001 -> 12345678.12345679 Inexact Rounded\r
-addx62048 add 12345678 0.1234567850000001 -> 12345678.12345679 Inexact Rounded\r
-addx62049 add 12345678 0.1234567850000000 -> 12345678.12345678 Inexact Rounded\r
--- 90123456\r
-rounding: half_even\r
-addx62050 add 12345678 0.0234567750000000 -> 12345678.02345678 Inexact Rounded\r
-addx62051 add 12345678 0.0034567750000000 -> 12345678.00345678 Inexact Rounded\r
-addx62052 add 12345678 0.0004567750000000 -> 12345678.00045678 Inexact Rounded\r
-addx62053 add 12345678 0.0000567750000000 -> 12345678.00005678 Inexact Rounded\r
-addx62054 add 12345678 0.0000067750000000 -> 12345678.00000678 Inexact Rounded\r
-addx62055 add 12345678 0.0000007750000000 -> 12345678.00000078 Inexact Rounded\r
-addx62056 add 12345678 0.0000000750000000 -> 12345678.00000008 Inexact Rounded\r
-addx62057 add 12345678 0.0000000050000000 -> 12345678.00000000 Inexact Rounded\r
-addx62060 add 12345678 0.0234567750000001 -> 12345678.02345678 Inexact Rounded\r
-addx62061 add 12345678 0.0034567750000001 -> 12345678.00345678 Inexact Rounded\r
-addx62062 add 12345678 0.0004567750000001 -> 12345678.00045678 Inexact Rounded\r
-addx62063 add 12345678 0.0000567750000001 -> 12345678.00005678 Inexact Rounded\r
-addx62064 add 12345678 0.0000067750000001 -> 12345678.00000678 Inexact Rounded\r
-addx62065 add 12345678 0.0000007750000001 -> 12345678.00000078 Inexact Rounded\r
-addx62066 add 12345678 0.0000000750000001 -> 12345678.00000008 Inexact Rounded\r
-addx62067 add 12345678 0.0000000050000001 -> 12345678.00000001 Inexact Rounded\r
--- far-out residues (full coefficient gap is 16+15 digits)\r
-rounding: up\r
-addx62070 add 12345678 1E-8 -> 12345678.00000001\r
-addx62071 add 12345678 1E-9 -> 12345678.00000001 Inexact Rounded\r
-addx62072 add 12345678 1E-10 -> 12345678.00000001 Inexact Rounded\r
-addx62073 add 12345678 1E-11 -> 12345678.00000001 Inexact Rounded\r
-addx62074 add 12345678 1E-12 -> 12345678.00000001 Inexact Rounded\r
-addx62075 add 12345678 1E-13 -> 12345678.00000001 Inexact Rounded\r
-addx62076 add 12345678 1E-14 -> 12345678.00000001 Inexact Rounded\r
-addx62077 add 12345678 1E-15 -> 12345678.00000001 Inexact Rounded\r
-addx62078 add 12345678 1E-16 -> 12345678.00000001 Inexact Rounded\r
-addx62079 add 12345678 1E-17 -> 12345678.00000001 Inexact Rounded\r
-addx62080 add 12345678 1E-18 -> 12345678.00000001 Inexact Rounded\r
-addx62081 add 12345678 1E-19 -> 12345678.00000001 Inexact Rounded\r
-addx62082 add 12345678 1E-20 -> 12345678.00000001 Inexact Rounded\r
-addx62083 add 12345678 1E-25 -> 12345678.00000001 Inexact Rounded\r
-addx62084 add 12345678 1E-30 -> 12345678.00000001 Inexact Rounded\r
-addx62085 add 12345678 1E-31 -> 12345678.00000001 Inexact Rounded\r
-addx62086 add 12345678 1E-32 -> 12345678.00000001 Inexact Rounded\r
-addx62087 add 12345678 1E-33 -> 12345678.00000001 Inexact Rounded\r
-addx62088 add 12345678 1E-34 -> 12345678.00000001 Inexact Rounded\r
-addx62089 add 12345678 1E-35 -> 12345678.00000001 Inexact Rounded\r
-\r
--- payload decapitate\r
-precision: 5\r
-addx62100 add 11 sNaN123456789 -> NaN56789 Invalid_operation\r
-addx62101 add -11 -sNaN123456789 -> -NaN56789 Invalid_operation\r
-addx62102 add 11 NaN123456789 -> NaN56789\r
-addx62103 add -11 -NaN123456789 -> -NaN56789\r
-\r
--- Null tests\r
-addx9990 add 10 # -> NaN Invalid_operation\r
-addx9991 add # 10 -> NaN Invalid_operation\r
projects / mirror_edk2.git / blobdiff