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

-- inexact.decTest -- decimal inexact and rounded edge cases          --

-- 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



extended:    1

precision:   9

rounding:    half_up

maxExponent: 999

minexponent: -999



inx001 add 1          1              -> 2

inx002 add 123456789  0              -> 123456789

inx003 add 123456789  0.0            -> 123456789 Rounded

inx004 add 123456789  0.00           -> 123456789 Rounded

inx005 add 123456789  1              -> 123456790

inx006 add 123456789  0.1            -> 123456789 Inexact Rounded

inx007 add 123456789  0.01           -> 123456789 Inexact Rounded

inx008 add 123456789  0.001          -> 123456789 Inexact Rounded

inx009 add 123456789  0.000001       -> 123456789 Inexact Rounded

inx010 add 123456789  0.000000001    -> 123456789 Inexact Rounded

inx011 add 123456789  0.000000000001 -> 123456789 Inexact Rounded



inx012 add 123456789  0.9            -> 123456790 Inexact Rounded

inx013 add 123456789  0.09           -> 123456789 Inexact Rounded

inx014 add 123456789  0.009          -> 123456789 Inexact Rounded

inx015 add 123456789  0.000009       -> 123456789 Inexact Rounded

inx016 add 123456789  0.000000009    -> 123456789 Inexact Rounded

inx017 add 123456789  0.000000000009 -> 123456789 Inexact Rounded



inx021 add 1          -1              -> 0

inx022 add 123456789  -0              -> 123456789

inx023 add 123456789  -0.0            -> 123456789 Rounded

inx024 add 123456789  -0.00           -> 123456789 Rounded

inx025 add 123456789  -1              -> 123456788

inx026 add 123456789  -0.1            -> 123456789 Inexact Rounded

inx027 add 123456789  -0.01           -> 123456789 Inexact Rounded

inx028 add 123456789  -0.001          -> 123456789 Inexact Rounded

inx029 add 123456789  -0.000001       -> 123456789 Inexact Rounded

inx030 add 123456789  -0.000000001    -> 123456789 Inexact Rounded

inx031 add 123456789  -0.000000000001 -> 123456789 Inexact Rounded

inx032 add 123456789  -0.9            -> 123456788 Inexact Rounded

inx033 add 123456789  -0.09           -> 123456789 Inexact Rounded

inx034 add 123456789  -0.009          -> 123456789 Inexact Rounded

inx035 add 123456789  -0.000009       -> 123456789 Inexact Rounded

inx036 add 123456789  -0.000000009    -> 123456789 Inexact Rounded

inx037 add 123456789  -0.000000000009 -> 123456789 Inexact Rounded



inx042 add  0               123456789 -> 123456789

inx043 add  0.0             123456789 -> 123456789 Rounded

inx044 add  0.00            123456789 -> 123456789 Rounded

inx045 add  1               123456789 -> 123456790

inx046 add  0.1             123456789 -> 123456789 Inexact Rounded

inx047 add  0.01            123456789 -> 123456789 Inexact Rounded

inx048 add  0.001           123456789 -> 123456789 Inexact Rounded

inx049 add  0.000001        123456789 -> 123456789 Inexact Rounded

inx050 add  0.000000001     123456789 -> 123456789 Inexact Rounded

inx051 add  0.000000000001  123456789 -> 123456789 Inexact Rounded

inx052 add  0.9             123456789 -> 123456790 Inexact Rounded

inx053 add  0.09            123456789 -> 123456789 Inexact Rounded

inx054 add  0.009           123456789 -> 123456789 Inexact Rounded

inx055 add  0.000009        123456789 -> 123456789 Inexact Rounded

inx056 add  0.000000009     123456789 -> 123456789 Inexact Rounded

inx057 add  0.000000000009  123456789 -> 123456789 Inexact Rounded



inx062 add  -0              123456789 -> 123456789

inx063 add  -0.0            123456789 -> 123456789 Rounded

inx064 add  -0.00           123456789 -> 123456789 Rounded

inx065 add  -1              123456789 -> 123456788

inx066 add  -0.1            123456789 -> 123456789 Inexact Rounded

inx067 add  -0.01           123456789 -> 123456789 Inexact Rounded

inx068 add  -0.001          123456789 -> 123456789 Inexact Rounded

inx069 add  -0.000001       123456789 -> 123456789 Inexact Rounded

inx070 add  -0.000000001    123456789 -> 123456789 Inexact Rounded

inx071 add  -0.000000000001 123456789 -> 123456789 Inexact Rounded

inx072 add  -0.9            123456789 -> 123456788 Inexact Rounded

inx073 add  -0.09           123456789 -> 123456789 Inexact Rounded

inx074 add  -0.009          123456789 -> 123456789 Inexact Rounded

inx075 add  -0.000009       123456789 -> 123456789 Inexact Rounded

inx076 add  -0.000000009    123456789 -> 123456789 Inexact Rounded

inx077 add  -0.000000000009 123456789 -> 123456789 Inexact Rounded



-- some boundaries

inx081 add    999999999           0     -> 999999999

inx082 add  0.999999999 0.000000000     -> 0.999999999

inx083 add    999999999           1     -> 1.00000000E+9 Rounded

inx084 add  0.999999999 0.000000001     -> 1.00000000    Rounded

inx085 add    999999999           2     -> 1.00000000E+9 Inexact Rounded

inx086 add  0.999999999 0.000000002     -> 1.00000000    Inexact Rounded

inx087 add    999999999           3     -> 1.00000000E+9 Inexact Rounded

inx089 add  0.999999999 0.000000003     -> 1.00000000    Inexact Rounded



-- minus, plus, and subtract all assumed to work like add.



-- multiply

precision: 8

inx101 multiply  1000  1000        ->  1000000

inx102 multiply  9000  9000        -> 81000000

inx103 multiply  9999  9999        -> 99980001

inx104 multiply  1000 10000        -> 10000000

inx105 multiply 10000 10000        -> 1.0000000E+8 Rounded

inx106 multiply 10001 10000        -> 1.0001000E+8 Rounded

inx107 multiply 10001 10001        -> 1.0002000E+8 Inexact Rounded

inx108 multiply 10101 10001        -> 1.0102010E+8 Inexact Rounded

inx109 multiply 10001 10101        -> 1.0102010E+8 Inexact Rounded



-- divide

precision: 4

inx201 divide  1000  1000        ->  1

inx202 divide  1000     1        ->  1000

inx203 divide  1000     2        ->   500

inx204 divide  1000     3        ->   333.3  Inexact Rounded

inx205 divide  1000     4        ->   250

inx206 divide  1000     5        ->   200

inx207 divide  1000     6        ->   166.7  Inexact Rounded

inx208 divide  1000     7        ->   142.9  Inexact Rounded

inx209 divide  1000     8        ->   125

inx210 divide  1000     9        ->   111.1  Inexact Rounded

inx211 divide  1000    10        ->   100



inx220 divide     1     1        ->   1

inx221 divide     1     2        ->   0.5

inx222 divide     1     4        ->   0.25

inx223 divide     1     8        ->   0.125

inx224 divide     1    16        ->   0.0625

inx225 divide     1    32        ->   0.03125

inx226 divide     1    64        ->   0.01563  Inexact Rounded

inx227 divide     1   128        ->   0.007813 Inexact Rounded



precision: 5

inx230 divide     1     1        ->   1

inx231 divide     1     2        ->   0.5

inx232 divide     1     4        ->   0.25

inx233 divide     1     8        ->   0.125

inx234 divide     1    16        ->   0.0625

inx235 divide     1    32        ->   0.03125

inx236 divide     1    64        ->   0.015625

inx237 divide     1   128        ->   0.0078125



precision: 3

inx240 divide     1     1        ->   1

inx241 divide     1     2        ->   0.5

inx242 divide     1     4        ->   0.25

inx243 divide     1     8        ->   0.125

inx244 divide     1    16        ->   0.0625

inx245 divide     1    32        ->   0.0313   Inexact Rounded

inx246 divide     1    64        ->   0.0156   Inexact Rounded

inx247 divide     1   128        ->   0.00781  Inexact Rounded



precision: 2

inx250 divide     1     1        ->   1

inx251 divide     1     2        ->   0.5

inx252 divide     1     4        ->   0.25

inx253 divide     1     8        ->   0.13     Inexact Rounded

inx254 divide     1    16        ->   0.063    Inexact Rounded

inx255 divide     1    32        ->   0.031    Inexact Rounded

inx256 divide     1    64        ->   0.016    Inexact Rounded

inx257 divide     1   128        ->   0.0078   Inexact Rounded



precision: 1

inx260 divide     1     1        ->   1

inx261 divide     1     2        ->   0.5

inx262 divide     1     4        ->   0.3      Inexact Rounded

inx263 divide     1     8        ->   0.1      Inexact Rounded

inx264 divide     1    16        ->   0.06     Inexact Rounded

inx265 divide     1    32        ->   0.03     Inexact Rounded

inx266 divide     1    64        ->   0.02     Inexact Rounded

inx267 divide     1   128        ->   0.008    Inexact Rounded





-- power

precision: 4

inx301 power    0.5     2        ->   0.25

inx302 power    0.5     4        ->   0.0625

inx303 power    0.5     8        ->   0.003906   Inexact Rounded

inx304 power    0.5    16        ->   0.00001526 Inexact Rounded

inx305 power    0.5    32        ->   2.328E-10  Inexact Rounded



-- compare, divideInteger, and remainder are always exact



-- rescale

precision: 4

inx401 rescale 0       0   -> 0

inx402 rescale 1       0   -> 1

inx403 rescale 0.1    +2   -> 0E+2 Inexact Rounded

inx404 rescale 0.1    +1   -> 0E+1 Inexact Rounded

inx405 rescale 0.1     0   -> 0 Inexact Rounded

inx406 rescale 0.1    -1   -> 0.1

inx407 rescale 0.1    -2   -> 0.10



-- long operands cause rounding too

precision: 9

inx801 plus  123456789  -> 123456789

inx802 plus  1234567890 -> 1.23456789E+9 Rounded

inx803 plus  1234567891 -> 1.23456789E+9 Inexact Rounded

inx804 plus  1234567892 -> 1.23456789E+9 Inexact Rounded

inx805 plus  1234567899 -> 1.23456790E+9 Inexact Rounded

inx806 plus  1234567900 -> 1.23456790E+9 Rounded



