Blame - Lib/test/decimaltestdata/add.decTest - platform/external/python/cpython2

blob: 3460aa4cd2510caea628162ef8cf011fa8f3a239 [file] [log] [blame]

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