------------------------------------------------------------------------

-- rounding.decTest -- decimal rounding modes testcases               --

-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --

------------------------------------------------------------------------

-- Please see the document "General Decimal Arithmetic Testcases"     --

-- at http://www2.hursley.ibm.com/decimal for the description of      --

-- these testcases.                                                   --

--                                                                    --

-- These testcases are experimental ('beta' versions), and they       --

-- may contain errors.  They are offered on an as-is basis.  In       --

-- particular, achieving the same results as the tests here is not    --

-- a guarantee that an implementation complies with any Standard      --

-- or specification.  The tests are not exhaustive.                   --

--                                                                    --

-- Please send comments, suggestions, and corrections to the author:  --

--   Mike Cowlishaw, IBM Fellow                                       --

--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --

--   mfc@uk.ibm.com                                                   --

------------------------------------------------------------------------

version: 2.58

-- These tests require that implementations take account of residues in

-- order to get correct results for some rounding modes.  Rather than

-- single rounding tests we therefore need tests for most operators.

-- [We do assume add/minus/plus/subtract are common paths, however, as

-- is rounding of negatives (if the latter works for addition, assume it

-- works for the others, too).]

--

-- Round-for-reround (05UP) is tested as a separate block, mostly for

-- 'historical' reasons.

--

-- Underflow Subnormal and overflow behaviours are tested under the

-- individual operators.

extended:    1

precision:   5           -- for easier visual inspection

maxExponent: 999

minexponent: -999

-- Addition operators -------------------------------------------------

rounding: down

radx100  add 12345 -0.1       -> 12344 Inexact Rounded

radx101  add 12345 -0.01      -> 12344 Inexact Rounded

radx102  add 12345 -0.001     -> 12344 Inexact Rounded

radx103  add 12345 -0.00001   -> 12344 Inexact Rounded

radx104  add 12345 -0.000001  -> 12344 Inexact Rounded

radx105  add 12345 -0.0000001 -> 12344 Inexact Rounded

radx106  add 12345  0         -> 12345

radx107  add 12345  0.0000001 -> 12345 Inexact Rounded

radx108  add 12345  0.000001  -> 12345 Inexact Rounded

radx109  add 12345  0.00001   -> 12345 Inexact Rounded

radx110  add 12345  0.0001    -> 12345 Inexact Rounded

radx111  add 12345  0.001     -> 12345 Inexact Rounded

radx112  add 12345  0.01      -> 12345 Inexact Rounded

radx113  add 12345  0.1       -> 12345 Inexact Rounded

radx115  add 12346  0.49999   -> 12346 Inexact Rounded

radx116  add 12346  0.5       -> 12346 Inexact Rounded

radx117  add 12346  0.50001   -> 12346 Inexact Rounded

radx120  add 12345  0.4       -> 12345 Inexact Rounded

radx121  add 12345  0.49      -> 12345 Inexact Rounded

radx122  add 12345  0.499     -> 12345 Inexact Rounded

radx123  add 12345  0.49999   -> 12345 Inexact Rounded

radx124  add 12345  0.5       -> 12345 Inexact Rounded

radx125  add 12345  0.50001   -> 12345 Inexact Rounded

radx126  add 12345  0.5001    -> 12345 Inexact Rounded

radx127  add 12345  0.501     -> 12345 Inexact Rounded

radx128  add 12345  0.51      -> 12345 Inexact Rounded

radx129  add 12345  0.6       -> 12345 Inexact Rounded

rounding: half_down

radx140  add 12345 -0.1       -> 12345 Inexact Rounded

radx141  add 12345 -0.01      -> 12345 Inexact Rounded

radx142  add 12345 -0.001     -> 12345 Inexact Rounded

radx143  add 12345 -0.00001   -> 12345 Inexact Rounded

radx144  add 12345 -0.000001  -> 12345 Inexact Rounded

radx145  add 12345 -0.0000001 -> 12345 Inexact Rounded

radx146  add 12345  0         -> 12345

radx147  add 12345  0.0000001 -> 12345 Inexact Rounded

radx148  add 12345  0.000001  -> 12345 Inexact Rounded

radx149  add 12345  0.00001   -> 12345 Inexact Rounded

radx150  add 12345  0.0001    -> 12345 Inexact Rounded

radx151  add 12345  0.001     -> 12345 Inexact Rounded

radx152  add 12345  0.01      -> 12345 Inexact Rounded

radx153  add 12345  0.1       -> 12345 Inexact Rounded

radx155  add 12346  0.49999   -> 12346 Inexact Rounded

radx156  add 12346  0.5       -> 12346 Inexact Rounded

radx157  add 12346  0.50001   -> 12347 Inexact Rounded

radx160  add 12345  0.4       -> 12345 Inexact Rounded

radx161  add 12345  0.49      -> 12345 Inexact Rounded

radx162  add 12345  0.499     -> 12345 Inexact Rounded

radx163  add 12345  0.49999   -> 12345 Inexact Rounded

radx164  add 12345  0.5       -> 12345 Inexact Rounded

radx165  add 12345  0.50001   -> 12346 Inexact Rounded

radx166  add 12345  0.5001    -> 12346 Inexact Rounded

radx167  add 12345  0.501     -> 12346 Inexact Rounded

radx168  add 12345  0.51      -> 12346 Inexact Rounded

radx169  add 12345  0.6       -> 12346 Inexact Rounded

rounding: half_even

radx170  add 12345 -0.1       -> 12345 Inexact Rounded

radx171  add 12345 -0.01      -> 12345 Inexact Rounded

radx172  add 12345 -0.001     -> 12345 Inexact Rounded

radx173  add 12345 -0.00001   -> 12345 Inexact Rounded

radx174  add 12345 -0.000001  -> 12345 Inexact Rounded

radx175  add 12345 -0.0000001 -> 12345 Inexact Rounded

radx176  add 12345  0         -> 12345

radx177  add 12345  0.0000001 -> 12345 Inexact Rounded

radx178  add 12345  0.000001  -> 12345 Inexact Rounded

radx179  add 12345  0.00001   -> 12345 Inexact Rounded

radx180  add 12345  0.0001    -> 12345 Inexact Rounded

radx181  add 12345  0.001     -> 12345 Inexact Rounded

radx182  add 12345  0.01      -> 12345 Inexact Rounded

radx183  add 12345  0.1       -> 12345 Inexact Rounded

radx185  add 12346  0.49999   -> 12346 Inexact Rounded

radx186  add 12346  0.5       -> 12346 Inexact Rounded

radx187  add 12346  0.50001   -> 12347 Inexact Rounded

radx190  add 12345  0.4       -> 12345 Inexact Rounded

radx191  add 12345  0.49      -> 12345 Inexact Rounded

radx192  add 12345  0.499     -> 12345 Inexact Rounded

radx193  add 12345  0.49999   -> 12345 Inexact Rounded

radx194  add 12345  0.5       -> 12346 Inexact Rounded

radx195  add 12345  0.50001   -> 12346 Inexact Rounded

radx196  add 12345  0.5001    -> 12346 Inexact Rounded

radx197  add 12345  0.501     -> 12346 Inexact Rounded

radx198  add 12345  0.51      -> 12346 Inexact Rounded

radx199  add 12345  0.6       -> 12346 Inexact Rounded

rounding: half_up

radx200  add 12345 -0.1       -> 12345 Inexact Rounded

radx201  add 12345 -0.01      -> 12345 Inexact Rounded

radx202  add 12345 -0.001     -> 12345 Inexact Rounded

radx203  add 12345 -0.00001   -> 12345 Inexact Rounded

radx204  add 12345 -0.000001  -> 12345 Inexact Rounded

radx205  add 12345 -0.0000001 -> 12345 Inexact Rounded

radx206  add 12345  0         -> 12345

radx207  add 12345  0.0000001 -> 12345 Inexact Rounded

radx208  add 12345  0.000001  -> 12345 Inexact Rounded

radx209  add 12345  0.00001   -> 12345 Inexact Rounded

radx210  add 12345  0.0001    -> 12345 Inexact Rounded

radx211  add 12345  0.001     -> 12345 Inexact Rounded

radx212  add 12345  0.01      -> 12345 Inexact Rounded

radx213  add 12345  0.1       -> 12345 Inexact Rounded

radx215  add 12346  0.49999   -> 12346 Inexact Rounded

radx216  add 12346  0.5       -> 12347 Inexact Rounded

radx217  add 12346  0.50001   -> 12347 Inexact Rounded

radx220  add 12345  0.4       -> 12345 Inexact Rounded

radx221  add 12345  0.49      -> 12345 Inexact Rounded

radx222  add 12345  0.499     -> 12345 Inexact Rounded

radx223  add 12345  0.49999   -> 12345 Inexact Rounded

radx224  add 12345  0.5       -> 12346 Inexact Rounded

radx225  add 12345  0.50001   -> 12346 Inexact Rounded

radx226  add 12345  0.5001    -> 12346 Inexact Rounded

radx227  add 12345  0.501     -> 12346 Inexact Rounded

radx228  add 12345  0.51      -> 12346 Inexact Rounded

radx229  add 12345  0.6       -> 12346 Inexact Rounded

rounding: up

radx230  add 12345 -0.1       -> 12345 Inexact Rounded

radx231  add 12345 -0.01      -> 12345 Inexact Rounded

radx232  add 12345 -0.001     -> 12345 Inexact Rounded

radx233  add 12345 -0.00001   -> 12345 Inexact Rounded

radx234  add 12345 -0.000001  -> 12345 Inexact Rounded

radx235  add 12345 -0.0000001 -> 12345 Inexact Rounded

radx236  add 12345  0         -> 12345

radx237  add 12345  0.0000001 -> 12346 Inexact Rounded

radx238  add 12345  0.000001  -> 12346 Inexact Rounded

radx239  add 12345  0.00001   -> 12346 Inexact Rounded

radx240  add 12345  0.0001    -> 12346 Inexact Rounded

radx241  add 12345  0.001     -> 12346 Inexact Rounded

radx242  add 12345  0.01      -> 12346 Inexact Rounded

radx243  add 12345  0.1       -> 12346 Inexact Rounded

radx245  add 12346  0.49999   -> 12347 Inexact Rounded

radx246  add 12346  0.5       -> 12347 Inexact Rounded

radx247  add 12346  0.50001   -> 12347 Inexact Rounded

radx250  add 12345  0.4       -> 12346 Inexact Rounded

radx251  add 12345  0.49      -> 12346 Inexact Rounded

radx252  add 12345  0.499     -> 12346 Inexact Rounded

radx253  add 12345  0.49999   -> 12346 Inexact Rounded

radx254  add 12345  0.5       -> 12346 Inexact Rounded

radx255  add 12345  0.50001   -> 12346 Inexact Rounded

radx256  add 12345  0.5001    -> 12346 Inexact Rounded

radx257  add 12345  0.501     -> 12346 Inexact Rounded

radx258  add 12345  0.51      -> 12346 Inexact Rounded

radx259  add 12345  0.6       -> 12346 Inexact Rounded

rounding: floor

radx300  add 12345 -0.1       -> 12344 Inexact Rounded

radx301  add 12345 -0.01      -> 12344 Inexact Rounded

radx302  add 12345 -0.001     -> 12344 Inexact Rounded

radx303  add 12345 -0.00001   -> 12344 Inexact Rounded

radx304  add 12345 -0.000001  -> 12344 Inexact Rounded

radx305  add 12345 -0.0000001 -> 12344 Inexact Rounded

radx306  add 12345  0         -> 12345

radx307  add 12345  0.0000001 -> 12345 Inexact Rounded

radx308  add 12345  0.000001  -> 12345 Inexact Rounded

radx309  add 12345  0.00001   -> 12345 Inexact Rounded

radx310  add 12345  0.0001    -> 12345 Inexact Rounded

radx311  add 12345  0.001     -> 12345 Inexact Rounded

radx312  add 12345  0.01      -> 12345 Inexact Rounded

radx313  add 12345  0.1       -> 12345 Inexact Rounded

radx315  add 12346  0.49999   -> 12346 Inexact Rounded

radx316  add 12346  0.5       -> 12346 Inexact Rounded

radx317  add 12346  0.50001   -> 12346 Inexact Rounded

radx320  add 12345  0.4       -> 12345 Inexact Rounded

radx321  add 12345  0.49      -> 12345 Inexact Rounded

radx322  add 12345  0.499     -> 12345 Inexact Rounded

radx323  add 12345  0.49999   -> 12345 Inexact Rounded

radx324  add 12345  0.5       -> 12345 Inexact Rounded

radx325  add 12345  0.50001   -> 12345 Inexact Rounded

radx326  add 12345  0.5001    -> 12345 Inexact Rounded

radx327  add 12345  0.501     -> 12345 Inexact Rounded

radx328  add 12345  0.51      -> 12345 Inexact Rounded

radx329  add 12345  0.6       -> 12345 Inexact Rounded

rounding: ceiling

radx330  add 12345 -0.1       -> 12345 Inexact Rounded

radx331  add 12345 -0.01      -> 12345 Inexact Rounded

radx332  add 12345 -0.001     -> 12345 Inexact Rounded

radx333  add 12345 -0.00001   -> 12345 Inexact Rounded

radx334  add 12345 -0.000001  -> 12345 Inexact Rounded

radx335  add 12345 -0.0000001 -> 12345 Inexact Rounded

radx336  add 12345  0         -> 12345

radx337  add 12345  0.0000001 -> 12346 Inexact Rounded

radx338  add 12345  0.000001  -> 12346 Inexact Rounded

radx339  add 12345  0.00001   -> 12346 Inexact Rounded

radx340  add 12345  0.0001    -> 12346 Inexact Rounded

radx341  add 12345  0.001     -> 12346 Inexact Rounded

radx342  add 12345  0.01      -> 12346 Inexact Rounded

radx343  add 12345  0.1       -> 12346 Inexact Rounded

radx345  add 12346  0.49999   -> 12347 Inexact Rounded

radx346  add 12346  0.5       -> 12347 Inexact Rounded

radx347  add 12346  0.50001   -> 12347 Inexact Rounded

radx350  add 12345  0.4       -> 12346 Inexact Rounded

radx351  add 12345  0.49      -> 12346 Inexact Rounded

radx352  add 12345  0.499     -> 12346 Inexact Rounded

radx353  add 12345  0.49999   -> 12346 Inexact Rounded

radx354  add 12345  0.5       -> 12346 Inexact Rounded

radx355  add 12345  0.50001   -> 12346 Inexact Rounded

radx356  add 12345  0.5001    -> 12346 Inexact Rounded

radx357  add 12345  0.501     -> 12346 Inexact Rounded

radx358  add 12345  0.51      -> 12346 Inexact Rounded

radx359  add 12345  0.6       -> 12346 Inexact Rounded

-- negatives...

rounding: down

rsux100  add -12345 -0.1       -> -12345 Inexact Rounded

rsux101  add -12345 -0.01      -> -12345 Inexact Rounded

rsux102  add -12345 -0.001     -> -12345 Inexact Rounded

rsux103  add -12345 -0.00001   -> -12345 Inexact Rounded

rsux104  add -12345 -0.000001  -> -12345 Inexact Rounded

rsux105  add -12345 -0.0000001 -> -12345 Inexact Rounded

rsux106  add -12345  0         -> -12345

rsux107  add -12345  0.0000001 -> -12344 Inexact Rounded

rsux108  add -12345  0.000001  -> -12344 Inexact Rounded

rsux109  add -12345  0.00001   -> -12344 Inexact Rounded

rsux110  add -12345  0.0001    -> -12344 Inexact Rounded

rsux111  add -12345  0.001     -> -12344 Inexact Rounded

rsux112  add -12345  0.01      -> -12344 Inexact Rounded

rsux113  add -12345  0.1       -> -12344 Inexact Rounded

rsux115  add -12346  0.49999   -> -12345 Inexact Rounded

rsux116  add -12346  0.5       -> -12345 Inexact Rounded

rsux117  add -12346  0.50001   -> -12345 Inexact Rounded

rsux120  add -12345  0.4       -> -12344 Inexact Rounded

rsux121  add -12345  0.49      -> -12344 Inexact Rounded

rsux122  add -12345  0.499     -> -12344 Inexact Rounded

rsux123  add -12345  0.49999   -> -12344 Inexact Rounded

rsux124  add -12345  0.5       -> -12344 Inexact Rounded

rsux125  add -12345  0.50001   -> -12344 Inexact Rounded

rsux126  add -12345  0.5001    -> -12344 Inexact Rounded

rsux127  add -12345  0.501     -> -12344 Inexact Rounded

rsux128  add -12345  0.51      -> -12344 Inexact Rounded

rsux129  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_down

rsux140  add -12345 -0.1       -> -12345 Inexact Rounded

rsux141  add -12345 -0.01      -> -12345 Inexact Rounded

rsux142  add -12345 -0.001     -> -12345 Inexact Rounded

rsux143  add -12345 -0.00001   -> -12345 Inexact Rounded

rsux144  add -12345 -0.000001  -> -12345 Inexact Rounded

rsux145  add -12345 -0.0000001 -> -12345 Inexact Rounded

rsux146  add -12345  0         -> -12345

rsux147  add -12345  0.0000001 -> -12345 Inexact Rounded

rsux148  add -12345  0.000001  -> -12345 Inexact Rounded

rsux149  add -12345  0.00001   -> -12345 Inexact Rounded

rsux150  add -12345  0.0001    -> -12345 Inexact Rounded

rsux151  add -12345  0.001     -> -12345 Inexact Rounded

rsux152  add -12345  0.01      -> -12345 Inexact Rounded

rsux153  add -12345  0.1       -> -12345 Inexact Rounded

rsux155  add -12346  0.49999   -> -12346 Inexact Rounded

rsux156  add -12346  0.5       -> -12345 Inexact Rounded

rsux157  add -12346  0.50001   -> -12345 Inexact Rounded

rsux160  add -12345  0.4       -> -12345 Inexact Rounded

rsux161  add -12345  0.49      -> -12345 Inexact Rounded

rsux162  add -12345  0.499     -> -12345 Inexact Rounded

rsux163  add -12345  0.49999   -> -12345 Inexact Rounded

rsux164  add -12345  0.5       -> -12344 Inexact Rounded

rsux165  add -12345  0.50001   -> -12344 Inexact Rounded

rsux166  add -12345  0.5001    -> -12344 Inexact Rounded

rsux167  add -12345  0.501     -> -12344 Inexact Rounded

rsux168  add -12345  0.51      -> -12344 Inexact Rounded

rsux169  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_even

rsux170  add -12345 -0.1       -> -12345 Inexact Rounded

rsux171  add -12345 -0.01      -> -12345 Inexact Rounded

rsux172  add -12345 -0.001     -> -12345 Inexact Rounded

rsux173  add -12345 -0.00001   -> -12345 Inexact Rounded

rsux174  add -12345 -0.000001  -> -12345 Inexact Rounded

rsux175  add -12345 -0.0000001 -> -12345 Inexact Rounded

rsux176  add -12345  0         -> -12345

rsux177  add -12345  0.0000001 -> -12345 Inexact Rounded

rsux178  add -12345  0.000001  -> -12345 Inexact Rounded

rsux179  add -12345  0.00001   -> -12345 Inexact Rounded

rsux180  add -12345  0.0001    -> -12345 Inexact Rounded

rsux181  add -12345  0.001     -> -12345 Inexact Rounded

rsux182  add -12345  0.01      -> -12345 Inexact Rounded

rsux183  add -12345  0.1       -> -12345 Inexact Rounded

rsux185  add -12346  0.49999   -> -12346 Inexact Rounded

rsux186  add -12346  0.5       -> -12346 Inexact Rounded

rsux187  add -12346  0.50001   -> -12345 Inexact Rounded

rsux190  add -12345  0.4       -> -12345 Inexact Rounded

rsux191  add -12345  0.49      -> -12345 Inexact Rounded

rsux192  add -12345  0.499     -> -12345 Inexact Rounded

rsux193  add -12345  0.49999   -> -12345 Inexact Rounded

rsux194  add -12345  0.5       -> -12344 Inexact Rounded

rsux195  add -12345  0.50001   -> -12344 Inexact Rounded

rsux196  add -12345  0.5001    -> -12344 Inexact Rounded

rsux197  add -12345  0.501     -> -12344 Inexact Rounded

rsux198  add -12345  0.51      -> -12344 Inexact Rounded

rsux199  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_up

rsux200  add -12345 -0.1       -> -12345 Inexact Rounded

rsux201  add -12345 -0.01      -> -12345 Inexact Rounded

rsux202  add -12345 -0.001     -> -12345 Inexact Rounded

rsux203  add -12345 -0.00001   -> -12345 Inexact Rounded

rsux204  add -12345 -0.000001  -> -12345 Inexact Rounded

rsux205  add -12345 -0.0000001 -> -12345 Inexact Rounded

rsux206  add -12345  0         -> -12345

rsux207  add -12345  0.0000001 -> -12345 Inexact Rounded

rsux208  add -12345  0.000001  -> -12345 Inexact Rounded

rsux209  add -12345  0.00001   -> -12345 Inexact Rounded

rsux210  add -12345  0.0001    -> -12345 Inexact Rounded

rsux211  add -12345  0.001     -> -12345 Inexact Rounded

rsux212  add -12345  0.01      -> -12345 Inexact Rounded

rsux213  add -12345  0.1       -> -12345 Inexact Rounded

rsux215  add -12346  0.49999   -> -12346 Inexact Rounded

rsux216  add -12346  0.5       -> -12346 Inexact Rounded

rsux217  add -12346  0.50001   -> -12345 Inexact Rounded

rsux220  add -12345  0.4       -> -12345 Inexact Rounded

rsux221  add -12345  0.49      -> -12345 Inexact Rounded

rsux222  add -12345  0.499     -> -12345 Inexact Rounded

rsux223  add -12345  0.49999   -> -12345 Inexact Rounded

rsux224  add -12345  0.5       -> -12345 Inexact Rounded

rsux225  add -12345  0.50001   -> -12344 Inexact Rounded

rsux226  add -12345  0.5001    -> -12344 Inexact Rounded

rsux227  add -12345  0.501     -> -12344 Inexact Rounded

rsux228  add -12345  0.51      -> -12344 Inexact Rounded

rsux229  add -12345  0.6       -> -12344 Inexact Rounded

rounding: up

rsux230  add -12345 -0.1       -> -12346 Inexact Rounded

rsux231  add -12345 -0.01      -> -12346 Inexact Rounded

rsux232  add -12345 -0.001     -> -12346 Inexact Rounded

rsux233  add -12345 -0.00001   -> -12346 Inexact Rounded

rsux234  add -12345 -0.000001  -> -12346 Inexact Rounded

rsux235  add -12345 -0.0000001 -> -12346 Inexact Rounded

rsux236  add -12345  0         -> -12345

rsux237  add -12345  0.0000001 -> -12345 Inexact Rounded

rsux238  add -12345  0.000001  -> -12345 Inexact Rounded

rsux239  add -12345  0.00001   -> -12345 Inexact Rounded

rsux240  add -12345  0.0001    -> -12345 Inexact Rounded

rsux241  add -12345  0.001     -> -12345 Inexact Rounded

rsux242  add -12345  0.01      -> -12345 Inexact Rounded

rsux243  add -12345  0.1       -> -12345 Inexact Rounded

rsux245  add -12346  0.49999   -> -12346 Inexact Rounded

rsux246  add -12346  0.5       -> -12346 Inexact Rounded

rsux247  add -12346  0.50001   -> -12346 Inexact Rounded

rsux250  add -12345  0.4       -> -12345 Inexact Rounded

rsux251  add -12345  0.49      -> -12345 Inexact Rounded

rsux252  add -12345  0.499     -> -12345 Inexact Rounded

rsux253  add -12345  0.49999   -> -12345 Inexact Rounded

rsux254  add -12345  0.5       -> -12345 Inexact Rounded

rsux255  add -12345  0.50001   -> -12345 Inexact Rounded

rsux256  add -12345  0.5001    -> -12345 Inexact Rounded

rsux257  add -12345  0.501     -> -12345 Inexact Rounded

rsux258  add -12345  0.51      -> -12345 Inexact Rounded

rsux259  add -12345  0.6       -> -12345 Inexact Rounded

rounding: floor

rsux300  add -12345 -0.1       -> -12346 Inexact Rounded

rsux301  add -12345 -0.01      -> -12346 Inexact Rounded

rsux302  add -12345 -0.001     -> -12346 Inexact Rounded

rsux303  add -12345 -0.00001   -> -12346 Inexact Rounded

rsux304  add -12345 -0.000001  -> -12346 Inexact Rounded

rsux305  add -12345 -0.0000001 -> -12346 Inexact Rounded

rsux306  add -12345  0         -> -12345

rsux307  add -12345  0.0000001 -> -12345 Inexact Rounded

rsux308  add -12345  0.000001  -> -12345 Inexact Rounded

rsux309  add -12345  0.00001   -> -12345 Inexact Rounded

rsux310  add -12345  0.0001    -> -12345 Inexact Rounded

rsux311  add -12345  0.001     -> -12345 Inexact Rounded

rsux312  add -12345  0.01      -> -12345 Inexact Rounded

rsux313  add -12345  0.1       -> -12345 Inexact Rounded

rsux315  add -12346  0.49999   -> -12346 Inexact Rounded

rsux316  add -12346  0.5       -> -12346 Inexact Rounded

rsux317  add -12346  0.50001   -> -12346 Inexact Rounded

rsux320  add -12345  0.4       -> -12345 Inexact Rounded

rsux321  add -12345  0.49      -> -12345 Inexact Rounded

rsux322  add -12345  0.499     -> -12345 Inexact Rounded

rsux323  add -12345  0.49999   -> -12345 Inexact Rounded

rsux324  add -12345  0.5       -> -12345 Inexact Rounded

rsux325  add -12345  0.50001   -> -12345 Inexact Rounded

rsux326  add -12345  0.5001    -> -12345 Inexact Rounded

rsux327  add -12345  0.501     -> -12345 Inexact Rounded

rsux328  add -12345  0.51      -> -12345 Inexact Rounded

rsux329  add -12345  0.6       -> -12345 Inexact Rounded

rounding: ceiling

rsux330  add -12345 -0.1       -> -12345 Inexact Rounded

rsux331  add -12345 -0.01      -> -12345 Inexact Rounded

rsux332  add -12345 -0.001     -> -12345 Inexact Rounded

rsux333  add -12345 -0.00001   -> -12345 Inexact Rounded

rsux334  add -12345 -0.000001  -> -12345 Inexact Rounded

rsux335  add -12345 -0.0000001 -> -12345 Inexact Rounded

rsux336  add -12345  0         -> -12345

rsux337  add -12345  0.0000001 -> -12344 Inexact Rounded

rsux338  add -12345  0.000001  -> -12344 Inexact Rounded

rsux339  add -12345  0.00001   -> -12344 Inexact Rounded

rsux340  add -12345  0.0001    -> -12344 Inexact Rounded

rsux341  add -12345  0.001     -> -12344 Inexact Rounded

rsux342  add -12345  0.01      -> -12344 Inexact Rounded

rsux343  add -12345  0.1       -> -12344 Inexact Rounded

rsux345  add -12346  0.49999   -> -12345 Inexact Rounded

rsux346  add -12346  0.5       -> -12345 Inexact Rounded

rsux347  add -12346  0.50001   -> -12345 Inexact Rounded

rsux350  add -12345  0.4       -> -12344 Inexact Rounded

rsux351  add -12345  0.49      -> -12344 Inexact Rounded

rsux352  add -12345  0.499     -> -12344 Inexact Rounded

rsux353  add -12345  0.49999   -> -12344 Inexact Rounded

rsux354  add -12345  0.5       -> -12344 Inexact Rounded

rsux355  add -12345  0.50001   -> -12344 Inexact Rounded

rsux356  add -12345  0.5001    -> -12344 Inexact Rounded

rsux357  add -12345  0.501     -> -12344 Inexact Rounded

rsux358  add -12345  0.51      -> -12344 Inexact Rounded

rsux359  add -12345  0.6       -> -12344 Inexact Rounded

-- Check cancellation subtractions

-- (The IEEE 854 'curious rule' in $6.3)

rounding: down

rzex001  add  0    0    ->  0

rzex002  add  0   -0    ->  0

rzex003  add -0    0    ->  0

rzex004  add -0   -0    -> -0

rzex005  add  1   -1    ->  0

rzex006  add -1    1    ->  0

rzex007  add  1.5 -1.5  ->  0.0

rzex008  add -1.5  1.5  ->  0.0

rzex009  add  2   -2    ->  0

rzex010  add -2    2    ->  0

rounding: up

rzex011  add  0    0    ->  0

rzex012  add  0   -0    ->  0

rzex013  add -0    0    ->  0

rzex014  add -0   -0    -> -0

rzex015  add  1   -1    ->  0

rzex016  add -1    1    ->  0

rzex017  add  1.5 -1.5  ->  0.0

rzex018  add -1.5  1.5  ->  0.0

rzex019  add  2   -2    ->  0

rzex020  add -2    2    ->  0

rounding: half_up

rzex021  add  0    0    ->  0

rzex022  add  0   -0    ->  0

rzex023  add -0    0    ->  0

rzex024  add -0   -0    -> -0

rzex025  add  1   -1    ->  0

rzex026  add -1    1    ->  0

rzex027  add  1.5 -1.5  ->  0.0

rzex028  add -1.5  1.5  ->  0.0

rzex029  add  2   -2    ->  0

rzex030  add -2    2    ->  0