------------------------------------------------------------------------ -- rounding.decTest -- decimal rounding modes testcases -- -- Copyright (c) IBM Corporation, 1981, 2007. 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.56 -- These tests require that implementations take account of residues in -- order to get correct results for some rounding modes. Rather than -- single rounding tests we therefore need tests for most operators. -- [We do assume add/minus/plus/subtract are common paths, however, as -- is rounding of negatives (if the latter works for addition, assume it -- works for the others, too).] -- -- Round-for-reround (05UP) is tested as a separate block, mostly for -- 'historical' reasons. -- -- Underflow Subnormal and overflow behaviours are tested under the -- individual operators. extended: 1 precision: 5 -- for easier visual inspection maxExponent: 999 minexponent: -999 -- Addition operators ------------------------------------------------- rounding: down radx100 add 12345 -0.1 -> 12344 Inexact Rounded radx101 add 12345 -0.01 -> 12344 Inexact Rounded radx102 add 12345 -0.001 -> 12344 Inexact Rounded radx103 add 12345 -0.00001 -> 12344 Inexact Rounded radx104 add 12345 -0.000001 -> 12344 Inexact Rounded radx105 add 12345 -0.0000001 -> 12344 Inexact Rounded radx106 add 12345 0 -> 12345 radx107 add 12345 0.0000001 -> 12345 Inexact Rounded radx108 add 12345 0.000001 -> 12345 Inexact Rounded radx109 add 12345 0.00001 -> 12345 Inexact Rounded radx110 add 12345 0.0001 -> 12345 Inexact Rounded radx111 add 12345 0.001 -> 12345 Inexact Rounded radx112 add 12345 0.01 -> 12345 Inexact Rounded radx113 add 12345 0.1 -> 12345 Inexact Rounded radx115 add 12346 0.49999 -> 12346 Inexact Rounded radx116 add 12346 0.5 -> 12346 Inexact Rounded radx117 add 12346 0.50001 -> 12346 Inexact Rounded radx120 add 12345 0.4 -> 12345 Inexact Rounded radx121 add 12345 0.49 -> 12345 Inexact Rounded radx122 add 12345 0.499 -> 12345 Inexact Rounded radx123 add 12345 0.49999 -> 12345 Inexact Rounded radx124 add 12345 0.5 -> 12345 Inexact Rounded radx125 add 12345 0.50001 -> 12345 Inexact Rounded radx126 add 12345 0.5001 -> 12345 Inexact Rounded radx127 add 12345 0.501 -> 12345 Inexact Rounded radx128 add 12345 0.51 -> 12345 Inexact Rounded radx129 add 12345 0.6 -> 12345 Inexact Rounded rounding: half_down radx140 add 12345 -0.1 -> 12345 Inexact Rounded radx141 add 12345 -0.01 -> 12345 Inexact Rounded radx142 add 12345 -0.001 -> 12345 Inexact Rounded radx143 add 12345 -0.00001 -> 12345 Inexact Rounded radx144 add 12345 -0.000001 -> 12345 Inexact Rounded radx145 add 12345 -0.0000001 -> 12345 Inexact Rounded radx146 add 12345 0 -> 12345 radx147 add 12345 0.0000001 -> 12345 Inexact Rounded radx148 add 12345 0.000001 -> 12345 Inexact Rounded radx149 add 12345 0.00001 -> 12345 Inexact Rounded radx150 add 12345 0.0001 -> 12345 Inexact Rounded radx151 add 12345 0.001 -> 12345 Inexact Rounded radx152 add 12345 0.01 -> 12345 Inexact Rounded radx153 add 12345 0.1 -> 12345 Inexact Rounded radx155 add 12346 0.49999 -> 12346 Inexact Rounded radx156 add 12346 0.5 -> 12346 Inexact Rounded radx157 add 12346 0.50001 -> 12347 Inexact Rounded radx160 add 12345 0.4 -> 12345 Inexact Rounded radx161 add 12345 0.49 -> 12345 Inexact Rounded radx162 add 12345 0.499 -> 12345 Inexact Rounded radx163 add 12345 0.49999 -> 12345 Inexact Rounded radx164 add 12345 0.5 -> 12345 Inexact Rounded radx165 add 12345 0.50001 -> 12346 Inexact Rounded radx166 add 12345 0.5001 -> 12346 Inexact Rounded radx167 add 12345 0.501 -> 12346 Inexact Rounded radx168 add 12345 0.51 -> 12346 Inexact Rounded radx169 add 12345 0.6 -> 12346 Inexact Rounded rounding: half_even radx170 add 12345 -0.1 -> 12345 Inexact Rounded radx171 add 12345 -0.01 -> 12345 Inexact Rounded radx172 add 12345 -0.001 -> 12345 Inexact Rounded radx173 add 12345 -0.00001 -> 12345 Inexact Rounded radx174 add 12345 -0.000001 -> 12345 Inexact Rounded radx175 add 12345 -0.0000001 -> 12345 Inexact Rounded radx176 add 12345 0 -> 12345 radx177 add 12345 0.0000001 -> 12345 Inexact Rounded radx178 add 12345 0.000001 -> 12345 Inexact Rounded radx179 add 12345 0.00001 -> 12345 Inexact Rounded radx180 add 12345 0.0001 -> 12345 Inexact Rounded radx181 add 12345 0.001 -> 12345 Inexact Rounded radx182 add 12345 0.01 -> 12345 Inexact Rounded radx183 add 12345 0.1 -> 12345 Inexact Rounded radx185 add 12346 0.49999 -> 12346 Inexact Rounded radx186 add 12346 0.5 -> 12346 Inexact Rounded radx187 add 12346 0.50001 -> 12347 Inexact Rounded radx190 add 12345 0.4 -> 12345 Inexact Rounded radx191 add 12345 0.49 -> 12345 Inexact Rounded radx192 add 12345 0.499 -> 12345 Inexact Rounded radx193 add 12345 0.49999 -> 12345 Inexact Rounded radx194 add 12345 0.5 -> 12346 Inexact Rounded radx195 add 12345 0.50001 -> 12346 Inexact Rounded radx196 add 12345 0.5001 -> 12346 Inexact Rounded radx197 add 12345 0.501 -> 12346 Inexact Rounded radx198 add 12345 0.51 -> 12346 Inexact Rounded radx199 add 12345 0.6 -> 12346 Inexact Rounded rounding: half_up radx200 add 12345 -0.1 -> 12345 Inexact Rounded radx201 add 12345 -0.01 -> 12345 Inexact Rounded radx202 add 12345 -0.001 -> 12345 Inexact Rounded radx203 add 12345 -0.00001 -> 12345 Inexact Rounded radx204 add 12345 -0.000001 -> 12345 Inexact Rounded radx205 add 12345 -0.0000001 -> 12345 Inexact Rounded radx206 add 12345 0 -> 12345 radx207 add 12345 0.0000001 -> 12345 Inexact Rounded radx208 add 12345 0.000001 -> 12345 Inexact Rounded radx209 add 12345 0.00001 -> 12345 Inexact Rounded radx210 add 12345 0.0001 -> 12345 Inexact Rounded radx211 add 12345 0.001 -> 12345 Inexact Rounded radx212 add 12345 0.01 -> 12345 Inexact Rounded radx213 add 12345 0.1 -> 12345 Inexact Rounded radx215 add 12346 0.49999 -> 12346 Inexact Rounded radx216 add 12346 0.5 -> 12347 Inexact Rounded radx217 add 12346 0.50001 -> 12347 Inexact Rounded radx220 add 12345 0.4 -> 12345 Inexact Rounded radx221 add 12345 0.49 -> 12345 Inexact Rounded radx222 add 12345 0.499 -> 12345 Inexact Rounded radx223 add 12345 0.49999 -> 12345 Inexact Rounded radx224 add 12345 0.5 -> 12346 Inexact Rounded radx225 add 12345 0.50001 -> 12346 Inexact Rounded radx226 add 12345 0.5001 -> 12346 Inexact Rounded radx227 add 12345 0.501 -> 12346 Inexact Rounded radx228 add 12345 0.51 -> 12346 Inexact Rounded radx229 add 12345 0.6 -> 12346 Inexact Rounded rounding: up radx230 add 12345 -0.1 -> 12345 Inexact Rounded radx231 add 12345 -0.01 -> 12345 Inexact Rounded radx232 add 12345 -0.001 -> 12345 Inexact Rounded radx233 add 12345 -0.00001 -> 12345 Inexact Rounded radx234 add 12345 -0.000001 -> 12345 Inexact Rounded radx235 add 12345 -0.0000001 -> 12345 Inexact Rounded radx236 add 12345 0 -> 12345 radx237 add 12345 0.0000001 -> 12346 Inexact Rounded radx238 add 12345 0.000001 -> 12346 Inexact Rounded radx239 add 12345 0.00001 -> 12346 Inexact Rounded radx240 add 12345 0.0001 -> 12346 Inexact Rounded radx241 add 12345 0.001 -> 12346 Inexact Rounded radx242 add 12345 0.01 -> 12346 Inexact Rounded radx243 add 12345 0.1 -> 12346 Inexact Rounded radx245 add 12346 0.49999 -> 12347 Inexact Rounded radx246 add 12346 0.5 -> 12347 Inexact Rounded radx247 add 12346 0.50001 -> 12347 Inexact Rounded radx250 add 12345 0.4 -> 12346 Inexact Rounded radx251 add 12345 0.49 -> 12346 Inexact Rounded radx252 add 12345 0.499 -> 12346 Inexact Rounded radx253 add 12345 0.49999 -> 12346 Inexact Rounded radx254 add 12345 0.5 -> 12346 Inexact Rounded radx255 add 12345 0.50001 -> 12346 Inexact Rounded radx256 add 12345 0.5001 -> 12346 Inexact Rounded radx257 add 12345 0.501 -> 12346 Inexact Rounded radx258 add 12345 0.51 -> 12346 Inexact Rounded radx259 add 12345 0.6 -> 12346 Inexact Rounded rounding: floor radx300 add 12345 -0.1 -> 12344 Inexact Rounded radx301 add 12345 -0.01 -> 12344 Inexact Rounded radx302 add 12345 -0.001 -> 12344 Inexact Rounded radx303 add 12345 -0.00001 -> 12344 Inexact Rounded radx304 add 12345 -0.000001 -> 12344 Inexact Rounded radx305 add 12345 -0.0000001 -> 12344 Inexact Rounded radx306 add 12345 0 -> 12345 radx307 add 12345 0.0000001 -> 12345 Inexact Rounded radx308 add 12345 0.000001 -> 12345 Inexact Rounded radx309 add 12345 0.00001 -> 12345 Inexact Rounded radx310 add 12345 0.0001 -> 12345 Inexact Rounded radx311 add 12345 0.001 -> 12345 Inexact Rounded radx312 add 12345 0.01 -> 12345 Inexact Rounded radx313 add 12345 0.1 -> 12345 Inexact Rounded radx315 add 12346 0.49999 -> 12346 Inexact Rounded radx316 add 12346 0.5 -> 12346 Inexact Rounded radx317 add 12346 0.50001 -> 12346 Inexact Rounded radx320 add 12345 0.4 -> 12345 Inexact Rounded radx321 add 12345 0.49 -> 12345 Inexact Rounded radx322 add 12345 0.499 -> 12345 Inexact Rounded radx323 add 12345 0.49999 -> 12345 Inexact Rounded radx324 add 12345 0.5 -> 12345 Inexact Rounded radx325 add 12345 0.50001 -> 12345 Inexact Rounded radx326 add 12345 0.5001 -> 12345 Inexact Rounded radx327 add 12345 0.501 -> 12345 Inexact Rounded radx328 add 12345 0.51 -> 12345 Inexact Rounded radx329 add 12345 0.6 -> 12345 Inexact Rounded rounding: ceiling radx330 add 12345 -0.1 -> 12345 Inexact Rounded radx331 add 12345 -0.01 -> 12345 Inexact Rounded radx332 add 12345 -0.001 -> 12345 Inexact Rounded radx333 add 12345 -0.00001 -> 12345 Inexact Rounded radx334 add 12345 -0.000001 -> 12345 Inexact Rounded radx335 add 12345 -0.0000001 -> 12345 Inexact Rounded radx336 add 12345 0 -> 12345 radx337 add 12345 0.0000001 -> 12346 Inexact Rounded radx338 add 12345 0.000001 -> 12346 Inexact Rounded radx339 add 12345 0.00001 -> 12346 Inexact Rounded radx340 add 12345 0.0001 -> 12346 Inexact Rounded radx341 add 12345 0.001 -> 12346 Inexact Rounded radx342 add 12345 0.01 -> 12346 Inexact Rounded radx343 add 12345 0.1 -> 12346 Inexact Rounded radx345 add 12346 0.49999 -> 12347 Inexact Rounded radx346 add 12346 0.5 -> 12347 Inexact Rounded radx347 add 12346 0.50001 -> 12347 Inexact Rounded radx350 add 12345 0.4 -> 12346 Inexact Rounded radx351 add 12345 0.49 -> 12346 Inexact Rounded radx352 add 12345 0.499 -> 12346 Inexact Rounded radx353 add 12345 0.49999 -> 12346 Inexact Rounded radx354 add 12345 0.5 -> 12346 Inexact Rounded radx355 add 12345 0.50001 -> 12346 Inexact Rounded radx356 add 12345 0.5001 -> 12346 Inexact Rounded radx357 add 12345 0.501 -> 12346 Inexact Rounded radx358 add 12345 0.51 -> 12346 Inexact Rounded radx359 add 12345 0.6 -> 12346 Inexact Rounded -- negatives... rounding: down rsux100 add -12345 -0.1 -> -12345 Inexact Rounded rsux101 add -12345 -0.01 -> -12345 Inexact Rounded rsux102 add -12345 -0.001 -> -12345 Inexact Rounded rsux103 add -12345 -0.00001 -> -12345 Inexact Rounded rsux104 add -12345 -0.000001 -> -12345 Inexact Rounded rsux105 add -12345 -0.0000001 -> -12345 Inexact Rounded rsux106 add -12345 0 -> -12345 rsux107 add -12345 0.0000001 -> -12344 Inexact Rounded rsux108 add -12345 0.000001 -> -12344 Inexact Rounded rsux109 add -12345 0.00001 -> -12344 Inexact Rounded rsux110 add -12345 0.0001 -> -12344 Inexact Rounded rsux111 add -12345 0.001 -> -12344 Inexact Rounded rsux112 add -12345 0.01 -> -12344 Inexact Rounded rsux113 add -12345 0.1 -> -12344 Inexact Rounded rsux115 add -12346 0.49999 -> -12345 Inexact Rounded rsux116 add -12346 0.5 -> -12345 Inexact Rounded rsux117 add -12346 0.50001 -> -12345 Inexact Rounded rsux120 add -12345 0.4 -> -12344 Inexact Rounded rsux121 add -12345 0.49 -> -12344 Inexact Rounded rsux122 add -12345 0.499 -> -12344 Inexact Rounded rsux123 add -12345 0.49999 -> -12344 Inexact Rounded rsux124 add -12345 0.5 -> -12344 Inexact Rounded rsux125 add -12345 0.50001 -> -12344 Inexact Rounded rsux126 add -12345 0.5001 -> -12344 Inexact Rounded rsux127 add -12345 0.501 -> -12344 Inexact Rounded rsux128 add -12345 0.51 -> -12344 Inexact Rounded rsux129 add -12345 0.6 -> -12344 Inexact Rounded rounding: half_down rsux140 add -12345 -0.1 -> -12345 Inexact Rounded rsux141 add -12345 -0.01 -> -12345 Inexact Rounded rsux142 add -12345 -0.001 -> -12345 Inexact Rounded rsux143 add -12345 -0.00001 -> -12345 Inexact Rounded rsux144 add -12345 -0.000001 -> -12345 Inexact Rounded rsux145 add -12345 -0.0000001 -> -12345 Inexact Rounded rsux146 add -12345 0 -> -12345 rsux147 add -12345 0.0000001 -> -12345 Inexact Rounded rsux148 add -12345 0.000001 -> -12345 Inexact Rounded rsux149 add -12345 0.00001 -> -12345 Inexact Rounded rsux150 add -12345 0.0001 -> -12345 Inexact Rounded rsux151 add -12345 0.001 -> -12345 Inexact Rounded rsux152 add -12345 0.01 -> -12345 Inexact Rounded rsux153 add -12345 0.1 -> -12345 Inexact Rounded rsux155 add -12346 0.49999 -> -12346 Inexact Rounded rsux156 add -12346 0.5 -> -12345 Inexact Rounded rsux157 add -12346 0.50001 -> -12345 Inexact Rounded rsux160 add -12345 0.4 -> -12345 Inexact Rounded rsux161 add -12345 0.49 -> -12345 Inexact Rounded rsux162 add -12345 0.499 -> -12345 Inexact Rounded rsux163 add -12345 0.49999 -> -12345 Inexact Rounded rsux164 add -12345 0.5 -> -12344 Inexact Rounded rsux165 add -12345 0.50001 -> -12344 Inexact Rounded rsux166 add -12345 0.5001 -> -12344 Inexact Rounded rsux167 add -12345 0.501 -> -12344 Inexact Rounded rsux168 add -12345 0.51 -> -12344 Inexact Rounded rsux169 add -12345 0.6 -> -12344 Inexact Rounded rounding: half_even rsux170 add -12345 -0.1 -> -12345 Inexact Rounded rsux171 add -12345 -0.01 -> -12345 Inexact Rounded rsux172 add -12345 -0.001 -> -12345 Inexact Rounded rsux173 add -12345 -0.00001 -> -12345 Inexact Rounded rsux174 add -12345 -0.000001 -> -12345 Inexact Rounded rsux175 add -12345 -0.0000001 -> -12345 Inexact Rounded rsux176 add -12345 0 -> -12345 rsux177 add -12345 0.0000001 -> -12345 Inexact Rounded rsux178 add -12345 0.000001 -> -12345 Inexact Rounded rsux179 add -12345 0.00001 -> -12345 Inexact Rounded rsux180 add -12345 0.0001 -> -12345 Inexact Rounded rsux181 add -12345 0.001 -> -12345 Inexact Rounded rsux182 add -12345 0.01 -> -12345 Inexact Rounded rsux183 add -12345 0.1 -> -12345 Inexact Rounded rsux185 add -12346 0.49999 -> -12346 Inexact Rounded rsux186 add -12346 0.5 -> -12346 Inexact Rounded rsux187 add -12346 0.50001 -> -12345 Inexact Rounded rsux190 add -12345 0.4 -> -12345 Inexact Rounded rsux191 add -12345 0.49 -> -12345 Inexact Rounded rsux192 add -12345 0.499 -> -12345 Inexact Rounded rsux193 add -12345 0.49999 -> -12345 Inexact Rounded rsux194 add -12345 0.5 -> -12344 Inexact Rounded rsux195 add -12345 0.50001 -> -12344 Inexact Rounded rsux196 add -12345 0.5001 -> -12344 Inexact Rounded rsux197 add -12345 0.501 -> -12344 Inexact Rounded rsux198 add -12345 0.51 -> -12344 Inexact Rounded rsux199 add -12345 0.6 -> -12344 Inexact Rounded rounding: half_up rsux200 add -12345 -0.1 -> -12345 Inexact Rounded rsux201 add -12345 -0.01 -> -12345 Inexact Rounded rsux202 add -12345 -0.001 -> -12345 Inexact Rounded rsux203 add -12345 -0.00001 -> -12345 Inexact Rounded rsux204 add -12345 -0.000001 -> -12345 Inexact Rounded rsux205 add -12345 -0.0000001 -> -12345 Inexact Rounded rsux206 add -12345 0 -> -12345 rsux207 add -12345 0.0000001 -> -12345 Inexact Rounded rsux208 add -12345 0.000001 -> -12345 Inexact Rounded rsux209 add -12345 0.00001 -> -12345 Inexact Rounded rsux210 add -12345 0.0001 -> -12345 Inexact Rounded rsux211 add -12345 0.001 -> -12345 Inexact Rounded rsux212 add -12345 0.01 -> -12345 Inexact Rounded rsux213 add -12345 0.1 -> -12345 Inexact Rounded rsux215 add -12346 0.49999 -> -12346 Inexact Rounded rsux216 add -12346 0.5 -> -12346 Inexact Rounded rsux217 add -12346 0.50001 -> -12345 Inexact Rounded rsux220 add -12345 0.4 -> -12345 Inexact Rounded rsux221 add -12345 0.49 -> -12345 Inexact Rounded rsux222 add -12345 0.499 -> -12345 Inexact Rounded rsux223 add -12345 0.49999 -> -12345 Inexact Rounded rsux224 add -12345 0.5 -> -12345 Inexact Rounded rsux225 add -12345 0.50001 -> -12344 Inexact Rounded rsux226 add -12345 0.5001 -> -12344 Inexact Rounded rsux227 add -12345 0.501 -> -12344 Inexact Rounded rsux228 add -12345 0.51 -> -12344 Inexact Rounded rsux229 add -12345 0.6 -> -12344 Inexact Rounded rounding: up rsux230 add -12345 -0.1 -> -12346 Inexact Rounded rsux231 add -12345 -0.01 -> -12346 Inexact Rounded rsux232 add -12345 -0.001 -> -12346 Inexact Rounded rsux233 add -12345 -0.00001 -> -12346 Inexact Rounded rsux234 add -12345 -0.000001 -> -12346 Inexact Rounded rsux235 add -12345 -0.0000001 -> -12346 Inexact Rounded rsux236 add -12345 0 -> -12345 rsux237 add -12345 0.0000001 -> -12345 Inexact Rounded rsux238 add -12345 0.000001 -> -12345 Inexact Rounded rsux239 add -12345 0.00001 -> -12345 Inexact Rounded rsux240 add -12345 0.0001 -> -12345 Inexact Rounded rsux241 add -12345 0.001 -> -12345 Inexact Rounded rsux242 add -12345 0.01 -> -12345 Inexact Rounded rsux243 add -12345 0.1 -> -12345 Inexact Rounded rsux245 add -12346 0.49999 -> -12346 Inexact Rounded rsux246 add -12346 0.5 -> -12346 Inexact Rounded rsux247 add -12346 0.50001 -> -12346 Inexact Rounded rsux250 add -12345 0.4 -> -12345 Inexact Rounded rsux251 add -12345 0.49 -> -12345 Inexact Rounded rsux252 add -12345 0.499 -> -12345 Inexact Rounded rsux253 add -12345 0.49999 -> -12345 Inexact Rounded rsux254 add -12345 0.5 -> -12345 Inexact Rounded rsux255 add -12345 0.50001 -> -12345 Inexact Rounded rsux256 add -12345 0.5001 -> -12345 Inexact Rounded rsux257 add -12345 0.501 -> -12345 Inexact Rounded rsux258 add -12345 0.51 -> -12345 Inexact Rounded rsux259 add -12345 0.6 -> -12345 Inexact Rounded rounding: floor rsux300 add -12345 -0.1 -> -12346 Inexact Rounded rsux301 add -12345 -0.01 -> -12346 Inexact Rounded rsux302 add -12345 -0.001 -> -12346 Inexact Rounded rsux303 add -12345 -0.00001 -> -12346 Inexact Rounded rsux304 add -12345 -0.000001 -> -12346 Inexact Rounded rsux305 add -12345 -0.0000001 -> -12346 Inexact Rounded rsux306 add -12345 0 -> -12345 rsux307 add -12345 0.0000001 -> -12345 Inexact Rounded rsux308 add -12345 0.000001 -> -12345 Inexact Rounded rsux309 add -12345 0.00001 -> -12345 Inexact Rounded rsux310 add -12345 0.0001 -> -12345 Inexact Rounded rsux311 add -12345 0.001 -> -12345 Inexact Rounded rsux312 add -12345 0.01 -> -12345 Inexact Rounded rsux313 add -12345 0.1 -> -12345 Inexact Rounded rsux315 add -12346 0.49999 -> -12346 Inexact Rounded rsux316 add -12346 0.5 -> -12346 Inexact Rounded rsux317 add -12346 0.50001 -> -12346 Inexact Rounded rsux320 add -12345 0.4 -> -12345 Inexact Rounded rsux321 add -12345 0.49 -> -12345 Inexact Rounded rsux322 add -12345 0.499 -> -12345 Inexact Rounded rsux323 add -12345 0.49999 -> -12345 Inexact Rounded rsux324 add -12345 0.5 -> -12345 Inexact Rounded rsux325 add -12345 0.50001 -> -12345 Inexact Rounded rsux326 add -12345 0.5001 -> -12345 Inexact Rounded rsux327 add -12345 0.501 -> -12345 Inexact Rounded rsux328 add -12345 0.51 -> -12345 Inexact Rounded rsux329 add -12345 0.6 -> -12345 Inexact Rounded rounding: ceiling rsux330 add -12345 -0.1 -> -12345 Inexact Rounded rsux331 add -12345 -0.01 -> -12345 Inexact Rounded rsux332 add -12345 -0.001 -> -12345 Inexact Rounded rsux333 add -12345 -0.00001 -> -12345 Inexact Rounded rsux334 add -12345 -0.000001 -> -12345 Inexact Rounded rsux335 add -12345 -0.0000001 -> -12345 Inexact Rounded rsux336 add -12345 0 -> -12345 rsux337 add -12345 0.0000001 -> -12344 Inexact Rounded rsux338 add -12345 0.000001 -> -12344 Inexact Rounded rsux339 add -12345 0.00001 -> -12344 Inexact Rounded rsux340 add -12345 0.0001 -> -12344 Inexact Rounded rsux341 add -12345 0.001 -> -12344 Inexact Rounded rsux342 add -12345 0.01 -> -12344 Inexact Rounded rsux343 add -12345 0.1 -> -12344 Inexact Rounded rsux345 add -12346 0.49999 -> -12345 Inexact Rounded rsux346 add -12346 0.5 -> -12345 Inexact Rounded rsux347 add -12346 0.50001 -> -12345 Inexact Rounded rsux350 add -12345 0.4 -> -12344 Inexact Rounded rsux351 add -12345 0.49 -> -12344 Inexact Rounded rsux352 add -12345 0.499 -> -12344 Inexact Rounded rsux353 add -12345 0.49999 -> -12344 Inexact Rounded rsux354 add -12345 0.5 -> -12344 Inexact Rounded rsux355 add -12345 0.50001 -> -12344 Inexact Rounded rsux356 add -12345 0.5001 -> -12344 Inexact Rounded rsux357 add -12345 0.501 -> -12344 Inexact Rounded rsux358 add -12345 0.51 -> -12344 Inexact Rounded rsux359 add -12345 0.6 -> -12344 Inexact Rounded -- Check cancellation subtractions -- (The IEEE 854 'curious rule' in $6.3) rounding: down rzex001 add 0 0 -> 0 rzex002 add 0 -0 -> 0 rzex003 add -0 0 -> 0 rzex004 add -0 -0 -> -0 rzex005 add 1 -1 -> 0 rzex006 add -1 1 -> 0 rzex007 add 1.5 -1.5 -> 0.0 rzex008 add -1.5 1.5 -> 0.0 rzex009 add 2 -2 -> 0 rzex010 add -2 2 -> 0 rounding: up rzex011 add 0 0 -> 0 rzex012 add 0 -0 -> 0 rzex013 add -0 0 -> 0 rzex014 add -0 -0 -> -0 rzex015 add 1 -1 -> 0 rzex016 add -1 1 -> 0 rzex017 add 1.5 -1.5 -> 0.0 rzex018 add -1.5 1.5 -> 0.0 rzex019 add 2 -2 -> 0 rzex020 add -2 2 -> 0 rounding: half_up rzex021 add 0 0 -> 0 rzex022 add 0 -0 -> 0 rzex023 add -0 0 -> 0 rzex024 add -0 -0 -> -0 rzex025 add 1 -1 -> 0 rzex026 add -1 1 -> 0 rzex027 add 1.5 -1.5 -> 0.0 rzex028 add -1.5 1.5 -> 0.0 rzex029 add 2 -2 -> 0 rzex030 add -2 2 -> 0 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 Clamped rovx104 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped 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 Clamped 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 Clamped 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 Clamped rovx144 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped 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 Clamped rovx154 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped 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 Clamped rovx164 divide -1E-9 9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped -- 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 ----- Round-for-reround ----- rounding: 05up precision: 5 -- for easier visual inspection maxExponent: 999 minexponent: -999 -- basic rounding; really is just 0 and 5 up r05up001 add 12340 0.001 -> 12341 Inexact Rounded r05up002 add 12341 0.001 -> 12341 Inexact Rounded r05up003 add 12342 0.001 -> 12342 Inexact Rounded r05up004 add 12343 0.001 -> 12343 Inexact Rounded r05up005 add 12344 0.001 -> 12344 Inexact Rounded r05up006 add 12345 0.001 -> 12346 Inexact Rounded r05up007 add 12346 0.001 -> 12346 Inexact Rounded r05up008 add 12347 0.001 -> 12347 Inexact Rounded r05up009 add 12348 0.001 -> 12348 Inexact Rounded r05up010 add 12349 0.001 -> 12349 Inexact Rounded r05up011 add 12340 0.000 -> 12340 Rounded r05up012 add 12341 0.000 -> 12341 Rounded r05up013 add 12342 0.000 -> 12342 Rounded r05up014 add 12343 0.000 -> 12343 Rounded r05up015 add 12344 0.000 -> 12344 Rounded r05up016 add 12345 0.000 -> 12345 Rounded r05up017 add 12346 0.000 -> 12346 Rounded r05up018 add 12347 0.000 -> 12347 Rounded r05up019 add 12348 0.000 -> 12348 Rounded r05up020 add 12349 0.000 -> 12349 Rounded r05up021 add 12340 0.901 -> 12341 Inexact Rounded r05up022 add 12341 0.901 -> 12341 Inexact Rounded r05up023 add 12342 0.901 -> 12342 Inexact Rounded r05up024 add 12343 0.901 -> 12343 Inexact Rounded r05up025 add 12344 0.901 -> 12344 Inexact Rounded r05up026 add 12345 0.901 -> 12346 Inexact Rounded r05up027 add 12346 0.901 -> 12346 Inexact Rounded r05up028 add 12347 0.901 -> 12347 Inexact Rounded r05up029 add 12348 0.901 -> 12348 Inexact Rounded r05up030 add 12349 0.901 -> 12349 Inexact Rounded r05up031 add -12340 -0.001 -> -12341 Inexact Rounded r05up032 add -12341 -0.001 -> -12341 Inexact Rounded r05up033 add -12342 -0.001 -> -12342 Inexact Rounded r05up034 add -12343 -0.001 -> -12343 Inexact Rounded r05up035 add -12344 -0.001 -> -12344 Inexact Rounded r05up036 add -12345 -0.001 -> -12346 Inexact Rounded r05up037 add -12346 -0.001 -> -12346 Inexact Rounded r05up038 add -12347 -0.001 -> -12347 Inexact Rounded r05up039 add -12348 -0.001 -> -12348 Inexact Rounded r05up040 add -12349 -0.001 -> -12349 Inexact Rounded r05up041 add -12340 0.001 -> -12339 Inexact Rounded r05up042 add -12341 0.001 -> -12341 Inexact Rounded r05up043 add -12342 0.001 -> -12341 Inexact Rounded r05up044 add -12343 0.001 -> -12342 Inexact Rounded r05up045 add -12344 0.001 -> -12343 Inexact Rounded r05up046 add -12345 0.001 -> -12344 Inexact Rounded r05up047 add -12346 0.001 -> -12346 Inexact Rounded r05up048 add -12347 0.001 -> -12346 Inexact Rounded r05up049 add -12348 0.001 -> -12347 Inexact Rounded r05up050 add -12349 0.001 -> -12348 Inexact Rounded -- Addition operators ------------------------------------------------- -- [The first few of these check negative residue possibilities; these -- cases may be implemented as a negative residue in fastpaths] r0adx100 add 12345 -0.1 -> 12344 Inexact Rounded r0adx101 add 12345 -0.01 -> 12344 Inexact Rounded r0adx102 add 12345 -0.001 -> 12344 Inexact Rounded r0adx103 add 12345 -0.00001 -> 12344 Inexact Rounded r0adx104 add 12345 -0.000001 -> 12344 Inexact Rounded r0adx105 add 12345 -0.0000001 -> 12344 Inexact Rounded r0adx106 add 12345 0 -> 12345 r0adx107 add 12345 0.0000001 -> 12346 Inexact Rounded r0adx108 add 12345 0.000001 -> 12346 Inexact Rounded r0adx109 add 12345 0.00001 -> 12346 Inexact Rounded r0adx110 add 12345 0.0001 -> 12346 Inexact Rounded r0adx111 add 12345 0.001 -> 12346 Inexact Rounded r0adx112 add 12345 0.01 -> 12346 Inexact Rounded r0adx113 add 12345 0.1 -> 12346 Inexact Rounded r0adx115 add 12346 0.49999 -> 12346 Inexact Rounded r0adx116 add 12346 0.5 -> 12346 Inexact Rounded r0adx117 add 12346 0.50001 -> 12346 Inexact Rounded r0adx120 add 12345 0.4 -> 12346 Inexact Rounded r0adx121 add 12345 0.49 -> 12346 Inexact Rounded r0adx122 add 12345 0.499 -> 12346 Inexact Rounded r0adx123 add 12345 0.49999 -> 12346 Inexact Rounded r0adx124 add 12345 0.5 -> 12346 Inexact Rounded r0adx125 add 12345 0.50001 -> 12346 Inexact Rounded r0adx126 add 12345 0.5001 -> 12346 Inexact Rounded r0adx127 add 12345 0.501 -> 12346 Inexact Rounded r0adx128 add 12345 0.51 -> 12346 Inexact Rounded r0adx129 add 12345 0.6 -> 12346 Inexact Rounded -- negatives... r0sux100 add -12345 -0.1 -> -12346 Inexact Rounded r0sux101 add -12345 -0.01 -> -12346 Inexact Rounded r0sux102 add -12345 -0.001 -> -12346 Inexact Rounded r0sux103 add -12345 -0.00001 -> -12346 Inexact Rounded r0sux104 add -12345 -0.000001 -> -12346 Inexact Rounded r0sux105 add -12345 -0.0000001 -> -12346 Inexact Rounded r0sux106 add -12345 0 -> -12345 r0sux107 add -12345 0.0000001 -> -12344 Inexact Rounded r0sux108 add -12345 0.000001 -> -12344 Inexact Rounded r0sux109 add -12345 0.00001 -> -12344 Inexact Rounded r0sux110 add -12345 0.0001 -> -12344 Inexact Rounded r0sux111 add -12345 0.001 -> -12344 Inexact Rounded r0sux112 add -12345 0.01 -> -12344 Inexact Rounded r0sux113 add -12345 0.1 -> -12344 Inexact Rounded r0sux115 add -12346 0.49999 -> -12346 Inexact Rounded r0sux116 add -12346 0.5 -> -12346 Inexact Rounded r0sux117 add -12346 0.50001 -> -12346 Inexact Rounded r0sux120 add -12345 0.4 -> -12344 Inexact Rounded r0sux121 add -12345 0.49 -> -12344 Inexact Rounded r0sux122 add -12345 0.499 -> -12344 Inexact Rounded r0sux123 add -12345 0.49999 -> -12344 Inexact Rounded r0sux124 add -12345 0.5 -> -12344 Inexact Rounded r0sux125 add -12345 0.50001 -> -12344 Inexact Rounded r0sux126 add -12345 0.5001 -> -12344 Inexact Rounded r0sux127 add -12345 0.501 -> -12344 Inexact Rounded r0sux128 add -12345 0.51 -> -12344 Inexact Rounded r0sux129 add -12345 0.6 -> -12344 Inexact Rounded -- Check cancellation subtractions -- (The IEEE 854 'curious rule' in $6.3) r0zex001 add 0 0 -> 0 r0zex002 add 0 -0 -> 0 r0zex003 add -0 0 -> 0 r0zex004 add -0 -0 -> -0 r0zex005 add 1 -1 -> 0 r0zex006 add -1 1 -> 0 r0zex007 add 1.5 -1.5 -> 0.0 r0zex008 add -1.5 1.5 -> 0.0 r0zex009 add 2 -2 -> 0 r0zex010 add -2 2 -> 0 -- Division operators ------------------------------------------------- r0dvx101 divide 12345 1 -> 12345 r0dvx102 divide 12345 1.0001 -> 12343 Inexact Rounded r0dvx103 divide 12345 1.001 -> 12332 Inexact Rounded r0dvx104 divide 12345 1.01 -> 12222 Inexact Rounded r0dvx105 divide 12345 1.1 -> 11222 Inexact Rounded r0dvx106 divide 12355 4 -> 3088.7 Inexact Rounded r0dvx107 divide 12345 4 -> 3086.2 Inexact Rounded r0dvx108 divide 12355 4.0001 -> 3088.6 Inexact Rounded r0dvx109 divide 12345 4.0001 -> 3086.1 Inexact Rounded r0dvx110 divide 12345 4.9 -> 2519.3 Inexact Rounded r0dvx111 divide 12345 4.99 -> 2473.9 Inexact Rounded r0dvx112 divide 12345 4.999 -> 2469.4 Inexact Rounded r0dvx113 divide 12345 4.9999 -> 2469.1 Inexact Rounded r0dvx114 divide 12345 5 -> 2469 r0dvx115 divide 12345 5.0001 -> 2468.9 Inexact Rounded r0dvx116 divide 12345 5.001 -> 2468.6 Inexact Rounded r0dvx117 divide 12345 5.01 -> 2464.1 Inexact Rounded r0dvx118 divide 12345 5.1 -> 2420.6 Inexact Rounded -- [divideInteger and remainder unaffected] -- Multiplication operator -------------------------------------------- r0mux101 multiply 12345 1 -> 12345 r0mux102 multiply 12345 1.0001 -> 12346 Inexact Rounded r0mux103 multiply 12345 1.001 -> 12357 Inexact Rounded r0mux104 multiply 12345 1.01 -> 12468 Inexact Rounded r0mux105 multiply 12345 1.1 -> 13579 Inexact Rounded r0mux106 multiply 12345 4 -> 49380 r0mux107 multiply 12345 4.0001 -> 49381 Inexact Rounded r0mux108 multiply 12345 4.9 -> 60491 Inexact Rounded r0mux109 multiply 12345 4.99 -> 61601 Inexact Rounded r0mux110 multiply 12345 4.999 -> 61712 Inexact Rounded r0mux111 multiply 12345 4.9999 -> 61723 Inexact Rounded r0mux112 multiply 12345 5 -> 61725 r0mux113 multiply 12345 5.0001 -> 61726 Inexact Rounded r0mux114 multiply 12345 5.001 -> 61737 Inexact Rounded r0mux115 multiply 12345 5.01 -> 61848 Inexact Rounded r0mux116 multiply 12345 12 -> 1.4814E+5 Rounded r0mux117 multiply 12345 13 -> 1.6048E+5 Inexact Rounded r0mux118 multiply 12355 12 -> 1.4826E+5 Rounded r0mux119 multiply 12355 13 -> 1.6061E+5 Inexact Rounded -- Power operator ----------------------------------------------------- r0pox101 power 12345 -5 -> 3.4877E-21 Inexact Rounded r0pox102 power 12345 -4 -> 4.3056E-17 Inexact Rounded r0pox103 power 12345 -3 -> 5.3152E-13 Inexact Rounded r0pox104 power 12345 -2 -> 6.5617E-9 Inexact Rounded r0pox105 power 12345 -1 -> 0.000081004 Inexact Rounded r0pox106 power 12345 0 -> 1 r0pox107 power 12345 1 -> 12345 r0pox108 power 12345 2 -> 1.5239E+8 Inexact Rounded r0pox109 power 12345 3 -> 1.8813E+12 Inexact Rounded r0pox110 power 12345 4 -> 2.3226E+16 Inexact Rounded r0pox111 power 12345 5 -> 2.8671E+20 Inexact Rounded r0pox112 power 415 2 -> 1.7222E+5 Inexact Rounded r0pox113 power 75 3 -> 4.2187E+5 Inexact Rounded -- Underflow Subnormal and overflow values vary with rounding mode and sign maxexponent: 999999999 minexponent: -999999999 -- [round down gives Nmax on first two and .0E... on the next two] r0ovx100 multiply 10 9E+999999999 -> 9.9999E+999999999 Overflow Inexact Rounded r0ovx101 multiply -10 9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded r0ovx102 divide 1E-9 9E+999999999 -> 1E-1000000003 Underflow Subnormal Inexact Rounded r0ovx104 divide -1E-9 9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded -- reprise rounding mode effect (using multiplies so precision directive used) precision: 9 maxexponent: 999999999 r0mex412 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded r0mex413 multiply 9.999E+999999999 10 -> 9.99999999E+999999999 Overflow Inexact Rounded