You cannot select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
	
	
		
			889 lines
		
	
	
		
			43 KiB
		
	
	
	
		
			Plaintext
		
	
			
		
		
	
	
			889 lines
		
	
	
		
			43 KiB
		
	
	
	
		
			Plaintext
		
	
------------------------------------------------------------------------
 | 
						|
-- rounding0.decTest -- decimal rounding modes testcases (simplified) --
 | 
						|
-- 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).]
 | 
						|
--
 | 
						|
-- Underflow Subnormal and overflow behaviours are tested under the individual
 | 
						|
-- operators.
 | 
						|
 | 
						|
extended:    0
 | 
						|
precision:   5           -- for easier visual inspection
 | 
						|
maxExponent: 999
 | 
						|
minexponent: -999
 | 
						|
 | 
						|
-- Addition operators -------------------------------------------------
 | 
						|
rounding: down
 | 
						|
 | 
						|
rad100  add 12345 -0.1       -> 12344 Inexact Rounded
 | 
						|
rad101  add 12345 -0.01      -> 12344 Inexact Rounded
 | 
						|
rad102  add 12345 -0.001     -> 12344 Inexact Rounded
 | 
						|
rad103  add 12345 -0.00001   -> 12344 Inexact Rounded
 | 
						|
rad104  add 12345 -0.000001  -> 12344 Inexact Rounded
 | 
						|
rad105  add 12345 -0.0000001 -> 12344 Inexact Rounded
 | 
						|
rad106  add 12345  0         -> 12345
 | 
						|
rad107  add 12345  0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad108  add 12345  0.000001  -> 12345 Inexact Rounded
 | 
						|
rad109  add 12345  0.00001   -> 12345 Inexact Rounded
 | 
						|
rad110  add 12345  0.0001    -> 12345 Inexact Rounded
 | 
						|
rad111  add 12345  0.001     -> 12345 Inexact Rounded
 | 
						|
rad112  add 12345  0.01      -> 12345 Inexact Rounded
 | 
						|
rad113  add 12345  0.1       -> 12345 Inexact Rounded
 | 
						|
 | 
						|
rad115  add 12346  0.49999   -> 12346 Inexact Rounded
 | 
						|
rad116  add 12346  0.5       -> 12346 Inexact Rounded
 | 
						|
rad117  add 12346  0.50001   -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rad120  add 12345  0.4       -> 12345 Inexact Rounded
 | 
						|
rad121  add 12345  0.49      -> 12345 Inexact Rounded
 | 
						|
rad122  add 12345  0.499     -> 12345 Inexact Rounded
 | 
						|
rad123  add 12345  0.49999   -> 12345 Inexact Rounded
 | 
						|
rad124  add 12345  0.5       -> 12345 Inexact Rounded
 | 
						|
rad125  add 12345  0.50001   -> 12345 Inexact Rounded
 | 
						|
rad126  add 12345  0.5001    -> 12345 Inexact Rounded
 | 
						|
rad127  add 12345  0.501     -> 12345 Inexact Rounded
 | 
						|
rad128  add 12345  0.51      -> 12345 Inexact Rounded
 | 
						|
rad129  add 12345  0.6       -> 12345 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_down
 | 
						|
 | 
						|
rad140  add 12345 -0.1       -> 12345 Inexact Rounded
 | 
						|
rad141  add 12345 -0.01      -> 12345 Inexact Rounded
 | 
						|
rad142  add 12345 -0.001     -> 12345 Inexact Rounded
 | 
						|
rad143  add 12345 -0.00001   -> 12345 Inexact Rounded
 | 
						|
rad144  add 12345 -0.000001  -> 12345 Inexact Rounded
 | 
						|
rad145  add 12345 -0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad146  add 12345  0         -> 12345
 | 
						|
rad147  add 12345  0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad148  add 12345  0.000001  -> 12345 Inexact Rounded
 | 
						|
rad149  add 12345  0.00001   -> 12345 Inexact Rounded
 | 
						|
rad150  add 12345  0.0001    -> 12345 Inexact Rounded
 | 
						|
rad151  add 12345  0.001     -> 12345 Inexact Rounded
 | 
						|
rad152  add 12345  0.01      -> 12345 Inexact Rounded
 | 
						|
rad153  add 12345  0.1       -> 12345 Inexact Rounded
 | 
						|
 | 
						|
rad155  add 12346  0.49999   -> 12346 Inexact Rounded
 | 
						|
rad156  add 12346  0.5       -> 12346 Inexact Rounded
 | 
						|
rad157  add 12346  0.50001   -> 12347 Inexact Rounded
 | 
						|
 | 
						|
rad160  add 12345  0.4       -> 12345 Inexact Rounded
 | 
						|
rad161  add 12345  0.49      -> 12345 Inexact Rounded
 | 
						|
rad162  add 12345  0.499     -> 12345 Inexact Rounded
 | 
						|
rad163  add 12345  0.49999   -> 12345 Inexact Rounded
 | 
						|
rad164  add 12345  0.5       -> 12345 Inexact Rounded
 | 
						|
rad165  add 12345  0.50001   -> 12346 Inexact Rounded
 | 
						|
rad166  add 12345  0.5001    -> 12346 Inexact Rounded
 | 
						|
rad167  add 12345  0.501     -> 12346 Inexact Rounded
 | 
						|
rad168  add 12345  0.51      -> 12346 Inexact Rounded
 | 
						|
rad169  add 12345  0.6       -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_even
 | 
						|
 | 
						|
rad170  add 12345 -0.1       -> 12345 Inexact Rounded
 | 
						|
rad171  add 12345 -0.01      -> 12345 Inexact Rounded
 | 
						|
rad172  add 12345 -0.001     -> 12345 Inexact Rounded
 | 
						|
rad173  add 12345 -0.00001   -> 12345 Inexact Rounded
 | 
						|
rad174  add 12345 -0.000001  -> 12345 Inexact Rounded
 | 
						|
rad175  add 12345 -0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad176  add 12345  0         -> 12345
 | 
						|
rad177  add 12345  0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad178  add 12345  0.000001  -> 12345 Inexact Rounded
 | 
						|
rad179  add 12345  0.00001   -> 12345 Inexact Rounded
 | 
						|
rad180  add 12345  0.0001    -> 12345 Inexact Rounded
 | 
						|
rad181  add 12345  0.001     -> 12345 Inexact Rounded
 | 
						|
rad182  add 12345  0.01      -> 12345 Inexact Rounded
 | 
						|
rad183  add 12345  0.1       -> 12345 Inexact Rounded
 | 
						|
 | 
						|
rad185  add 12346  0.49999   -> 12346 Inexact Rounded
 | 
						|
rad186  add 12346  0.5       -> 12346 Inexact Rounded
 | 
						|
rad187  add 12346  0.50001   -> 12347 Inexact Rounded
 | 
						|
 | 
						|
rad190  add 12345  0.4       -> 12345 Inexact Rounded
 | 
						|
rad191  add 12345  0.49      -> 12345 Inexact Rounded
 | 
						|
rad192  add 12345  0.499     -> 12345 Inexact Rounded
 | 
						|
rad193  add 12345  0.49999   -> 12345 Inexact Rounded
 | 
						|
rad194  add 12345  0.5       -> 12346 Inexact Rounded
 | 
						|
rad195  add 12345  0.50001   -> 12346 Inexact Rounded
 | 
						|
rad196  add 12345  0.5001    -> 12346 Inexact Rounded
 | 
						|
rad197  add 12345  0.501     -> 12346 Inexact Rounded
 | 
						|
rad198  add 12345  0.51      -> 12346 Inexact Rounded
 | 
						|
rad199  add 12345  0.6       -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_up
 | 
						|
 | 
						|
rad200  add 12345 -0.1       -> 12345 Inexact Rounded
 | 
						|
rad201  add 12345 -0.01      -> 12345 Inexact Rounded
 | 
						|
rad202  add 12345 -0.001     -> 12345 Inexact Rounded
 | 
						|
rad203  add 12345 -0.00001   -> 12345 Inexact Rounded
 | 
						|
rad204  add 12345 -0.000001  -> 12345 Inexact Rounded
 | 
						|
rad205  add 12345 -0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad206  add 12345  0         -> 12345
 | 
						|
rad207  add 12345  0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad208  add 12345  0.000001  -> 12345 Inexact Rounded
 | 
						|
rad209  add 12345  0.00001   -> 12345 Inexact Rounded
 | 
						|
rad210  add 12345  0.0001    -> 12345 Inexact Rounded
 | 
						|
rad211  add 12345  0.001     -> 12345 Inexact Rounded
 | 
						|
rad212  add 12345  0.01      -> 12345 Inexact Rounded
 | 
						|
rad213  add 12345  0.1       -> 12345 Inexact Rounded
 | 
						|
 | 
						|
rad215  add 12346  0.49999   -> 12346 Inexact Rounded
 | 
						|
rad216  add 12346  0.5       -> 12347 Inexact Rounded
 | 
						|
rad217  add 12346  0.50001   -> 12347 Inexact Rounded
 | 
						|
 | 
						|
rad220  add 12345  0.4       -> 12345 Inexact Rounded
 | 
						|
rad221  add 12345  0.49      -> 12345 Inexact Rounded
 | 
						|
rad222  add 12345  0.499     -> 12345 Inexact Rounded
 | 
						|
rad223  add 12345  0.49999   -> 12345 Inexact Rounded
 | 
						|
rad224  add 12345  0.5       -> 12346 Inexact Rounded
 | 
						|
rad225  add 12345  0.50001   -> 12346 Inexact Rounded
 | 
						|
rad226  add 12345  0.5001    -> 12346 Inexact Rounded
 | 
						|
rad227  add 12345  0.501     -> 12346 Inexact Rounded
 | 
						|
rad228  add 12345  0.51      -> 12346 Inexact Rounded
 | 
						|
rad229  add 12345  0.6       -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rounding: up
 | 
						|
 | 
						|
rad230  add 12345 -0.1       -> 12345 Inexact Rounded
 | 
						|
rad231  add 12345 -0.01      -> 12345 Inexact Rounded
 | 
						|
rad232  add 12345 -0.001     -> 12345 Inexact Rounded
 | 
						|
rad233  add 12345 -0.00001   -> 12345 Inexact Rounded
 | 
						|
rad234  add 12345 -0.000001  -> 12345 Inexact Rounded
 | 
						|
rad235  add 12345 -0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad236  add 12345  0         -> 12345
 | 
						|
rad237  add 12345  0.0000001 -> 12346 Inexact Rounded
 | 
						|
rad238  add 12345  0.000001  -> 12346 Inexact Rounded
 | 
						|
rad239  add 12345  0.00001   -> 12346 Inexact Rounded
 | 
						|
rad240  add 12345  0.0001    -> 12346 Inexact Rounded
 | 
						|
rad241  add 12345  0.001     -> 12346 Inexact Rounded
 | 
						|
rad242  add 12345  0.01      -> 12346 Inexact Rounded
 | 
						|
rad243  add 12345  0.1       -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rad245  add 12346  0.49999   -> 12347 Inexact Rounded
 | 
						|
rad246  add 12346  0.5       -> 12347 Inexact Rounded
 | 
						|
rad247  add 12346  0.50001   -> 12347 Inexact Rounded
 | 
						|
 | 
						|
rad250  add 12345  0.4       -> 12346 Inexact Rounded
 | 
						|
rad251  add 12345  0.49      -> 12346 Inexact Rounded
 | 
						|
rad252  add 12345  0.499     -> 12346 Inexact Rounded
 | 
						|
rad253  add 12345  0.49999   -> 12346 Inexact Rounded
 | 
						|
rad254  add 12345  0.5       -> 12346 Inexact Rounded
 | 
						|
rad255  add 12345  0.50001   -> 12346 Inexact Rounded
 | 
						|
rad256  add 12345  0.5001    -> 12346 Inexact Rounded
 | 
						|
rad257  add 12345  0.501     -> 12346 Inexact Rounded
 | 
						|
rad258  add 12345  0.51      -> 12346 Inexact Rounded
 | 
						|
rad259  add 12345  0.6       -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rounding: floor
 | 
						|
 | 
						|
rad300  add 12345 -0.1       -> 12344 Inexact Rounded
 | 
						|
rad301  add 12345 -0.01      -> 12344 Inexact Rounded
 | 
						|
rad302  add 12345 -0.001     -> 12344 Inexact Rounded
 | 
						|
rad303  add 12345 -0.00001   -> 12344 Inexact Rounded
 | 
						|
rad304  add 12345 -0.000001  -> 12344 Inexact Rounded
 | 
						|
rad305  add 12345 -0.0000001 -> 12344 Inexact Rounded
 | 
						|
rad306  add 12345  0         -> 12345
 | 
						|
rad307  add 12345  0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad308  add 12345  0.000001  -> 12345 Inexact Rounded
 | 
						|
rad309  add 12345  0.00001   -> 12345 Inexact Rounded
 | 
						|
rad310  add 12345  0.0001    -> 12345 Inexact Rounded
 | 
						|
rad311  add 12345  0.001     -> 12345 Inexact Rounded
 | 
						|
rad312  add 12345  0.01      -> 12345 Inexact Rounded
 | 
						|
rad313  add 12345  0.1       -> 12345 Inexact Rounded
 | 
						|
 | 
						|
rad315  add 12346  0.49999   -> 12346 Inexact Rounded
 | 
						|
rad316  add 12346  0.5       -> 12346 Inexact Rounded
 | 
						|
rad317  add 12346  0.50001   -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rad320  add 12345  0.4       -> 12345 Inexact Rounded
 | 
						|
rad321  add 12345  0.49      -> 12345 Inexact Rounded
 | 
						|
rad322  add 12345  0.499     -> 12345 Inexact Rounded
 | 
						|
rad323  add 12345  0.49999   -> 12345 Inexact Rounded
 | 
						|
rad324  add 12345  0.5       -> 12345 Inexact Rounded
 | 
						|
rad325  add 12345  0.50001   -> 12345 Inexact Rounded
 | 
						|
rad326  add 12345  0.5001    -> 12345 Inexact Rounded
 | 
						|
rad327  add 12345  0.501     -> 12345 Inexact Rounded
 | 
						|
rad328  add 12345  0.51      -> 12345 Inexact Rounded
 | 
						|
rad329  add 12345  0.6       -> 12345 Inexact Rounded
 | 
						|
 | 
						|
rounding: ceiling
 | 
						|
 | 
						|
rad330  add 12345 -0.1       -> 12345 Inexact Rounded
 | 
						|
rad331  add 12345 -0.01      -> 12345 Inexact Rounded
 | 
						|
rad332  add 12345 -0.001     -> 12345 Inexact Rounded
 | 
						|
rad333  add 12345 -0.00001   -> 12345 Inexact Rounded
 | 
						|
rad334  add 12345 -0.000001  -> 12345 Inexact Rounded
 | 
						|
rad335  add 12345 -0.0000001 -> 12345 Inexact Rounded
 | 
						|
rad336  add 12345  0         -> 12345
 | 
						|
rad337  add 12345  0.0000001 -> 12346 Inexact Rounded
 | 
						|
rad338  add 12345  0.000001  -> 12346 Inexact Rounded
 | 
						|
rad339  add 12345  0.00001   -> 12346 Inexact Rounded
 | 
						|
rad340  add 12345  0.0001    -> 12346 Inexact Rounded
 | 
						|
rad341  add 12345  0.001     -> 12346 Inexact Rounded
 | 
						|
rad342  add 12345  0.01      -> 12346 Inexact Rounded
 | 
						|
rad343  add 12345  0.1       -> 12346 Inexact Rounded
 | 
						|
 | 
						|
rad345  add 12346  0.49999   -> 12347 Inexact Rounded
 | 
						|
rad346  add 12346  0.5       -> 12347 Inexact Rounded
 | 
						|
rad347  add 12346  0.50001   -> 12347 Inexact Rounded
 | 
						|
 | 
						|
rad350  add 12345  0.4       -> 12346 Inexact Rounded
 | 
						|
rad351  add 12345  0.49      -> 12346 Inexact Rounded
 | 
						|
rad352  add 12345  0.499     -> 12346 Inexact Rounded
 | 
						|
rad353  add 12345  0.49999   -> 12346 Inexact Rounded
 | 
						|
rad354  add 12345  0.5       -> 12346 Inexact Rounded
 | 
						|
rad355  add 12345  0.50001   -> 12346 Inexact Rounded
 | 
						|
rad356  add 12345  0.5001    -> 12346 Inexact Rounded
 | 
						|
rad357  add 12345  0.501     -> 12346 Inexact Rounded
 | 
						|
rad358  add 12345  0.51      -> 12346 Inexact Rounded
 | 
						|
rad359  add 12345  0.6       -> 12346 Inexact Rounded
 | 
						|
 | 
						|
-- negatives...
 | 
						|
 | 
						|
rounding: down
 | 
						|
 | 
						|
rsu100  add -12345 -0.1       -> -12345 Inexact Rounded
 | 
						|
rsu101  add -12345 -0.01      -> -12345 Inexact Rounded
 | 
						|
rsu102  add -12345 -0.001     -> -12345 Inexact Rounded
 | 
						|
rsu103  add -12345 -0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu104  add -12345 -0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu105  add -12345 -0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu106  add -12345  0         -> -12345
 | 
						|
rsu107  add -12345  0.0000001 -> -12344 Inexact Rounded
 | 
						|
rsu108  add -12345  0.000001  -> -12344 Inexact Rounded
 | 
						|
rsu109  add -12345  0.00001   -> -12344 Inexact Rounded
 | 
						|
rsu110  add -12345  0.0001    -> -12344 Inexact Rounded
 | 
						|
rsu111  add -12345  0.001     -> -12344 Inexact Rounded
 | 
						|
rsu112  add -12345  0.01      -> -12344 Inexact Rounded
 | 
						|
rsu113  add -12345  0.1       -> -12344 Inexact Rounded
 | 
						|
 | 
						|
rsu115  add -12346  0.49999   -> -12345 Inexact Rounded
 | 
						|
rsu116  add -12346  0.5       -> -12345 Inexact Rounded
 | 
						|
rsu117  add -12346  0.50001   -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu120  add -12345  0.4       -> -12344 Inexact Rounded
 | 
						|
rsu121  add -12345  0.49      -> -12344 Inexact Rounded
 | 
						|
rsu122  add -12345  0.499     -> -12344 Inexact Rounded
 | 
						|
rsu123  add -12345  0.49999   -> -12344 Inexact Rounded
 | 
						|
rsu124  add -12345  0.5       -> -12344 Inexact Rounded
 | 
						|
rsu125  add -12345  0.50001   -> -12344 Inexact Rounded
 | 
						|
rsu126  add -12345  0.5001    -> -12344 Inexact Rounded
 | 
						|
rsu127  add -12345  0.501     -> -12344 Inexact Rounded
 | 
						|
rsu128  add -12345  0.51      -> -12344 Inexact Rounded
 | 
						|
rsu129  add -12345  0.6       -> -12344 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_down
 | 
						|
 | 
						|
rsu140  add -12345 -0.1       -> -12345 Inexact Rounded
 | 
						|
rsu141  add -12345 -0.01      -> -12345 Inexact Rounded
 | 
						|
rsu142  add -12345 -0.001     -> -12345 Inexact Rounded
 | 
						|
rsu143  add -12345 -0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu144  add -12345 -0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu145  add -12345 -0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu146  add -12345  0         -> -12345
 | 
						|
rsu147  add -12345  0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu148  add -12345  0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu149  add -12345  0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu150  add -12345  0.0001    -> -12345 Inexact Rounded
 | 
						|
rsu151  add -12345  0.001     -> -12345 Inexact Rounded
 | 
						|
rsu152  add -12345  0.01      -> -12345 Inexact Rounded
 | 
						|
rsu153  add -12345  0.1       -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu155  add -12346  0.49999   -> -12346 Inexact Rounded
 | 
						|
rsu156  add -12346  0.5       -> -12345 Inexact Rounded
 | 
						|
rsu157  add -12346  0.50001   -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu160  add -12345  0.4       -> -12345 Inexact Rounded
 | 
						|
rsu161  add -12345  0.49      -> -12345 Inexact Rounded
 | 
						|
rsu162  add -12345  0.499     -> -12345 Inexact Rounded
 | 
						|
rsu163  add -12345  0.49999   -> -12345 Inexact Rounded
 | 
						|
rsu164  add -12345  0.5       -> -12344 Inexact Rounded
 | 
						|
rsu165  add -12345  0.50001   -> -12344 Inexact Rounded
 | 
						|
rsu166  add -12345  0.5001    -> -12344 Inexact Rounded
 | 
						|
rsu167  add -12345  0.501     -> -12344 Inexact Rounded
 | 
						|
rsu168  add -12345  0.51      -> -12344 Inexact Rounded
 | 
						|
rsu169  add -12345  0.6       -> -12344 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_even
 | 
						|
 | 
						|
rsu170  add -12345 -0.1       -> -12345 Inexact Rounded
 | 
						|
rsu171  add -12345 -0.01      -> -12345 Inexact Rounded
 | 
						|
rsu172  add -12345 -0.001     -> -12345 Inexact Rounded
 | 
						|
rsu173  add -12345 -0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu174  add -12345 -0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu175  add -12345 -0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu176  add -12345  0         -> -12345
 | 
						|
rsu177  add -12345  0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu178  add -12345  0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu179  add -12345  0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu180  add -12345  0.0001    -> -12345 Inexact Rounded
 | 
						|
rsu181  add -12345  0.001     -> -12345 Inexact Rounded
 | 
						|
rsu182  add -12345  0.01      -> -12345 Inexact Rounded
 | 
						|
rsu183  add -12345  0.1       -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu185  add -12346  0.49999   -> -12346 Inexact Rounded
 | 
						|
rsu186  add -12346  0.5       -> -12346 Inexact Rounded
 | 
						|
rsu187  add -12346  0.50001   -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu190  add -12345  0.4       -> -12345 Inexact Rounded
 | 
						|
rsu191  add -12345  0.49      -> -12345 Inexact Rounded
 | 
						|
rsu192  add -12345  0.499     -> -12345 Inexact Rounded
 | 
						|
rsu193  add -12345  0.49999   -> -12345 Inexact Rounded
 | 
						|
rsu194  add -12345  0.5       -> -12344 Inexact Rounded
 | 
						|
rsu195  add -12345  0.50001   -> -12344 Inexact Rounded
 | 
						|
rsu196  add -12345  0.5001    -> -12344 Inexact Rounded
 | 
						|
rsu197  add -12345  0.501     -> -12344 Inexact Rounded
 | 
						|
rsu198  add -12345  0.51      -> -12344 Inexact Rounded
 | 
						|
rsu199  add -12345  0.6       -> -12344 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_up
 | 
						|
 | 
						|
rsu200  add -12345 -0.1       -> -12345 Inexact Rounded
 | 
						|
rsu201  add -12345 -0.01      -> -12345 Inexact Rounded
 | 
						|
rsu202  add -12345 -0.001     -> -12345 Inexact Rounded
 | 
						|
rsu203  add -12345 -0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu204  add -12345 -0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu205  add -12345 -0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu206  add -12345  0         -> -12345
 | 
						|
rsu207  add -12345  0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu208  add -12345  0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu209  add -12345  0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu210  add -12345  0.0001    -> -12345 Inexact Rounded
 | 
						|
rsu211  add -12345  0.001     -> -12345 Inexact Rounded
 | 
						|
rsu212  add -12345  0.01      -> -12345 Inexact Rounded
 | 
						|
rsu213  add -12345  0.1       -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu215  add -12346  0.49999   -> -12346 Inexact Rounded
 | 
						|
rsu216  add -12346  0.5       -> -12346 Inexact Rounded
 | 
						|
rsu217  add -12346  0.50001   -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu220  add -12345  0.4       -> -12345 Inexact Rounded
 | 
						|
rsu221  add -12345  0.49      -> -12345 Inexact Rounded
 | 
						|
rsu222  add -12345  0.499     -> -12345 Inexact Rounded
 | 
						|
rsu223  add -12345  0.49999   -> -12345 Inexact Rounded
 | 
						|
rsu224  add -12345  0.5       -> -12345 Inexact Rounded
 | 
						|
rsu225  add -12345  0.50001   -> -12344 Inexact Rounded
 | 
						|
rsu226  add -12345  0.5001    -> -12344 Inexact Rounded
 | 
						|
rsu227  add -12345  0.501     -> -12344 Inexact Rounded
 | 
						|
rsu228  add -12345  0.51      -> -12344 Inexact Rounded
 | 
						|
rsu229  add -12345  0.6       -> -12344 Inexact Rounded
 | 
						|
 | 
						|
rounding: up
 | 
						|
 | 
						|
rsu230  add -12345 -0.1       -> -12346 Inexact Rounded
 | 
						|
rsu231  add -12345 -0.01      -> -12346 Inexact Rounded
 | 
						|
rsu232  add -12345 -0.001     -> -12346 Inexact Rounded
 | 
						|
rsu233  add -12345 -0.00001   -> -12346 Inexact Rounded
 | 
						|
rsu234  add -12345 -0.000001  -> -12346 Inexact Rounded
 | 
						|
rsu235  add -12345 -0.0000001 -> -12346 Inexact Rounded
 | 
						|
rsu236  add -12345  0         -> -12345
 | 
						|
rsu237  add -12345  0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu238  add -12345  0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu239  add -12345  0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu240  add -12345  0.0001    -> -12345 Inexact Rounded
 | 
						|
rsu241  add -12345  0.001     -> -12345 Inexact Rounded
 | 
						|
rsu242  add -12345  0.01      -> -12345 Inexact Rounded
 | 
						|
rsu243  add -12345  0.1       -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu245  add -12346  0.49999   -> -12346 Inexact Rounded
 | 
						|
rsu246  add -12346  0.5       -> -12346 Inexact Rounded
 | 
						|
rsu247  add -12346  0.50001   -> -12346 Inexact Rounded
 | 
						|
 | 
						|
rsu250  add -12345  0.4       -> -12345 Inexact Rounded
 | 
						|
rsu251  add -12345  0.49      -> -12345 Inexact Rounded
 | 
						|
rsu252  add -12345  0.499     -> -12345 Inexact Rounded
 | 
						|
rsu253  add -12345  0.49999   -> -12345 Inexact Rounded
 | 
						|
rsu254  add -12345  0.5       -> -12345 Inexact Rounded
 | 
						|
rsu255  add -12345  0.50001   -> -12345 Inexact Rounded
 | 
						|
rsu256  add -12345  0.5001    -> -12345 Inexact Rounded
 | 
						|
rsu257  add -12345  0.501     -> -12345 Inexact Rounded
 | 
						|
rsu258  add -12345  0.51      -> -12345 Inexact Rounded
 | 
						|
rsu259  add -12345  0.6       -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rounding: floor
 | 
						|
 | 
						|
rsu300  add -12345 -0.1       -> -12346 Inexact Rounded
 | 
						|
rsu301  add -12345 -0.01      -> -12346 Inexact Rounded
 | 
						|
rsu302  add -12345 -0.001     -> -12346 Inexact Rounded
 | 
						|
rsu303  add -12345 -0.00001   -> -12346 Inexact Rounded
 | 
						|
rsu304  add -12345 -0.000001  -> -12346 Inexact Rounded
 | 
						|
rsu305  add -12345 -0.0000001 -> -12346 Inexact Rounded
 | 
						|
rsu306  add -12345  0         -> -12345
 | 
						|
rsu307  add -12345  0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu308  add -12345  0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu309  add -12345  0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu310  add -12345  0.0001    -> -12345 Inexact Rounded
 | 
						|
rsu311  add -12345  0.001     -> -12345 Inexact Rounded
 | 
						|
rsu312  add -12345  0.01      -> -12345 Inexact Rounded
 | 
						|
rsu313  add -12345  0.1       -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu315  add -12346  0.49999   -> -12346 Inexact Rounded
 | 
						|
rsu316  add -12346  0.5       -> -12346 Inexact Rounded
 | 
						|
rsu317  add -12346  0.50001   -> -12346 Inexact Rounded
 | 
						|
 | 
						|
rsu320  add -12345  0.4       -> -12345 Inexact Rounded
 | 
						|
rsu321  add -12345  0.49      -> -12345 Inexact Rounded
 | 
						|
rsu322  add -12345  0.499     -> -12345 Inexact Rounded
 | 
						|
rsu323  add -12345  0.49999   -> -12345 Inexact Rounded
 | 
						|
rsu324  add -12345  0.5       -> -12345 Inexact Rounded
 | 
						|
rsu325  add -12345  0.50001   -> -12345 Inexact Rounded
 | 
						|
rsu326  add -12345  0.5001    -> -12345 Inexact Rounded
 | 
						|
rsu327  add -12345  0.501     -> -12345 Inexact Rounded
 | 
						|
rsu328  add -12345  0.51      -> -12345 Inexact Rounded
 | 
						|
rsu329  add -12345  0.6       -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rounding: ceiling
 | 
						|
 | 
						|
rsu330  add -12345 -0.1       -> -12345 Inexact Rounded
 | 
						|
rsu331  add -12345 -0.01      -> -12345 Inexact Rounded
 | 
						|
rsu332  add -12345 -0.001     -> -12345 Inexact Rounded
 | 
						|
rsu333  add -12345 -0.00001   -> -12345 Inexact Rounded
 | 
						|
rsu334  add -12345 -0.000001  -> -12345 Inexact Rounded
 | 
						|
rsu335  add -12345 -0.0000001 -> -12345 Inexact Rounded
 | 
						|
rsu336  add -12345  0         -> -12345
 | 
						|
rsu337  add -12345  0.0000001 -> -12344 Inexact Rounded
 | 
						|
rsu338  add -12345  0.000001  -> -12344 Inexact Rounded
 | 
						|
rsu339  add -12345  0.00001   -> -12344 Inexact Rounded
 | 
						|
rsu340  add -12345  0.0001    -> -12344 Inexact Rounded
 | 
						|
rsu341  add -12345  0.001     -> -12344 Inexact Rounded
 | 
						|
rsu342  add -12345  0.01      -> -12344 Inexact Rounded
 | 
						|
rsu343  add -12345  0.1       -> -12344 Inexact Rounded
 | 
						|
 | 
						|
rsu345  add -12346  0.49999   -> -12345 Inexact Rounded
 | 
						|
rsu346  add -12346  0.5       -> -12345 Inexact Rounded
 | 
						|
rsu347  add -12346  0.50001   -> -12345 Inexact Rounded
 | 
						|
 | 
						|
rsu350  add -12345  0.4       -> -12344 Inexact Rounded
 | 
						|
rsu351  add -12345  0.49      -> -12344 Inexact Rounded
 | 
						|
rsu352  add -12345  0.499     -> -12344 Inexact Rounded
 | 
						|
rsu353  add -12345  0.49999   -> -12344 Inexact Rounded
 | 
						|
rsu354  add -12345  0.5       -> -12344 Inexact Rounded
 | 
						|
rsu355  add -12345  0.50001   -> -12344 Inexact Rounded
 | 
						|
rsu356  add -12345  0.5001    -> -12344 Inexact Rounded
 | 
						|
rsu357  add -12345  0.501     -> -12344 Inexact Rounded
 | 
						|
rsu358  add -12345  0.51      -> -12344 Inexact Rounded
 | 
						|
rsu359  add -12345  0.6       -> -12344 Inexact Rounded
 | 
						|
 | 
						|
-- Division operators -------------------------------------------------
 | 
						|
 | 
						|
rounding: down
 | 
						|
rdv101  divide 12345  1         ->  12345
 | 
						|
rdv102  divide 12345  1.0001    ->  12343 Inexact Rounded
 | 
						|
rdv103  divide 12345  1.001     ->  12332 Inexact Rounded
 | 
						|
rdv104  divide 12345  1.01      ->  12222 Inexact Rounded
 | 
						|
rdv105  divide 12345  1.1       ->  11222 Inexact Rounded
 | 
						|
rdv106  divide 12355  4         ->   3088.7 Inexact Rounded
 | 
						|
rdv107  divide 12345  4         ->   3086.2 Inexact Rounded
 | 
						|
rdv108  divide 12355  4.0001    ->   3088.6 Inexact Rounded
 | 
						|
rdv109  divide 12345  4.0001    ->   3086.1 Inexact Rounded
 | 
						|
rdv110  divide 12345  4.9       ->   2519.3 Inexact Rounded
 | 
						|
rdv111  divide 12345  4.99      ->   2473.9 Inexact Rounded
 | 
						|
rdv112  divide 12345  4.999     ->   2469.4 Inexact Rounded
 | 
						|
rdv113  divide 12345  4.9999    ->   2469 Inexact Rounded
 | 
						|
rdv114  divide 12345  5         ->   2469
 | 
						|
rdv115  divide 12345  5.0001    ->  2468.9 Inexact Rounded
 | 
						|
rdv116  divide 12345  5.001     ->  2468.5 Inexact Rounded
 | 
						|
rdv117  divide 12345  5.01      ->  2464 Inexact Rounded
 | 
						|
rdv118  divide 12345  5.1       ->  2420.5 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_down
 | 
						|
rdv201  divide 12345  1         ->  12345
 | 
						|
rdv202  divide 12345  1.0001    ->  12344 Inexact Rounded
 | 
						|
rdv203  divide 12345  1.001     ->  12333 Inexact Rounded
 | 
						|
rdv204  divide 12345  1.01      ->  12223 Inexact Rounded
 | 
						|
rdv205  divide 12345  1.1       ->  11223 Inexact Rounded
 | 
						|
rdv206  divide 12355  4         ->   3088.7 Inexact Rounded
 | 
						|
rdv207  divide 12345  4         ->   3086.2 Inexact Rounded
 | 
						|
rdv208  divide 12355  4.0001    ->   3088.7 Inexact Rounded
 | 
						|
rdv209  divide 12345  4.0001    ->   3086.2 Inexact Rounded
 | 
						|
rdv210  divide 12345  4.9       ->   2519.4 Inexact Rounded
 | 
						|
rdv211  divide 12345  4.99      ->   2473.9 Inexact Rounded
 | 
						|
rdv212  divide 12345  4.999     ->   2469.5 Inexact Rounded
 | 
						|
rdv213  divide 12345  4.9999    ->   2469 Inexact Rounded
 | 
						|
rdv214  divide 12345  5         ->   2469
 | 
						|
rdv215  divide 12345  5.0001    ->  2469 Inexact Rounded
 | 
						|
rdv216  divide 12345  5.001     ->  2468.5 Inexact Rounded
 | 
						|
rdv217  divide 12345  5.01      ->  2464.1 Inexact Rounded
 | 
						|
rdv218  divide 12345  5.1       ->  2420.6 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_even
 | 
						|
rdv301  divide 12345  1         ->  12345
 | 
						|
rdv302  divide 12345  1.0001    ->  12344 Inexact Rounded
 | 
						|
rdv303  divide 12345  1.001     ->  12333 Inexact Rounded
 | 
						|
rdv304  divide 12345  1.01      ->  12223 Inexact Rounded
 | 
						|
rdv305  divide 12345  1.1       ->  11223 Inexact Rounded
 | 
						|
rdv306  divide 12355  4         ->   3088.8 Inexact Rounded
 | 
						|
rdv307  divide 12345  4         ->   3086.2 Inexact Rounded
 | 
						|
rdv308  divide 12355  4.0001    ->   3088.7 Inexact Rounded
 | 
						|
rdv309  divide 12345  4.0001    ->   3086.2 Inexact Rounded
 | 
						|
rdv310  divide 12345  4.9       ->   2519.4 Inexact Rounded
 | 
						|
rdv311  divide 12345  4.99      ->   2473.9 Inexact Rounded
 | 
						|
rdv312  divide 12345  4.999     ->   2469.5 Inexact Rounded
 | 
						|
rdv313  divide 12345  4.9999    ->   2469 Inexact Rounded
 | 
						|
rdv314  divide 12345  5         ->   2469
 | 
						|
rdv315  divide 12345  5.0001    ->  2469 Inexact Rounded
 | 
						|
rdv316  divide 12345  5.001     ->  2468.5 Inexact Rounded
 | 
						|
rdv317  divide 12345  5.01      ->  2464.1 Inexact Rounded
 | 
						|
rdv318  divide 12345  5.1       ->  2420.6 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_up
 | 
						|
rdv401  divide 12345  1         ->  12345
 | 
						|
rdv402  divide 12345  1.0001    ->  12344 Inexact Rounded
 | 
						|
rdv403  divide 12345  1.001     ->  12333 Inexact Rounded
 | 
						|
rdv404  divide 12345  1.01      ->  12223 Inexact Rounded
 | 
						|
rdv405  divide 12345  1.1       ->  11223 Inexact Rounded
 | 
						|
rdv406  divide 12355  4         ->   3088.8 Inexact Rounded
 | 
						|
rdv407  divide 12345  4         ->   3086.3 Inexact Rounded
 | 
						|
rdv408  divide 12355  4.0001    ->   3088.7 Inexact Rounded
 | 
						|
rdv409  divide 12345  4.0001    ->   3086.2 Inexact Rounded
 | 
						|
rdv410  divide 12345  4.9       ->   2519.4 Inexact Rounded
 | 
						|
rdv411  divide 12345  4.99      ->   2473.9 Inexact Rounded
 | 
						|
rdv412  divide 12345  4.999     ->   2469.5 Inexact Rounded
 | 
						|
rdv413  divide 12345  4.9999    ->   2469 Inexact Rounded
 | 
						|
rdv414  divide 12345  5         ->   2469
 | 
						|
rdv415  divide 12345  5.0001    ->  2469 Inexact Rounded
 | 
						|
rdv416  divide 12345  5.001     ->  2468.5 Inexact Rounded
 | 
						|
rdv417  divide 12345  5.01      ->  2464.1 Inexact Rounded
 | 
						|
rdv418  divide 12345  5.1       ->  2420.6 Inexact Rounded
 | 
						|
 | 
						|
rounding: up
 | 
						|
rdv501  divide 12345  1         ->  12345
 | 
						|
rdv502  divide 12345  1.0001    ->  12344 Inexact Rounded
 | 
						|
rdv503  divide 12345  1.001     ->  12333 Inexact Rounded
 | 
						|
rdv504  divide 12345  1.01      ->  12223 Inexact Rounded
 | 
						|
rdv505  divide 12345  1.1       ->  11223 Inexact Rounded
 | 
						|
rdv506  divide 12355  4         ->   3088.8 Inexact Rounded
 | 
						|
rdv507  divide 12345  4         ->   3086.3 Inexact Rounded
 | 
						|
rdv508  divide 12355  4.0001    ->   3088.7 Inexact Rounded
 | 
						|
rdv509  divide 12345  4.0001    ->   3086.2 Inexact Rounded
 | 
						|
rdv510  divide 12345  4.9       ->   2519.4 Inexact Rounded
 | 
						|
rdv511  divide 12345  4.99      ->   2474 Inexact Rounded
 | 
						|
rdv512  divide 12345  4.999     ->   2469.5 Inexact Rounded
 | 
						|
rdv513  divide 12345  4.9999    ->   2469.1 Inexact Rounded
 | 
						|
rdv514  divide 12345  5         ->   2469
 | 
						|
rdv515  divide 12345  5.0001    ->  2469 Inexact Rounded
 | 
						|
rdv516  divide 12345  5.001     ->  2468.6 Inexact Rounded
 | 
						|
rdv517  divide 12345  5.01      ->  2464.1 Inexact Rounded
 | 
						|
rdv518  divide 12345  5.1       ->  2420.6 Inexact Rounded
 | 
						|
 | 
						|
rounding: floor
 | 
						|
rdv601  divide 12345  1         ->  12345
 | 
						|
rdv602  divide 12345  1.0001    ->  12343 Inexact Rounded
 | 
						|
rdv603  divide 12345  1.001     ->  12332 Inexact Rounded
 | 
						|
rdv604  divide 12345  1.01      ->  12222 Inexact Rounded
 | 
						|
rdv605  divide 12345  1.1       ->  11222 Inexact Rounded
 | 
						|
rdv606  divide 12355  4         ->   3088.7 Inexact Rounded
 | 
						|
rdv607  divide 12345  4         ->   3086.2 Inexact Rounded
 | 
						|
rdv608  divide 12355  4.0001    ->   3088.6 Inexact Rounded
 | 
						|
rdv609  divide 12345  4.0001    ->   3086.1 Inexact Rounded
 | 
						|
rdv610  divide 12345  4.9       ->   2519.3 Inexact Rounded
 | 
						|
rdv611  divide 12345  4.99      ->   2473.9 Inexact Rounded
 | 
						|
rdv612  divide 12345  4.999     ->   2469.4 Inexact Rounded
 | 
						|
rdv613  divide 12345  4.9999    ->   2469 Inexact Rounded
 | 
						|
rdv614  divide 12345  5         ->   2469
 | 
						|
rdv615  divide 12345  5.0001    ->  2468.9 Inexact Rounded
 | 
						|
rdv616  divide 12345  5.001     ->  2468.5 Inexact Rounded
 | 
						|
rdv617  divide 12345  5.01      ->  2464 Inexact Rounded
 | 
						|
rdv618  divide 12345  5.1       ->  2420.5 Inexact Rounded
 | 
						|
 | 
						|
rounding: ceiling
 | 
						|
rdv701  divide 12345  1         ->  12345
 | 
						|
rdv702  divide 12345  1.0001    ->  12344 Inexact Rounded
 | 
						|
rdv703  divide 12345  1.001     ->  12333 Inexact Rounded
 | 
						|
rdv704  divide 12345  1.01      ->  12223 Inexact Rounded
 | 
						|
rdv705  divide 12345  1.1       ->  11223 Inexact Rounded
 | 
						|
rdv706  divide 12355  4         ->   3088.8 Inexact Rounded
 | 
						|
rdv707  divide 12345  4         ->   3086.3 Inexact Rounded
 | 
						|
rdv708  divide 12355  4.0001    ->   3088.7 Inexact Rounded
 | 
						|
rdv709  divide 12345  4.0001    ->   3086.2 Inexact Rounded
 | 
						|
rdv710  divide 12345  4.9       ->   2519.4 Inexact Rounded
 | 
						|
rdv711  divide 12345  4.99      ->   2474 Inexact Rounded
 | 
						|
rdv712  divide 12345  4.999     ->   2469.5 Inexact Rounded
 | 
						|
rdv713  divide 12345  4.9999    ->   2469.1 Inexact Rounded
 | 
						|
rdv714  divide 12345  5         ->   2469
 | 
						|
rdv715  divide 12345  5.0001    ->  2469 Inexact Rounded
 | 
						|
rdv716  divide 12345  5.001     ->  2468.6 Inexact Rounded
 | 
						|
rdv717  divide 12345  5.01      ->  2464.1 Inexact Rounded
 | 
						|
rdv718  divide 12345  5.1       ->  2420.6 Inexact Rounded
 | 
						|
 | 
						|
-- [divideInteger and remainder unaffected]
 | 
						|
 | 
						|
-- Multiplication operator --------------------------------------------
 | 
						|
 | 
						|
rounding: down
 | 
						|
rmu101  multiply 12345  1         ->  12345
 | 
						|
rmu102  multiply 12345  1.0001    ->  12346 Inexact Rounded
 | 
						|
rmu103  multiply 12345  1.001     ->  12357 Inexact Rounded
 | 
						|
rmu104  multiply 12345  1.01      ->  12468 Inexact Rounded
 | 
						|
rmu105  multiply 12345  1.1       ->  13579 Inexact Rounded
 | 
						|
rmu106  multiply 12345  4         ->  49380
 | 
						|
rmu107  multiply 12345  4.0001    ->  49381 Inexact Rounded
 | 
						|
rmu108  multiply 12345  4.9       ->  60490 Inexact Rounded
 | 
						|
rmu109  multiply 12345  4.99      ->  61601 Inexact Rounded
 | 
						|
rmu110  multiply 12345  4.999     ->  61712 Inexact Rounded
 | 
						|
rmu111  multiply 12345  4.9999    ->  61723 Inexact Rounded
 | 
						|
rmu112  multiply 12345  5         ->  61725
 | 
						|
rmu113  multiply 12345  5.0001    ->  61726 Inexact Rounded
 | 
						|
rmu114  multiply 12345  5.001     ->  61737 Inexact Rounded
 | 
						|
rmu115  multiply 12345  5.01      ->  61848 Inexact Rounded
 | 
						|
rmu116  multiply 12345  12        ->  1.4814E+5 Rounded
 | 
						|
rmu117  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
 | 
						|
rmu118  multiply 12355  12        ->  1.4826E+5 Rounded
 | 
						|
rmu119  multiply 12355  13        ->  1.6061E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_down
 | 
						|
rmu201  multiply 12345  1         ->  12345
 | 
						|
rmu202  multiply 12345  1.0001    ->  12346 Inexact Rounded
 | 
						|
rmu203  multiply 12345  1.001     ->  12357 Inexact Rounded
 | 
						|
rmu204  multiply 12345  1.01      ->  12468 Inexact Rounded
 | 
						|
rmu205  multiply 12345  1.1       ->  13579 Inexact Rounded
 | 
						|
rmu206  multiply 12345  4         ->  49380
 | 
						|
rmu207  multiply 12345  4.0001    ->  49381 Inexact Rounded
 | 
						|
rmu208  multiply 12345  4.9       ->  60490 Inexact Rounded
 | 
						|
rmu209  multiply 12345  4.99      ->  61602 Inexact Rounded
 | 
						|
rmu210  multiply 12345  4.999     ->  61713 Inexact Rounded
 | 
						|
rmu211  multiply 12345  4.9999    ->  61724 Inexact Rounded
 | 
						|
rmu212  multiply 12345  5         ->  61725
 | 
						|
rmu213  multiply 12345  5.0001    ->  61726 Inexact Rounded
 | 
						|
rmu214  multiply 12345  5.001     ->  61737 Inexact Rounded
 | 
						|
rmu215  multiply 12345  5.01      ->  61848 Inexact Rounded
 | 
						|
rmu216  multiply 12345  12        ->  1.4814E+5 Rounded
 | 
						|
rmu217  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
 | 
						|
rmu218  multiply 12355  12        ->  1.4826E+5 Rounded
 | 
						|
rmu219  multiply 12355  13        ->  1.6061E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_even
 | 
						|
rmu301  multiply 12345  1         ->  12345
 | 
						|
rmu302  multiply 12345  1.0001    ->  12346 Inexact Rounded
 | 
						|
rmu303  multiply 12345  1.001     ->  12357 Inexact Rounded
 | 
						|
rmu304  multiply 12345  1.01      ->  12468 Inexact Rounded
 | 
						|
rmu305  multiply 12345  1.1       ->  13580 Inexact Rounded
 | 
						|
rmu306  multiply 12345  4         ->  49380
 | 
						|
rmu307  multiply 12345  4.0001    ->  49381 Inexact Rounded
 | 
						|
rmu308  multiply 12345  4.9       ->  60490 Inexact Rounded
 | 
						|
rmu309  multiply 12345  4.99      ->  61602 Inexact Rounded
 | 
						|
rmu310  multiply 12345  4.999     ->  61713 Inexact Rounded
 | 
						|
rmu311  multiply 12345  4.9999    ->  61724 Inexact Rounded
 | 
						|
rmu312  multiply 12345  5         ->  61725
 | 
						|
rmu313  multiply 12345  5.0001    ->  61726 Inexact Rounded
 | 
						|
rmu314  multiply 12345  5.001     ->  61737 Inexact Rounded
 | 
						|
rmu315  multiply 12345  5.01      ->  61848 Inexact Rounded
 | 
						|
rmu316  multiply 12345  12        ->  1.4814E+5 Rounded
 | 
						|
rmu317  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
 | 
						|
rmu318  multiply 12355  12        ->  1.4826E+5 Rounded
 | 
						|
rmu319  multiply 12355  13        ->  1.6062E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_up
 | 
						|
rmu401  multiply 12345  1         ->  12345
 | 
						|
rmu402  multiply 12345  1.0001    ->  12346 Inexact Rounded
 | 
						|
rmu403  multiply 12345  1.001     ->  12357 Inexact Rounded
 | 
						|
rmu404  multiply 12345  1.01      ->  12468 Inexact Rounded
 | 
						|
rmu405  multiply 12345  1.1       ->  13580 Inexact Rounded
 | 
						|
rmu406  multiply 12345  4         ->  49380
 | 
						|
rmu407  multiply 12345  4.0001    ->  49381 Inexact Rounded
 | 
						|
rmu408  multiply 12345  4.9       ->  60491 Inexact Rounded
 | 
						|
rmu409  multiply 12345  4.99      ->  61602 Inexact Rounded
 | 
						|
rmu410  multiply 12345  4.999     ->  61713 Inexact Rounded
 | 
						|
rmu411  multiply 12345  4.9999    ->  61724 Inexact Rounded
 | 
						|
rmu412  multiply 12345  5         ->  61725
 | 
						|
rmu413  multiply 12345  5.0001    ->  61726 Inexact Rounded
 | 
						|
rmu414  multiply 12345  5.001     ->  61737 Inexact Rounded
 | 
						|
rmu415  multiply 12345  5.01      ->  61848 Inexact Rounded
 | 
						|
rmu416  multiply 12345  12        ->  1.4814E+5 Rounded
 | 
						|
rmu417  multiply 12345  13        ->  1.6049E+5 Inexact Rounded
 | 
						|
rmu418  multiply 12355  12        ->  1.4826E+5 Rounded
 | 
						|
rmu419  multiply 12355  13        ->  1.6062E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: up
 | 
						|
rmu501  multiply 12345  1         ->  12345
 | 
						|
rmu502  multiply 12345  1.0001    ->  12347 Inexact Rounded
 | 
						|
rmu503  multiply 12345  1.001     ->  12358 Inexact Rounded
 | 
						|
rmu504  multiply 12345  1.01      ->  12469 Inexact Rounded
 | 
						|
rmu505  multiply 12345  1.1       ->  13580 Inexact Rounded
 | 
						|
rmu506  multiply 12345  4         ->  49380
 | 
						|
rmu507  multiply 12345  4.0001    ->  49382 Inexact Rounded
 | 
						|
rmu508  multiply 12345  4.9       ->  60491 Inexact Rounded
 | 
						|
rmu509  multiply 12345  4.99      ->  61602 Inexact Rounded
 | 
						|
rmu510  multiply 12345  4.999     ->  61713 Inexact Rounded
 | 
						|
rmu511  multiply 12345  4.9999    ->  61724 Inexact Rounded
 | 
						|
rmu512  multiply 12345  5         ->  61725
 | 
						|
rmu513  multiply 12345  5.0001    ->  61727 Inexact Rounded
 | 
						|
rmu514  multiply 12345  5.001     ->  61738 Inexact Rounded
 | 
						|
rmu515  multiply 12345  5.01      ->  61849 Inexact Rounded
 | 
						|
rmu516  multiply 12345  12        ->  1.4814E+5 Rounded
 | 
						|
rmu517  multiply 12345  13        ->  1.6049E+5 Inexact Rounded
 | 
						|
rmu518  multiply 12355  12        ->  1.4826E+5 Rounded
 | 
						|
rmu519  multiply 12355  13        ->  1.6062E+5 Inexact Rounded
 | 
						|
-- [rmu516 & rmu518] can surprise
 | 
						|
 | 
						|
rounding: floor
 | 
						|
rmu601  multiply 12345  1         ->  12345
 | 
						|
rmu602  multiply 12345  1.0001    ->  12346 Inexact Rounded
 | 
						|
rmu603  multiply 12345  1.001     ->  12357 Inexact Rounded
 | 
						|
rmu604  multiply 12345  1.01      ->  12468 Inexact Rounded
 | 
						|
rmu605  multiply 12345  1.1       ->  13579 Inexact Rounded
 | 
						|
rmu606  multiply 12345  4         ->  49380
 | 
						|
rmu607  multiply 12345  4.0001    ->  49381 Inexact Rounded
 | 
						|
rmu608  multiply 12345  4.9       ->  60490 Inexact Rounded
 | 
						|
rmu609  multiply 12345  4.99      ->  61601 Inexact Rounded
 | 
						|
rmu610  multiply 12345  4.999     ->  61712 Inexact Rounded
 | 
						|
rmu611  multiply 12345  4.9999    ->  61723 Inexact Rounded
 | 
						|
rmu612  multiply 12345  5         ->  61725
 | 
						|
rmu613  multiply 12345  5.0001    ->  61726 Inexact Rounded
 | 
						|
rmu614  multiply 12345  5.001     ->  61737 Inexact Rounded
 | 
						|
rmu615  multiply 12345  5.01      ->  61848 Inexact Rounded
 | 
						|
rmu616  multiply 12345  12        ->  1.4814E+5 Rounded
 | 
						|
rmu617  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
 | 
						|
rmu618  multiply 12355  12        ->  1.4826E+5 Rounded
 | 
						|
rmu619  multiply 12355  13        ->  1.6061E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: ceiling
 | 
						|
rmu701  multiply 12345  1         ->  12345
 | 
						|
rmu702  multiply 12345  1.0001    ->  12347 Inexact Rounded
 | 
						|
rmu703  multiply 12345  1.001     ->  12358 Inexact Rounded
 | 
						|
rmu704  multiply 12345  1.01      ->  12469 Inexact Rounded
 | 
						|
rmu705  multiply 12345  1.1       ->  13580 Inexact Rounded
 | 
						|
rmu706  multiply 12345  4         ->  49380
 | 
						|
rmu707  multiply 12345  4.0001    ->  49382 Inexact Rounded
 | 
						|
rmu708  multiply 12345  4.9       ->  60491 Inexact Rounded
 | 
						|
rmu709  multiply 12345  4.99      ->  61602 Inexact Rounded
 | 
						|
rmu710  multiply 12345  4.999     ->  61713 Inexact Rounded
 | 
						|
rmu711  multiply 12345  4.9999    ->  61724 Inexact Rounded
 | 
						|
rmu712  multiply 12345  5         ->  61725
 | 
						|
rmu713  multiply 12345  5.0001    ->  61727 Inexact Rounded
 | 
						|
rmu714  multiply 12345  5.001     ->  61738 Inexact Rounded
 | 
						|
rmu715  multiply 12345  5.01      ->  61849 Inexact Rounded
 | 
						|
rmu716  multiply 12345  12        ->  1.4814E+5 Rounded
 | 
						|
rmu717  multiply 12345  13        ->  1.6049E+5 Inexact Rounded
 | 
						|
rmu718  multiply 12355  12        ->  1.4826E+5 Rounded
 | 
						|
rmu719  multiply 12355  13        ->  1.6062E+5 Inexact Rounded
 | 
						|
 | 
						|
-- Power operator -----------------------------------------------------
 | 
						|
 | 
						|
rounding: down
 | 
						|
rpo101  power 12345  -5        ->  3.4877E-21 Inexact Rounded
 | 
						|
rpo102  power 12345  -4        ->  4.3056E-17 Inexact Rounded
 | 
						|
rpo103  power 12345  -3        ->  5.3152E-13 Inexact Rounded
 | 
						|
rpo104  power 12345  -2        ->  6.5617E-9 Inexact Rounded
 | 
						|
rpo105  power 12345  -1        ->  0.000081004 Inexact Rounded
 | 
						|
rpo106  power 12345  0         ->  1
 | 
						|
rpo107  power 12345  1         ->  12345
 | 
						|
rpo108  power 12345  2         ->  1.5239E+8 Inexact Rounded
 | 
						|
rpo109  power 12345  3         ->  1.8813E+12 Inexact Rounded
 | 
						|
rpo110  power 12345  4         ->  2.3225E+16 Inexact Rounded
 | 
						|
rpo111  power 12345  5         ->  2.8671E+20 Inexact Rounded
 | 
						|
rpo112  power   415  2         ->  1.7222E+5 Inexact Rounded
 | 
						|
rpo113  power    75  3         ->  4.2187E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_down
 | 
						|
rpo201  power 12345  -5        ->  3.4877E-21 Inexact Rounded
 | 
						|
rpo202  power 12345  -4        ->  4.3056E-17 Inexact Rounded
 | 
						|
rpo203  power 12345  -3        ->  5.3153E-13 Inexact Rounded
 | 
						|
rpo204  power 12345  -2        ->  6.5617E-9 Inexact Rounded
 | 
						|
rpo205  power 12345  -1        ->  0.000081004 Inexact Rounded
 | 
						|
rpo206  power 12345  0         ->  1
 | 
						|
rpo207  power 12345  1         ->  12345
 | 
						|
rpo208  power 12345  2         ->  1.524E+8 Inexact Rounded
 | 
						|
rpo209  power 12345  3         ->  1.8814E+12 Inexact Rounded
 | 
						|
rpo210  power 12345  4         ->  2.3225E+16 Inexact Rounded
 | 
						|
rpo211  power 12345  5         ->  2.8672E+20 Inexact Rounded
 | 
						|
rpo212  power   415  2         ->  1.7222E+5 Inexact Rounded
 | 
						|
rpo213  power    75  3         ->  4.2187E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_even
 | 
						|
rpo301  power 12345  -5        ->  3.4877E-21 Inexact Rounded
 | 
						|
rpo302  power 12345  -4        ->  4.3056E-17 Inexact Rounded
 | 
						|
rpo303  power 12345  -3        ->  5.3153E-13 Inexact Rounded
 | 
						|
rpo304  power 12345  -2        ->  6.5617E-9 Inexact Rounded
 | 
						|
rpo305  power 12345  -1        ->  0.000081004 Inexact Rounded
 | 
						|
rpo306  power 12345  0         ->  1
 | 
						|
rpo307  power 12345  1         ->  12345
 | 
						|
rpo308  power 12345  2         ->  1.524E+8 Inexact Rounded
 | 
						|
rpo309  power 12345  3         ->  1.8814E+12 Inexact Rounded
 | 
						|
rpo310  power 12345  4         ->  2.3225E+16 Inexact Rounded
 | 
						|
rpo311  power 12345  5         ->  2.8672E+20 Inexact Rounded
 | 
						|
rpo312  power   415  2         ->  1.7222E+5 Inexact Rounded
 | 
						|
rpo313  power    75  3         ->  4.2188E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: half_up
 | 
						|
rpo401  power 12345  -5        ->  3.4877E-21 Inexact Rounded
 | 
						|
rpo402  power 12345  -4        ->  4.3056E-17 Inexact Rounded
 | 
						|
rpo403  power 12345  -3        ->  5.3153E-13 Inexact Rounded
 | 
						|
rpo404  power 12345  -2        ->  6.5617E-9 Inexact Rounded
 | 
						|
rpo405  power 12345  -1        ->  0.000081004 Inexact Rounded
 | 
						|
rpo406  power 12345  0         ->  1
 | 
						|
rpo407  power 12345  1         ->  12345
 | 
						|
rpo408  power 12345  2         ->  1.524E+8 Inexact Rounded
 | 
						|
rpo409  power 12345  3         ->  1.8814E+12 Inexact Rounded
 | 
						|
rpo410  power 12345  4         ->  2.3225E+16 Inexact Rounded
 | 
						|
rpo411  power 12345  5         ->  2.8672E+20 Inexact Rounded
 | 
						|
rpo412  power   415  2         ->  1.7223E+5 Inexact Rounded
 | 
						|
rpo413  power    75  3         ->  4.2188E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: up
 | 
						|
rpo501  power 12345  -5        ->  3.4878E-21 Inexact Rounded
 | 
						|
rpo502  power 12345  -4        ->  4.3057E-17 Inexact Rounded
 | 
						|
rpo503  power 12345  -3        ->  5.3153E-13 Inexact Rounded
 | 
						|
rpo504  power 12345  -2        ->  6.5618E-9 Inexact Rounded
 | 
						|
rpo505  power 12345  -1        ->  0.000081005 Inexact Rounded
 | 
						|
rpo506  power 12345  0         ->  1
 | 
						|
rpo507  power 12345  1         ->  12345
 | 
						|
rpo508  power 12345  2         ->  1.524E+8 Inexact Rounded
 | 
						|
rpo509  power 12345  3         ->  1.8814E+12 Inexact Rounded
 | 
						|
rpo510  power 12345  4         ->  2.3226E+16 Inexact Rounded
 | 
						|
rpo511  power 12345  5         ->  2.8672E+20 Inexact Rounded
 | 
						|
rpo512  power   415  2         ->  1.7223E+5 Inexact Rounded
 | 
						|
rpo513  power    75  3         ->  4.2188E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: floor
 | 
						|
rpo601  power 12345  -5        ->  3.4877E-21 Inexact Rounded
 | 
						|
rpo602  power 12345  -4        ->  4.3056E-17 Inexact Rounded
 | 
						|
rpo603  power 12345  -3        ->  5.3152E-13 Inexact Rounded
 | 
						|
rpo604  power 12345  -2        ->  6.5617E-9 Inexact Rounded
 | 
						|
rpo605  power 12345  -1        ->  0.000081004 Inexact Rounded
 | 
						|
rpo606  power 12345  0         ->  1
 | 
						|
rpo607  power 12345  1         ->  12345
 | 
						|
rpo608  power 12345  2         ->  1.5239E+8 Inexact Rounded
 | 
						|
rpo609  power 12345  3         ->  1.8813E+12 Inexact Rounded
 | 
						|
rpo610  power 12345  4         ->  2.3225E+16 Inexact Rounded
 | 
						|
rpo611  power 12345  5         ->  2.8671E+20 Inexact Rounded
 | 
						|
rpo612  power   415  2         ->  1.7222E+5 Inexact Rounded
 | 
						|
rpo613  power    75  3         ->  4.2187E+5 Inexact Rounded
 | 
						|
 | 
						|
rounding: ceiling
 | 
						|
rpo701  power 12345  -5        ->  3.4878E-21 Inexact Rounded
 | 
						|
rpo702  power 12345  -4        ->  4.3057E-17 Inexact Rounded
 | 
						|
rpo703  power 12345  -3        ->  5.3153E-13 Inexact Rounded
 | 
						|
rpo704  power 12345  -2        ->  6.5618E-9 Inexact Rounded
 | 
						|
rpo705  power 12345  -1        ->  0.000081005 Inexact Rounded
 | 
						|
rpo706  power 12345  0         ->  1
 | 
						|
rpo707  power 12345  1         ->  12345
 | 
						|
rpo708  power 12345  2         ->  1.524E+8 Inexact Rounded
 | 
						|
rpo709  power 12345  3         ->  1.8814E+12 Inexact Rounded
 | 
						|
rpo710  power 12345  4         ->  2.3226E+16 Inexact Rounded
 | 
						|
rpo711  power 12345  5         ->  2.8672E+20 Inexact Rounded
 | 
						|
rpo712  power   415  2         ->  1.7223E+5 Inexact Rounded
 | 
						|
rpo713  power    75  3         ->  4.2188E+5 Inexact Rounded
 | 
						|
 |