------------------------------------------------------------------------
-- rescale0.decTest -- decimal rescale operation (simplified)         --
-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
------------------------------------------------------------------------
-- Please see the document "General Decimal Arithmetic Testcases"     --
-- at http://www2.hursley.ibm.com/decimal for the description of      --
-- these testcases.                                                   --
--                                                                    --
-- These testcases are experimental ('beta' versions), and they       --
-- may contain errors.  They are offered on an as-is basis.  In       --
-- particular, achieving the same results as the tests here is not    --
-- a guarantee that an implementation complies with any Standard      --
-- or specification.  The tests are not exhaustive.                   --
--                                                                    --
-- Please send comments, suggestions, and corrections to the author:  --
--   Mike Cowlishaw, IBM Fellow                                       --
--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
--   mfc@uk.ibm.com                                                   --
------------------------------------------------------------------------
version: 2.58

-- [obsolete]   Quantize0.decTest has the improved version

extended:    0
precision:   9
rounding:    half_up
maxExponent: 999
minexponent: -999

res001 rescale  0      0   ->  0
res002 rescale  1      0   ->  1
res003 rescale  0.1   +2   ->  0E+2 Inexact Rounded
res005 rescale  0.1   +1   ->  0E+1 Inexact Rounded
res006 rescale  0.1    0   ->  0 Inexact Rounded
res007 rescale  0.1   -1   ->  0.1
res008 rescale  0.1   -2   ->  0.10
res009 rescale  0.1   -3   ->  0.100
res010 rescale  0.9   +2   ->  0E+2 Inexact Rounded
res011 rescale  0.9   +1   ->  0E+1 Inexact Rounded
res012 rescale  0.9   +0   ->  1 Inexact Rounded
res013 rescale  0.9   -1   ->  0.9
res014 rescale  0.9   -2   ->  0.90
res015 rescale  0.9   -3   ->  0.900
-- negatives
res021 rescale -0      0   ->  0
res022 rescale -1      0   -> -1
res023 rescale -0.1   +2   ->  0E+2 Inexact Rounded
res025 rescale -0.1   +1   ->  0E+1 Inexact Rounded
res026 rescale -0.1    0   ->  0 Inexact Rounded
res027 rescale -0.1   -1   -> -0.1
res028 rescale -0.1   -2   -> -0.10
res029 rescale -0.1   -3   -> -0.100
res030 rescale -0.4   +2   ->  0E+2 Inexact Rounded
res031 rescale -0.4   +1   ->  0E+1 Inexact Rounded
res032 rescale -0.4   +0   ->  0 Inexact Rounded
res033 rescale -0.4   -1   -> -0.4
res034 rescale -0.4   -2   -> -0.40
res035 rescale -0.4   -3   -> -0.400
res036 rescale -0.5   +2   ->  0E+2 Inexact Rounded
res037 rescale -0.5   +1   ->  0E+1 Inexact Rounded
res038 rescale -0.5   +0   -> -1 Inexact Rounded
res039 rescale -0.5   -1   -> -0.5
res040 rescale -0.5   -2   -> -0.50
res041 rescale -0.5   -3   -> -0.500
res042 rescale -0.9   +2   ->  0E+2 Inexact Rounded
res043 rescale -0.9   +1   ->  0E+1 Inexact Rounded
res044 rescale -0.9   +0   -> -1 Inexact Rounded
res045 rescale -0.9   -1   -> -0.9
res046 rescale -0.9   -2   -> -0.90
res047 rescale -0.9   -3   -> -0.900

-- examples from Base Specification
res080 rescale 2.17   -3   -> 2.170
res081 rescale 2.17   -2   -> 2.17
res082 rescale 2.17   -1   -> 2.2 Inexact Rounded
res083 rescale 2.17   -0   -> 2 Inexact Rounded
res084 rescale 2.17   +1   -> 0E+1 Inexact Rounded
res085 rescale 217    -1   -> 217.0
res086 rescale 217     0   -> 217
res087 rescale 217    +1   -> 2.2E+2 Inexact Rounded
res088 rescale 217    +2   -> 2E+2 Inexact Rounded

-- -ve exponents .. [mostly]
res089 rescale    12     +4   -> 0E+4 Inexact Rounded
res090 rescale    12     +3   -> 0E+3 Inexact Rounded
res091 rescale    12     +2   -> 0E+2 Inexact Rounded
res092 rescale    12     +1   -> 1E+1 Inexact Rounded
res093 rescale    1.2345 -2   -> 1.23 Inexact Rounded
res094 rescale    1.2355 -2   -> 1.24 Inexact Rounded
res095 rescale    1.2345 -6   -> 1.234500
res096 rescale    9.9999 -2   -> 10.00 Inexact Rounded
res097 rescale    0.0001 -2   -> 0.00 Inexact Rounded
res098 rescale    0.001  -2   -> 0.00 Inexact Rounded
res099 rescale    0.009  -2   -> 0.01 Inexact Rounded
res100 rescale   92      +2   -> 1E+2 Inexact Rounded
res101 rescale   -1       0   ->  -1
res102 rescale   -1      -1   ->  -1.0
res103 rescale   -1      -2   ->  -1.00
res104 rescale    0       0   ->  0
res105 rescale    0      -1   ->  0.0
res106 rescale    0      -2   ->  0.00
res107 rescale    0.00    0   ->  0
res108 rescale    0      +1   ->  0E+1
res109 rescale    0      +2   ->  0E+2
res110 rescale   +1       0   ->  1
res111 rescale   +1      -1   ->  1.0
res112 rescale   +1      -2   ->  1.00

res120 rescale   1.04  -3 ->  1.040
res121 rescale   1.04  -2 ->  1.04
res122 rescale   1.04  -1 ->  1.0 Inexact Rounded
res123 rescale   1.04   0 ->  1 Inexact Rounded
res124 rescale   1.05  -3 ->  1.050
res125 rescale   1.05  -2 ->  1.05
res126 rescale   1.05  -1 ->  1.1 Inexact Rounded
res127 rescale   1.05   0 ->  1 Inexact Rounded
res128 rescale   1.05  -3 ->  1.050
res129 rescale   1.05  -2 ->  1.05
res130 rescale   1.05  -1 ->  1.1 Inexact Rounded
res131 rescale   1.05   0 ->  1 Inexact Rounded
res132 rescale   1.06  -3 ->  1.060
res133 rescale   1.06  -2 ->  1.06
res134 rescale   1.06  -1 ->  1.1 Inexact Rounded
res135 rescale   1.06   0 ->  1 Inexact Rounded

res140 rescale   -10    -2  ->  -10.00
res141 rescale   +1     -2  ->  1.00
res142 rescale   +10    -2  ->  10.00
res143 rescale   1E+10  -2  -> ? Invalid_operation
res144 rescale   1E-10  -2  ->  0.00 Inexact Rounded
res145 rescale   1E-2   -2  ->  0.01
res146 rescale   0E-10  -2  ->  0.00

res150 rescale   1.0600 -5 ->  1.06000
res151 rescale   1.0600 -4 ->  1.0600
res152 rescale   1.0600 -3 ->  1.060 Rounded
res153 rescale   1.0600 -2 ->  1.06 Rounded
res154 rescale   1.0600 -1 ->  1.1 Inexact Rounded
res155 rescale   1.0600  0 ->  1 Inexact Rounded

-- +ve exponents ..
res201 rescale   -1   +0 ->  -1
res202 rescale   -1   +1 ->  0E+1 Inexact Rounded
res203 rescale   -1   +2 ->  0E+2 Inexact Rounded
res204 rescale    0   +0 ->  0
res205 rescale    0   +1 ->  0E+1
res206 rescale    0   +2 ->  0E+2
res207 rescale   +1   +0 ->  1
res208 rescale   +1   +1 ->  0E+1 Inexact Rounded
res209 rescale   +1   +2 ->  0E+2 Inexact Rounded

res220 rescale   1.04 +3 ->  0E+3 Inexact Rounded
res221 rescale   1.04 +2 ->  0E+2 Inexact Rounded
res222 rescale   1.04 +1 ->  0E+1 Inexact Rounded
res223 rescale   1.04 +0 ->  1 Inexact Rounded
res224 rescale   1.05 +3 ->  0E+3 Inexact Rounded
res225 rescale   1.05 +2 ->  0E+2 Inexact Rounded
res226 rescale   1.05 +1 ->  0E+1 Inexact Rounded
res227 rescale   1.05 +0 ->  1 Inexact Rounded
res228 rescale   1.05 +3 ->  0E+3 Inexact Rounded
res229 rescale   1.05 +2 ->  0E+2 Inexact Rounded
res230 rescale   1.05 +1 ->  0E+1 Inexact Rounded
res231 rescale   1.05 +0 ->  1 Inexact Rounded
res232 rescale   1.06 +3 ->  0E+3 Inexact Rounded
res233 rescale   1.06 +2 ->  0E+2 Inexact Rounded
res234 rescale   1.06 +1 ->  0E+1 Inexact Rounded
res235 rescale   1.06 +0 ->  1 Inexact Rounded

res240 rescale   -10   +1  ->  -1E+1 Rounded
res241 rescale   +1    +1  ->  0E+1 Inexact Rounded
res242 rescale   +10   +1  ->  1E+1 Rounded
res243 rescale   1E+1  +1  ->  1E+1          -- underneath this is E+1
res244 rescale   1E+2  +1  ->  1.0E+2        -- underneath this is E+1
res245 rescale   1E+3  +1  ->  1.00E+3       -- underneath this is E+1
res246 rescale   1E+4  +1  ->  1.000E+4      -- underneath this is E+1
res247 rescale   1E+5  +1  ->  1.0000E+5     -- underneath this is E+1
res248 rescale   1E+6  +1  ->  1.00000E+6    -- underneath this is E+1
res249 rescale   1E+7  +1  ->  1.000000E+7   -- underneath this is E+1
res250 rescale   1E+8  +1  ->  1.0000000E+8  -- underneath this is E+1
res251 rescale   1E+9  +1  ->  1.00000000E+9 -- underneath this is E+1
-- next one tries to add 9 zeros
res252 rescale   1E+10 +1  -> ? Invalid_operation
res253 rescale   1E-10 +1  ->  0E+1 Inexact Rounded
res254 rescale   1E-2  +1  ->  0E+1 Inexact Rounded
res255 rescale   0E-10 +1  ->  0E+1

res260 rescale   -10   +2  ->  0E+2 Inexact Rounded
res261 rescale   +1    +2  ->  0E+2 Inexact Rounded
res262 rescale   +10   +2  ->  0E+2 Inexact Rounded
res263 rescale   1E+1  +2  ->  0E+2 Inexact Rounded
res264 rescale   1E+2  +2  ->  1E+2
res265 rescale   1E+3  +2  ->  1.0E+3
res266 rescale   1E+4  +2  ->  1.00E+4
res267 rescale   1E+5  +2  ->  1.000E+5
res268 rescale   1E+6  +2  ->  1.0000E+6
res269 rescale   1E+7  +2  ->  1.00000E+7
res270 rescale   1E+8  +2  ->  1.000000E+8
res271 rescale   1E+9  +2  ->  1.0000000E+9
res272 rescale   1E+10 +2  ->  1.00000000E+10
res273 rescale   1E-10 +2  ->  0E+2 Inexact Rounded
res274 rescale   1E-2  +2  ->  0E+2 Inexact Rounded
res275 rescale   0E-10 +2  ->  0E+2

res280 rescale   -10   +3  ->  0E+3 Inexact Rounded
res281 rescale   +1    +3  ->  0E+3 Inexact Rounded
res282 rescale   +10   +3  ->  0E+3 Inexact Rounded
res283 rescale   1E+1  +3  ->  0E+3 Inexact Rounded
res284 rescale   1E+2  +3  ->  0E+3 Inexact Rounded
res285 rescale   1E+3  +3  ->  1E+3
res286 rescale   1E+4  +3  ->  1.0E+4
res287 rescale   1E+5  +3  ->  1.00E+5
res288 rescale   1E+6  +3  ->  1.000E+6
res289 rescale   1E+7  +3  ->  1.0000E+7
res290 rescale   1E+8  +3  ->  1.00000E+8
res291 rescale   1E+9  +3  ->  1.000000E+9
res292 rescale   1E+10 +3  ->  1.0000000E+10
res293 rescale   1E-10 +3  ->  0E+3 Inexact Rounded
res294 rescale   1E-2  +3  ->  0E+3 Inexact Rounded
res295 rescale   0E-10 +3  ->  0E+3

-- some individuals
precision: 9
res380 rescale   352364.506 -2 -> 352364.51 Inexact Rounded
res381 rescale   3523645.06 -2 -> 3523645.06
res382 rescale   35236450.6 -2 -> ? Invalid_operation
res383 rescale   352364506  -2 -> ? Invalid_operation
res384 rescale  -352364.506 -2 -> -352364.51 Inexact Rounded
res385 rescale  -3523645.06 -2 -> -3523645.06
res386 rescale  -35236450.6 -2 -> ? Invalid_operation
res387 rescale  -352364506  -2 -> ? Invalid_operation

-- some baddies
res394 rescale   222 +2.00100000000 -> ? Invalid_operation Rounded
res395 rescale   222 +2.000001      -> ? Invalid_operation
res396 rescale   222 +2.00000000    -> 2E+2 Inexact Rounded
res397 rescale   222 +2.000000001   -> ? Inexact Invalid_operation Lost_digits Rounded
res398 rescale   222 +2.0000000001  -> ? Inexact Invalid_operation Lost_digits Rounded
res399 rescale   222 +2.00000000001 -> ? Inexact Invalid_operation Lost_digits Rounded

-- lostDigits checks [rhs checks removed]
maxexponent: 999
minexponent: -999
precision: 9
res401 rescale 12345678000 +3 -> 1.2345678E+10 Rounded
res403 rescale 1234567800  +1 -> 1.23456780E+9 Rounded
res405 rescale 1234567890  +1 -> 1.23456789E+9 Rounded
res407 rescale 1234567891  +1 -> 1.23456789E+9 Inexact Lost_digits Rounded
res409 rescale 12345678901 +2 -> 1.23456789E+10 Inexact Lost_digits Rounded
res411 rescale 1234567896  +1 -> 1.23456790E+9 Inexact Lost_digits Rounded

precision: 15
-- still checking for [no] lostDigits
res441 rescale 12345678000 +3 -> 1.2345678E+10 Rounded
res443 rescale 1234567800  +1 -> 1.23456780E+9 Rounded
res445 rescale 1234567890  +1 -> 1.23456789E+9 Rounded
res447 rescale 1234567891  +1 -> 1.23456789E+9 Inexact Rounded
res449 rescale 12345678901 +2 -> 1.23456789E+10 Inexact Rounded
res451 rescale 1234567896  +1 -> 1.23456790E+9 Inexact Rounded

-- Null tests
res900 rescale 10  # -> ? Invalid_operation
res901 rescale  # 10 -> ? Invalid_operation

