diff options
Diffstat (limited to 'Lib/test/decimaltestdata/rounding.decTest')
| -rw-r--r-- | Lib/test/decimaltestdata/rounding.decTest | 1079 |
1 files changed, 1079 insertions, 0 deletions
diff --git a/Lib/test/decimaltestdata/rounding.decTest b/Lib/test/decimaltestdata/rounding.decTest new file mode 100644 index 0000000..3e279c7 --- /dev/null +++ b/Lib/test/decimaltestdata/rounding.decTest @@ -0,0 +1,1079 @@ +------------------------------------------------------------------------ +-- rounding.decTest -- decimal rounding modes testcases -- +-- Copyright (c) IBM Corporation, 1981, 2003. 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.38 + +-- 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: 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 + +rounding: half_down +rzex031 add 0 0 -> 0 +rzex032 add 0 -0 -> 0 +rzex033 add -0 0 -> 0 +rzex034 add -0 -0 -> -0 +rzex035 add 1 -1 -> 0 +rzex036 add -1 1 -> 0 +rzex037 add 1.5 -1.5 -> 0.0 +rzex038 add -1.5 1.5 -> 0.0 +rzex039 add 2 -2 -> 0 +rzex040 add -2 2 -> 0 + +rounding: half_even +rzex041 add 0 0 -> 0 +rzex042 add 0 -0 -> 0 +rzex043 add -0 0 -> 0 +rzex044 add -0 -0 -> -0 +rzex045 add 1 -1 -> 0 +rzex046 add -1 1 -> 0 +rzex047 add 1.5 -1.5 -> 0.0 +rzex048 add -1.5 1.5 -> 0.0 +rzex049 add 2 -2 -> 0 +rzex050 add -2 2 -> 0 + +rounding: floor +rzex051 add 0 0 -> 0 +rzex052 add 0 -0 -> -0 -- here are two 'curious' +rzex053 add -0 0 -> -0 -- +rzex054 add -0 -0 -> -0 +rzex055 add 1 -1 -> -0 -- here are the rest +rzex056 add -1 1 -> -0 -- .. +rzex057 add 1.5 -1.5 -> -0.0 -- .. +rzex058 add -1.5 1.5 -> -0.0 -- .. +rzex059 add 2 -2 -> -0 -- .. +rzex060 add -2 2 -> -0 -- .. + +rounding: ceiling +rzex061 add 0 0 -> 0 +rzex062 add 0 -0 -> 0 +rzex063 add -0 0 -> 0 +rzex064 add -0 -0 -> -0 +rzex065 add 1 -1 -> 0 +rzex066 add -1 1 -> 0 +rzex067 add 1.5 -1.5 -> 0.0 +rzex068 add -1.5 1.5 -> 0.0 +rzex069 add 2 -2 -> 0 +rzex070 add -2 2 -> 0 + + +-- Division operators ------------------------------------------------- + +rounding: down +rdvx101 divide 12345 1 -> 12345 +rdvx102 divide 12345 1.0001 -> 12343 Inexact Rounded +rdvx103 divide 12345 1.001 -> 12332 Inexact Rounded +rdvx104 divide 12345 1.01 -> 12222 Inexact Rounded +rdvx105 divide 12345 1.1 -> 11222 Inexact Rounded +rdvx106 divide 12355 4 -> 3088.7 Inexact Rounded +rdvx107 divide 12345 4 -> 3086.2 Inexact Rounded +rdvx108 divide 12355 4.0001 -> 3088.6 Inexact Rounded +rdvx109 divide 12345 4.0001 -> 3086.1 Inexact Rounded +rdvx110 divide 12345 4.9 -> 2519.3 Inexact Rounded +rdvx111 divide 12345 4.99 -> 2473.9 Inexact Rounded +rdvx112 divide 12345 4.999 -> 2469.4 Inexact Rounded +rdvx113 divide 12345 4.9999 -> 2469.0 Inexact Rounded +rdvx114 divide 12345 5 -> 2469 +rdvx115 divide 12345 5.0001 -> 2468.9 Inexact Rounded +rdvx116 divide 12345 5.001 -> 2468.5 Inexact Rounded +rdvx117 divide 12345 5.01 -> 2464.0 Inexact Rounded +rdvx118 divide 12345 5.1 -> 2420.5 Inexact Rounded + +rounding: half_down +rdvx201 divide 12345 1 -> 12345 +rdvx202 divide 12345 1.0001 -> 12344 Inexact Rounded +rdvx203 divide 12345 1.001 -> 12333 Inexact Rounded +rdvx204 divide 12345 1.01 -> 12223 Inexact Rounded +rdvx205 divide 12345 1.1 -> 11223 Inexact Rounded +rdvx206 divide 12355 4 -> 3088.7 Inexact Rounded +rdvx207 divide 12345 4 -> 3086.2 Inexact Rounded +rdvx208 divide 12355 4.0001 -> 3088.7 Inexact Rounded +rdvx209 divide 12345 4.0001 -> 3086.2 Inexact Rounded +rdvx210 divide 12345 4.9 -> 2519.4 Inexact Rounded +rdvx211 divide 12345 4.99 -> 2473.9 Inexact Rounded +rdvx212 divide 12345 4.999 -> 2469.5 Inexact Rounded +rdvx213 divide 12345 4.9999 -> 2469.0 Inexact Rounded +rdvx214 divide 12345 5 -> 2469 +rdvx215 divide 12345 5.0001 -> 2469.0 Inexact Rounded +rdvx216 divide 12345 5.001 -> 2468.5 Inexact Rounded +rdvx217 divide 12345 5.01 -> 2464.1 Inexact Rounded +rdvx218 divide 12345 5.1 -> 2420.6 Inexact Rounded + +rounding: half_even +rdvx301 divide 12345 1 -> 12345 +rdvx302 divide 12345 1.0001 -> 12344 Inexact Rounded +rdvx303 divide 12345 1.001 -> 12333 Inexact Rounded +rdvx304 divide 12345 1.01 -> 12223 Inexact Rounded +rdvx305 divide 12345 1.1 -> 11223 Inexact Rounded +rdvx306 divide 12355 4 -> 3088.8 Inexact Rounded +rdvx307 divide 12345 4 -> 3086.2 Inexact Rounded +rdvx308 divide 12355 4.0001 -> 3088.7 Inexact Rounded +rdvx309 divide 12345 4.0001 -> 3086.2 Inexact Rounded +rdvx310 divide 12345 4.9 -> 2519.4 Inexact Rounded +rdvx311 divide 12345 4.99 -> 2473.9 Inexact Rounded +rdvx312 divide 12345 4.999 -> 2469.5 Inexact Rounded +rdvx313 divide 12345 4.9999 -> 2469.0 Inexact Rounded +rdvx314 divide 12345 5 -> 2469 +rdvx315 divide 12345 5.0001 -> 2469.0 Inexact Rounded +rdvx316 divide 12345 5.001 -> 2468.5 Inexact Rounded +rdvx317 divide 12345 5.01 -> 2464.1 Inexact Rounded +rdvx318 divide 12345 5.1 -> 2420.6 Inexact Rounded + +rounding: half_up +rdvx401 divide 12345 1 -> 12345 +rdvx402 divide 12345 1.0001 -> 12344 Inexact Rounded +rdvx403 divide 12345 1.001 -> 12333 Inexact Rounded +rdvx404 divide 12345 1.01 -> 12223 Inexact Rounded +rdvx405 divide 12345 1.1 -> 11223 Inexact Rounded +rdvx406 divide 12355 4 -> 3088.8 Inexact Rounded +rdvx407 divide 12345 4 -> 3086.3 Inexact Rounded +rdvx408 divide 12355 4.0001 -> 3088.7 Inexact Rounded +rdvx409 divide 12345 4.0001 -> 3086.2 Inexact Rounded +rdvx410 divide 12345 4.9 -> 2519.4 Inexact Rounded +rdvx411 divide 12345 4.99 -> 2473.9 Inexact Rounded +rdvx412 divide 12345 4.999 -> 2469.5 Inexact Rounded +rdvx413 divide 12345 4.9999 -> 2469.0 Inexact Rounded +rdvx414 divide 12345 5 -> 2469 +rdvx415 divide 12345 5.0001 -> 2469.0 Inexact Rounded +rdvx416 divide 12345 5.001 -> 2468.5 Inexact Rounded +rdvx417 divide 12345 5.01 -> 2464.1 Inexact Rounded +rdvx418 divide 12345 5.1 -> 2420.6 Inexact Rounded + +rounding: up +rdvx501 divide 12345 1 -> 12345 +rdvx502 divide 12345 1.0001 -> 12344 Inexact Rounded +rdvx503 divide 12345 1.001 -> 12333 Inexact Rounded +rdvx504 divide 12345 1.01 -> 12223 Inexact Rounded +rdvx505 divide 12345 1.1 -> 11223 Inexact Rounded +rdvx506 divide 12355 4 -> 3088.8 Inexact Rounded +rdvx507 divide 12345 4 -> 3086.3 Inexact Rounded +rdvx508 divide 12355 4.0001 -> 3088.7 Inexact Rounded +rdvx509 divide 12345 4.0001 -> 3086.2 Inexact Rounded +rdvx510 divide 12345 4.9 -> 2519.4 Inexact Rounded +rdvx511 divide 12345 4.99 -> 2474.0 Inexact Rounded +rdvx512 divide 12345 4.999 -> 2469.5 Inexact Rounded +rdvx513 divide 12345 4.9999 -> 2469.1 Inexact Rounded +rdvx514 divide 12345 5 -> 2469 +rdvx515 divide 12345 5.0001 -> 2469.0 Inexact Rounded +rdvx516 divide 12345 5.001 -> 2468.6 Inexact Rounded +rdvx517 divide 12345 5.01 -> 2464.1 Inexact Rounded +rdvx518 divide 12345 5.1 -> 2420.6 Inexact Rounded + +rounding: floor +rdvx601 divide 12345 1 -> 12345 +rdvx602 divide 12345 1.0001 -> 12343 Inexact Rounded +rdvx603 divide 12345 1.001 -> 12332 Inexact Rounded +rdvx604 divide 12345 1.01 -> 12222 Inexact Rounded +rdvx605 divide 12345 1.1 -> 11222 Inexact Rounded +rdvx606 divide 12355 4 -> 3088.7 Inexact Rounded +rdvx607 divide 12345 4 -> 3086.2 Inexact Rounded +rdvx608 divide 12355 4.0001 -> 3088.6 Inexact Rounded +rdvx609 divide 12345 4.0001 -> 3086.1 Inexact Rounded +rdvx610 divide 12345 4.9 -> 2519.3 Inexact Rounded +rdvx611 divide 12345 4.99 -> 2473.9 Inexact Rounded +rdvx612 divide 12345 4.999 -> 2469.4 Inexact Rounded +rdvx613 divide 12345 4.9999 -> 2469.0 Inexact Rounded +rdvx614 divide 12345 5 -> 2469 +rdvx615 divide 12345 5.0001 -> 2468.9 Inexact Rounded +rdvx616 divide 12345 5.001 -> 2468.5 Inexact Rounded +rdvx617 divide 12345 5.01 -> 2464.0 Inexact Rounded +rdvx618 divide 12345 5.1 -> 2420.5 Inexact Rounded + +rounding: ceiling +rdvx701 divide 12345 1 -> 12345 +rdvx702 divide 12345 1.0001 -> 12344 Inexact Rounded +rdvx703 divide 12345 1.001 -> 12333 Inexact Rounded +rdvx704 divide 12345 1.01 -> 12223 Inexact Rounded +rdvx705 divide 12345 1.1 -> 11223 Inexact Rounded +rdvx706 divide 12355 4 -> 3088.8 Inexact Rounded +rdvx707 divide 12345 4 -> 3086.3 Inexact Rounded +rdvx708 divide 12355 4.0001 -> 3088.7 Inexact Rounded +rdvx709 divide 12345 4.0001 -> 3086.2 Inexact Rounded +rdvx710 divide 12345 4.9 -> 2519.4 Inexact Rounded +rdvx711 divide 12345 4.99 -> 2474.0 Inexact Rounded +rdvx712 divide 12345 4.999 -> 2469.5 Inexact Rounded +rdvx713 divide 12345 4.9999 -> 2469.1 Inexact Rounded +rdvx714 divide 12345 5 -> 2469 +rdvx715 divide 12345 5.0001 -> 2469.0 Inexact Rounded +rdvx716 divide 12345 5.001 -> 2468.6 Inexact Rounded +rdvx717 divide 12345 5.01 -> 2464.1 Inexact Rounded +rdvx718 divide 12345 5.1 -> 2420.6 Inexact Rounded + +-- [divideInteger and remainder unaffected] + +-- Multiplication operator -------------------------------------------- + +rounding: down +rmux101 multiply 12345 1 -> 12345 +rmux102 multiply 12345 1.0001 -> 12346 Inexact Rounded +rmux103 multiply 12345 1.001 -> 12357 Inexact Rounded +rmux104 multiply 12345 1.01 -> 12468 Inexact Rounded +rmux105 multiply 12345 1.1 -> 13579 Inexact Rounded +rmux106 multiply 12345 4 -> 49380 +rmux107 multiply 12345 4.0001 -> 49381 Inexact Rounded +rmux108 multiply 12345 4.9 -> 60490 Inexact Rounded +rmux109 multiply 12345 4.99 -> 61601 Inexact Rounded +rmux110 multiply 12345 4.999 -> 61712 Inexact Rounded +rmux111 multiply 12345 4.9999 -> 61723 Inexact Rounded +rmux112 multiply 12345 5 -> 61725 +rmux113 multiply 12345 5.0001 -> 61726 Inexact Rounded +rmux114 multiply 12345 5.001 -> 61737 Inexact Rounded +rmux115 multiply 12345 5.01 -> 61848 Inexact Rounded +rmux116 multiply 12345 12 -> 1.4814E+5 Rounded +rmux117 multiply 12345 13 -> 1.6048E+5 Inexact Rounded +rmux118 multiply 12355 12 -> 1.4826E+5 Rounded +rmux119 multiply 12355 13 -> 1.6061E+5 Inexact Rounded + +rounding: half_down +rmux201 multiply 12345 1 -> 12345 +rmux202 multiply 12345 1.0001 -> 12346 Inexact Rounded +rmux203 multiply 12345 1.001 -> 12357 Inexact Rounded +rmux204 multiply 12345 1.01 -> 12468 Inexact Rounded +rmux205 multiply 12345 1.1 -> 13579 Inexact Rounded +rmux206 multiply 12345 4 -> 49380 +rmux207 multiply 12345 4.0001 -> 49381 Inexact Rounded +rmux208 multiply 12345 4.9 -> 60490 Inexact Rounded +rmux209 multiply 12345 4.99 -> 61602 Inexact Rounded +rmux210 multiply 12345 4.999 -> 61713 Inexact Rounded +rmux211 multiply 12345 4.9999 -> 61724 Inexact Rounded +rmux212 multiply 12345 5 -> 61725 +rmux213 multiply 12345 5.0001 -> 61726 Inexact Rounded +rmux214 multiply 12345 5.001 -> 61737 Inexact Rounded +rmux215 multiply 12345 5.01 -> 61848 Inexact Rounded +rmux216 multiply 12345 12 -> 1.4814E+5 Rounded +rmux217 multiply 12345 13 -> 1.6048E+5 Inexact Rounded +rmux218 multiply 12355 12 -> 1.4826E+5 Rounded +rmux219 multiply 12355 13 -> 1.6061E+5 Inexact Rounded + +rounding: half_even +rmux301 multiply 12345 1 -> 12345 +rmux302 multiply 12345 1.0001 -> 12346 Inexact Rounded +rmux303 multiply 12345 1.001 -> 12357 Inexact Rounded +rmux304 multiply 12345 1.01 -> 12468 Inexact Rounded +rmux305 multiply 12345 1.1 -> 13580 Inexact Rounded +rmux306 multiply 12345 4 -> 49380 +rmux307 multiply 12345 4.0001 -> 49381 Inexact Rounded +rmux308 multiply 12345 4.9 -> 60490 Inexact Rounded +rmux309 multiply 12345 4.99 -> 61602 Inexact Rounded +rmux310 multiply 12345 4.999 -> 61713 Inexact Rounded +rmux311 multiply 12345 4.9999 -> 61724 Inexact Rounded +rmux312 multiply 12345 5 -> 61725 +rmux313 multiply 12345 5.0001 -> 61726 Inexact Rounded +rmux314 multiply 12345 5.001 -> 61737 Inexact Rounded +rmux315 multiply 12345 5.01 -> 61848 Inexact Rounded +rmux316 multiply 12345 12 -> 1.4814E+5 Rounded +rmux317 multiply 12345 13 -> 1.6048E+5 Inexact Rounded +rmux318 multiply 12355 12 -> 1.4826E+5 Rounded +rmux319 multiply 12355 13 -> 1.6062E+5 Inexact Rounded + +rounding: half_up +rmux401 multiply 12345 1 -> 12345 +rmux402 multiply 12345 1.0001 -> 12346 Inexact Rounded +rmux403 multiply 12345 1.001 -> 12357 Inexact Rounded +rmux404 multiply 12345 1.01 -> 12468 Inexact Rounded +rmux405 multiply 12345 1.1 -> 13580 Inexact Rounded +rmux406 multiply 12345 4 -> 49380 +rmux407 multiply 12345 4.0001 -> 49381 Inexact Rounded +rmux408 multiply 12345 4.9 -> 60491 Inexact Rounded +rmux409 multiply 12345 4.99 -> 61602 Inexact Rounded +rmux410 multiply 12345 4.999 -> 61713 Inexact Rounded +rmux411 multiply 12345 4.9999 -> 61724 Inexact Rounded +rmux412 multiply 12345 5 -> 61725 +rmux413 multiply 12345 5.0001 -> 61726 Inexact Rounded +rmux414 multiply 12345 5.001 -> 61737 Inexact Rounded +rmux415 multiply 12345 5.01 -> 61848 Inexact Rounded +rmux416 multiply 12345 12 -> 1.4814E+5 Rounded +rmux417 multiply 12345 13 -> 1.6049E+5 Inexact Rounded +rmux418 multiply 12355 12 -> 1.4826E+5 Rounded +rmux419 multiply 12355 13 -> 1.6062E+5 Inexact Rounded + +rounding: up +rmux501 multiply 12345 1 -> 12345 +rmux502 multiply 12345 1.0001 -> 12347 Inexact Rounded +rmux503 multiply 12345 1.001 -> 12358 Inexact Rounded +rmux504 multiply 12345 1.01 -> 12469 Inexact Rounded +rmux505 multiply 12345 1.1 -> 13580 Inexact Rounded +rmux506 multiply 12345 4 -> 49380 +rmux507 multiply 12345 4.0001 -> 49382 Inexact Rounded +rmux508 multiply 12345 4.9 -> 60491 Inexact Rounded +rmux509 multiply 12345 4.99 -> 61602 Inexact Rounded +rmux510 multiply 12345 4.999 -> 61713 Inexact Rounded +rmux511 multiply 12345 4.9999 -> 61724 Inexact Rounded +rmux512 multiply 12345 5 -> 61725 +rmux513 multiply 12345 5.0001 -> 61727 Inexact Rounded +rmux514 multiply 12345 5.001 -> 61738 Inexact Rounded +rmux515 multiply 12345 5.01 -> 61849 Inexact Rounded +rmux516 multiply 12345 12 -> 1.4814E+5 Rounded +rmux517 multiply 12345 13 -> 1.6049E+5 Inexact Rounded +rmux518 multiply 12355 12 -> 1.4826E+5 Rounded +rmux519 multiply 12355 13 -> 1.6062E+5 Inexact Rounded +-- [rmux516 & rmux518] can surprise + +rounding: floor +rmux601 multiply 12345 1 -> 12345 +rmux602 multiply 12345 1.0001 -> 12346 Inexact Rounded +rmux603 multiply 12345 1.001 -> 12357 Inexact Rounded +rmux604 multiply 12345 1.01 -> 12468 Inexact Rounded +rmux605 multiply 12345 1.1 -> 13579 Inexact Rounded +rmux606 multiply 12345 4 -> 49380 +rmux607 multiply 12345 4.0001 -> 49381 Inexact Rounded +rmux608 multiply 12345 4.9 -> 60490 Inexact Rounded +rmux609 multiply 12345 4.99 -> 61601 Inexact Rounded +rmux610 multiply 12345 4.999 -> 61712 Inexact Rounded +rmux611 multiply 12345 4.9999 -> 61723 Inexact Rounded +rmux612 multiply 12345 5 -> 61725 +rmux613 multiply 12345 5.0001 -> 61726 Inexact Rounded +rmux614 multiply 12345 5.001 -> 61737 Inexact Rounded +rmux615 multiply 12345 5.01 -> 61848 Inexact Rounded +rmux616 multiply 12345 12 -> 1.4814E+5 Rounded +rmux617 multiply 12345 13 -> 1.6048E+5 Inexact Rounded +rmux618 multiply 12355 12 -> 1.4826E+5 Rounded +rmux619 multiply 12355 13 -> 1.6061E+5 Inexact Rounded + +rounding: ceiling +rmux701 multiply 12345 1 -> 12345 +rmux702 multiply 12345 1.0001 -> 12347 Inexact Rounded +rmux703 multiply 12345 1.001 -> 12358 Inexact Rounded +rmux704 multiply 12345 1.01 -> 12469 Inexact Rounded +rmux705 multiply 12345 1.1 -> 13580 Inexact Rounded +rmux706 multiply 12345 4 -> 49380 +rmux707 multiply 12345 4.0001 -> 49382 Inexact Rounded +rmux708 multiply 12345 4.9 -> 60491 Inexact Rounded +rmux709 multiply 12345 4.99 -> 61602 Inexact Rounded +rmux710 multiply 12345 4.999 -> 61713 Inexact Rounded +rmux711 multiply 12345 4.9999 -> 61724 Inexact Rounded +rmux712 multiply 12345 5 -> 61725 +rmux713 multiply 12345 5.0001 -> 61727 Inexact Rounded +rmux714 multiply 12345 5.001 -> 61738 Inexact Rounded +rmux715 multiply 12345 5.01 -> 61849 Inexact Rounded +rmux716 multiply 12345 12 -> 1.4814E+5 Rounded +rmux717 multiply 12345 13 -> 1.6049E+5 Inexact Rounded +rmux718 multiply 12355 12 -> 1.4826E+5 Rounded +rmux719 multiply 12355 13 -> 1.6062E+5 Inexact Rounded + +-- Power operator ----------------------------------------------------- + +rounding: down +rpox101 power 12345 -5 -> 3.4877E-21 Inexact Rounded +rpox102 power 12345 -4 -> 4.3056E-17 Inexact Rounded +rpox103 power 12345 -3 -> 5.3152E-13 Inexact Rounded +rpox104 power 12345 -2 -> 6.5617E-9 Inexact Rounded +rpox105 power 12345 -1 -> 0.000081004 Inexact Rounded +rpox106 power 12345 0 -> 1 +rpox107 power 12345 1 -> 12345 +rpox108 power 12345 2 -> 1.5239E+8 Inexact Rounded +rpox109 power 12345 3 -> 1.8813E+12 Inexact Rounded +rpox110 power 12345 4 -> 2.3225E+16 Inexact Rounded +rpox111 power 12345 5 -> 2.8671E+20 Inexact Rounded +rpox112 power 415 2 -> 1.7222E+5 Inexact Rounded +rpox113 power 75 3 -> 4.2187E+5 Inexact Rounded + +rounding: half_down +rpox201 power 12345 -5 -> 3.4877E-21 Inexact Rounded +rpox202 power 12345 -4 -> 4.3056E-17 Inexact Rounded +rpox203 power 12345 -3 -> 5.3153E-13 Inexact Rounded +rpox204 power 12345 -2 -> 6.5617E-9 Inexact Rounded +rpox205 power 12345 -1 -> 0.000081004 Inexact Rounded +rpox206 power 12345 0 -> 1 +rpox207 power 12345 1 -> 12345 +rpox208 power 12345 2 -> 1.5240E+8 Inexact Rounded +rpox209 power 12345 3 -> 1.8814E+12 Inexact Rounded +rpox210 power 12345 4 -> 2.3225E+16 Inexact Rounded +rpox211 power 12345 5 -> 2.8672E+20 Inexact Rounded +rpox212 power 415 2 -> 1.7222E+5 Inexact Rounded +rpox213 power 75 3 -> 4.2187E+5 Inexact Rounded + +rounding: half_even +rpox301 power 12345 -5 -> 3.4877E-21 Inexact Rounded +rpox302 power 12345 -4 -> 4.3056E-17 Inexact Rounded +rpox303 power 12345 -3 -> 5.3153E-13 Inexact Rounded +rpox304 power 12345 -2 -> 6.5617E-9 Inexact Rounded +rpox305 power 12345 -1 -> 0.000081004 Inexact Rounded +rpox306 power 12345 0 -> 1 +rpox307 power 12345 1 -> 12345 +rpox308 power 12345 2 -> 1.5240E+8 Inexact Rounded +rpox309 power 12345 3 -> 1.8814E+12 Inexact Rounded +rpox310 power 12345 4 -> 2.3225E+16 Inexact Rounded +rpox311 power 12345 5 -> 2.8672E+20 Inexact Rounded +rpox312 power 415 2 -> 1.7222E+5 Inexact Rounded +rpox313 power 75 3 -> 4.2188E+5 Inexact Rounded + +rounding: half_up +rpox401 power 12345 -5 -> 3.4877E-21 Inexact Rounded +rpox402 power 12345 -4 -> 4.3056E-17 Inexact Rounded +rpox403 power 12345 -3 -> 5.3153E-13 Inexact Rounded +rpox404 power 12345 -2 -> 6.5617E-9 Inexact Rounded +rpox405 power 12345 -1 -> 0.000081004 Inexact Rounded +rpox406 power 12345 0 -> 1 +rpox407 power 12345 1 -> 12345 +rpox408 power 12345 2 -> 1.5240E+8 Inexact Rounded +rpox409 power 12345 3 -> 1.8814E+12 Inexact Rounded +rpox410 power 12345 4 -> 2.3225E+16 Inexact Rounded +rpox411 power 12345 5 -> 2.8672E+20 Inexact Rounded +rpox412 power 415 2 -> 1.7223E+5 Inexact Rounded +rpox413 power 75 3 -> 4.2188E+5 Inexact Rounded + +rounding: up +rpox501 power 12345 -5 -> 3.4878E-21 Inexact Rounded +rpox502 power 12345 -4 -> 4.3057E-17 Inexact Rounded +rpox503 power 12345 -3 -> 5.3153E-13 Inexact Rounded +rpox504 power 12345 -2 -> 6.5618E-9 Inexact Rounded +rpox505 power 12345 -1 -> 0.000081005 Inexact Rounded +rpox506 power 12345 0 -> 1 +rpox507 power 12345 1 -> 12345 +rpox508 power 12345 2 -> 1.5240E+8 Inexact Rounded +rpox509 power 12345 3 -> 1.8814E+12 Inexact Rounded +rpox510 power 12345 4 -> 2.3226E+16 Inexact Rounded +rpox511 power 12345 5 -> 2.8672E+20 Inexact Rounded +rpox512 power 415 2 -> 1.7223E+5 Inexact Rounded +rpox513 power 75 3 -> 4.2188E+5 Inexact Rounded + +rounding: floor +rpox601 power 12345 -5 -> 3.4877E-21 Inexact Rounded +rpox602 power 12345 -4 -> 4.3056E-17 Inexact Rounded +rpox603 power 12345 -3 -> 5.3152E-13 Inexact Rounded +rpox604 power 12345 -2 -> 6.5617E-9 Inexact Rounded +rpox605 power 12345 -1 -> 0.000081004 Inexact Rounded +rpox606 power 12345 0 -> 1 +rpox607 power 12345 1 -> 12345 +rpox608 power 12345 2 -> 1.5239E+8 Inexact Rounded +rpox609 power 12345 3 -> 1.8813E+12 Inexact Rounded +rpox610 power 12345 4 -> 2.3225E+16 Inexact Rounded +rpox611 power 12345 5 -> 2.8671E+20 Inexact Rounded +rpox612 power 415 2 -> 1.7222E+5 Inexact Rounded +rpox613 power 75 3 -> 4.2187E+5 Inexact Rounded + +rounding: ceiling +rpox701 power 12345 -5 -> 3.4878E-21 Inexact Rounded +rpox702 power 12345 -4 -> 4.3057E-17 Inexact Rounded +rpox703 power 12345 -3 -> 5.3153E-13 Inexact Rounded +rpox704 power 12345 -2 -> 6.5618E-9 Inexact Rounded +rpox705 power 12345 -1 -> 0.000081005 Inexact Rounded +rpox706 power 12345 0 -> 1 +rpox707 power 12345 1 -> 12345 +rpox708 power 12345 2 -> 1.5240E+8 Inexact Rounded +rpox709 power 12345 3 -> 1.8814E+12 Inexact Rounded +rpox710 power 12345 4 -> 2.3226E+16 Inexact Rounded +rpox711 power 12345 5 -> 2.8672E+20 Inexact Rounded +rpox712 power 415 2 -> 1.7223E+5 Inexact Rounded +rpox713 power 75 3 -> 4.2188E+5 Inexact Rounded + +-- Underflow Subnormal and overflow values vary with rounding mode and sign +maxexponent: 999999999 +minexponent: -999999999 +rounding: down +rovx100 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded +rovx101 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded +rovx102 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded +rovx104 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded + +rounding: up +rovx110 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded +rovx111 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded +rovx112 divide 1E-9 9E+999999999 -> 1E-1000000003 Underflow Subnormal Inexact Rounded +rovx114 divide -1E-9 9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded + +rounding: ceiling +rovx120 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded +rovx121 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded +rovx122 divide 1E-9 9E+999999999 -> 1E-1000000003 Underflow Subnormal Inexact Rounded +rovx124 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded + +rounding: floor +rovx130 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded +rovx131 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded +rovx132 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded +rovx134 divide -1E-9 9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded + +rounding: half_up +rovx140 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded +rovx141 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded +rovx142 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded +rovx144 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded + +rounding: half_even +rovx150 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded +rovx151 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded +rovx152 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded +rovx154 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded + +rounding: half_down +rovx160 multiply 10 9E+999999999 -> Infinity Overflow Inexact Rounded +rovx161 multiply -10 9E+999999999 -> -Infinity Overflow Inexact Rounded +rovx162 divide 1E-9 9E+999999999 -> 0E-1000000003 Underflow Subnormal Inexact Rounded +rovx164 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded + +-- check maximum finite value over a range of precisions +rounding: down +precision: 1 +rovx200 multiply 10 9E+999999999 -> 9E+999999999 Overflow Inexact Rounded +rovx201 multiply -10 9E+999999999 -> -9E+999999999 Overflow Inexact Rounded +precision: 2 +rovx210 multiply 10 9E+999999999 -> 9.9E+999999999 Overflow Inexact Rounded +rovx211 multiply -10 9E+999999999 -> -9.9E+999999999 Overflow Inexact Rounded +precision: 3 +rovx220 multiply 10 9E+999999999 -> 9.99E+999999999 Overflow Inexact Rounded +rovx221 multiply -10 9E+999999999 -> -9.99E+999999999 Overflow Inexact Rounded +precision: 4 +rovx230 multiply 10 9E+999999999 -> 9.999E+999999999 Overflow Inexact Rounded +rovx231 multiply -10 9E+999999999 -> -9.999E+999999999 Overflow Inexact Rounded +precision: 5 +rovx240 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded +rovx241 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded +precision: 6 +rovx250 multiply 10 9E+999999999 -> 9.99999E+999999999 Overflow Inexact Rounded +rovx251 multiply -10 9E+999999999 -> -9.99999E+999999999 Overflow Inexact Rounded +precision: 7 +rovx260 multiply 10 9E+999999999 -> 9.999999E+999999999 Overflow Inexact Rounded +rovx261 multiply -10 9E+999999999 -> -9.999999E+999999999 Overflow Inexact Rounded +precision: 8 +rovx270 multiply 10 9E+999999999 -> 9.9999999E+999999999 Overflow Inexact Rounded +rovx271 multiply -10 9E+999999999 -> -9.9999999E+999999999 Overflow Inexact Rounded +precision: 9 +rovx280 multiply 10 9E+999999999 -> 9.99999999E+999999999 Overflow Inexact Rounded +rovx281 multiply -10 9E+999999999 -> -9.99999999E+999999999 Overflow Inexact Rounded +precision: 10 +rovx290 multiply 10 9E+999999999 -> 9.999999999E+999999999 Overflow Inexact Rounded +rovx291 multiply -10 9E+999999999 -> -9.999999999E+999999999 Overflow Inexact Rounded + +-- reprise rounding mode effect (using multiplies so precision directive used) +precision: 9 +maxexponent: 999999999 +rounding: half_up +rmex400 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded +rmex401 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded +rounding: half_down +rmex402 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded +rmex403 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded +rounding: half_even +rmex404 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded +rmex405 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded +rounding: floor +rmex406 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded +rmex407 multiply 9.999E+999999999 10 -> 9.99999999E+999999999 Overflow Inexact Rounded +rounding: ceiling +rmex408 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded +rmex409 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded +rounding: up +rmex410 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded +rmex411 multiply 9.999E+999999999 10 -> Infinity Overflow Inexact Rounded +rounding: down +rmex412 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded +rmex413 multiply 9.999E+999999999 10 -> 9.99999999E+999999999 Overflow Inexact Rounded + |