[OpenSPARC-T2-SAM] / sam-t2 / devtools / v8plus / lib / python2.4 / test / decimaltestdata / divideint.decTest

------------------------------------------------------------------------
-- divideint.decTest -- decimal integer division                      --
-- Copyright (c) IBM Corporation, 1981, 2004.  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.39

extended:    1
precision:   9
rounding:    half_up
maxExponent: 384
minexponent: -383

dvix001 divideint  1     1    ->  1
dvix002 divideint  2     1    ->  2
dvix003 divideint  1     2    ->  0
dvix004 divideint  2     2    ->  1
dvix005 divideint  0     1    ->  0
dvix006 divideint  0     2    ->  0
dvix007 divideint  1     3    ->  0
dvix008 divideint  2     3    ->  0
dvix009 divideint  3     3    ->  1

dvix010 divideint  2.4   1    ->  2
dvix011 divideint  2.4   -1   ->  -2
dvix012 divideint  -2.4  1    ->  -2
dvix013 divideint  -2.4  -1   ->  2
dvix014 divideint  2.40  1    ->  2
dvix015 divideint  2.400 1    ->  2
dvix016 divideint  2.4   2    ->  1
dvix017 divideint  2.400 2    ->  1
dvix018 divideint  2.    2    ->  1
dvix019 divideint  20    20   ->  1

dvix020 divideint  187   187  ->  1
dvix021 divideint  5     2    ->  2
dvix022 divideint  5     2.0    ->  2
dvix023 divideint  5     2.000  ->  2
dvix024 divideint  5     0.200  ->  25
dvix025 divideint  5     0.200  ->  25

dvix030 divideint  1     2      ->  0
dvix031 divideint  1     4      ->  0
dvix032 divideint  1     8      ->  0
dvix033 divideint  1     16     ->  0
dvix034 divideint  1     32     ->  0
dvix035 divideint  1     64     ->  0
dvix040 divideint  1    -2      -> -0
dvix041 divideint  1    -4      -> -0
dvix042 divideint  1    -8      -> -0
dvix043 divideint  1    -16     -> -0
dvix044 divideint  1    -32     -> -0
dvix045 divideint  1    -64     -> -0
dvix050 divideint -1     2      -> -0
dvix051 divideint -1     4      -> -0
dvix052 divideint -1     8      -> -0
dvix053 divideint -1     16     -> -0
dvix054 divideint -1     32     -> -0
dvix055 divideint -1     64     -> -0
dvix060 divideint -1    -2      ->  0
dvix061 divideint -1    -4      ->  0
dvix062 divideint -1    -8      ->  0
dvix063 divideint -1    -16     ->  0
dvix064 divideint -1    -32     ->  0
dvix065 divideint -1    -64     ->  0

-- similar with powers of ten
dvix160 divideint  1     1         ->  1
dvix161 divideint  1     10        ->  0
dvix162 divideint  1     100       ->  0
dvix163 divideint  1     1000      ->  0
dvix164 divideint  1     10000     ->  0
dvix165 divideint  1     100000    ->  0
dvix166 divideint  1     1000000   ->  0
dvix167 divideint  1     10000000  ->  0
dvix168 divideint  1     100000000 ->  0
dvix170 divideint  1    -1         -> -1
dvix171 divideint  1    -10        -> -0
dvix172 divideint  1    -100       -> -0
dvix173 divideint  1    -1000      -> -0
dvix174 divideint  1    -10000     -> -0
dvix175 divideint  1    -100000    -> -0
dvix176 divideint  1    -1000000   -> -0
dvix177 divideint  1    -10000000  -> -0
dvix178 divideint  1    -100000000 -> -0
dvix180 divideint -1     1         -> -1
dvix181 divideint -1     10        -> -0
dvix182 divideint -1     100       -> -0
dvix183 divideint -1     1000      -> -0
dvix184 divideint -1     10000     -> -0
dvix185 divideint -1     100000    -> -0
dvix186 divideint -1     1000000   -> -0
dvix187 divideint -1     10000000  -> -0
dvix188 divideint -1     100000000 -> -0
dvix190 divideint -1    -1         ->  1
dvix191 divideint -1    -10        ->  0
dvix192 divideint -1    -100       ->  0
dvix193 divideint -1    -1000      ->  0
dvix194 divideint -1    -10000     ->  0
dvix195 divideint -1    -100000    ->  0
dvix196 divideint -1    -1000000   ->  0
dvix197 divideint -1    -10000000  ->  0
dvix198 divideint -1    -100000000 ->  0

-- some long operand cases here
dvix070 divideint  999999999     1  ->  999999999
dvix071 divideint  999999999.4   1  ->  999999999
dvix072 divideint  999999999.5   1  ->  999999999
dvix073 divideint  999999999.9   1  ->  999999999
dvix074 divideint  999999999.999 1  ->  999999999
precision: 6
dvix080 divideint  999999999     1  ->  NaN Division_impossible
dvix081 divideint  99999999      1  ->  NaN Division_impossible
dvix082 divideint  9999999       1  ->  NaN Division_impossible
dvix083 divideint  999999        1  ->  999999
dvix084 divideint  99999         1  ->  99999
dvix085 divideint  9999          1  ->  9999
dvix086 divideint  999           1  ->  999
dvix087 divideint  99            1  ->  99
dvix088 divideint  9             1  ->  9

precision: 9
dvix090 divideint  0.            1    ->  0
dvix091 divideint  .0            1    ->  0
dvix092 divideint  0.00          1    ->  0
dvix093 divideint  0.00E+9       1    ->  0
dvix094 divideint  0.0000E-50    1    ->  0

dvix100 divideint  1  1   -> 1
dvix101 divideint  1  2   -> 0
dvix102 divideint  1  3   -> 0
dvix103 divideint  1  4   -> 0
dvix104 divideint  1  5   -> 0
dvix105 divideint  1  6   -> 0
dvix106 divideint  1  7   -> 0
dvix107 divideint  1  8   -> 0
dvix108 divideint  1  9   -> 0
dvix109 divideint  1  10  -> 0
dvix110 divideint  1  1   -> 1
dvix111 divideint  2  1   -> 2
dvix112 divideint  3  1   -> 3
dvix113 divideint  4  1   -> 4
dvix114 divideint  5  1   -> 5
dvix115 divideint  6  1   -> 6
dvix116 divideint  7  1   -> 7
dvix117 divideint  8  1   -> 8
dvix118 divideint  9  1   -> 9
dvix119 divideint  10 1   -> 10

-- from DiagBigDecimal
dvix131 divideint  101.3   1     ->  101
dvix132 divideint  101.0   1     ->  101
dvix133 divideint  101.3   3     ->  33
dvix134 divideint  101.0   3     ->  33
dvix135 divideint  2.4     1     ->  2
dvix136 divideint  2.400   1     ->  2
dvix137 divideint  18      18    ->  1
dvix138 divideint  1120    1000  ->  1
dvix139 divideint  2.4     2     ->  1
dvix140 divideint  2.400   2     ->  1
dvix141 divideint  0.5     2.000 ->  0
dvix142 divideint  8.005   7     ->  1
dvix143 divideint  5       2     ->  2
dvix144 divideint  0       2     ->  0
dvix145 divideint  0.00    2     ->  0

-- Others
dvix150 divideint  12345  4.999  ->  2469
dvix151 divideint  12345  4.99   ->  2473
dvix152 divideint  12345  4.9    ->  2519
dvix153 divideint  12345  5      ->  2469
dvix154 divideint  12345  5.1    ->  2420
dvix155 divideint  12345  5.01   ->  2464
dvix156 divideint  12345  5.001  ->  2468
dvix157 divideint    101  7.6    ->  13

-- Various flavours of divideint by 0
maxexponent: 999999999
minexponent: -999999999
dvix201 divideint  0      0   -> NaN Division_undefined
dvix202 divideint  0.0E5  0   -> NaN Division_undefined
dvix203 divideint  0.000  0   -> NaN Division_undefined
dvix204 divideint  0.0001 0   -> Infinity Division_by_zero
dvix205 divideint  0.01   0   -> Infinity Division_by_zero
dvix206 divideint  0.1    0   -> Infinity Division_by_zero
dvix207 divideint  1      0   -> Infinity Division_by_zero
dvix208 divideint  1      0.0 -> Infinity Division_by_zero
dvix209 divideint 10      0.0 -> Infinity Division_by_zero
dvix210 divideint 1E+100  0.0 -> Infinity Division_by_zero
dvix211 divideint 1E+1000 0   -> Infinity Division_by_zero
dvix214 divideint  -0.0001 0   -> -Infinity Division_by_zero
dvix215 divideint  -0.01   0   -> -Infinity Division_by_zero
dvix216 divideint  -0.1    0   -> -Infinity Division_by_zero
dvix217 divideint  -1      0   -> -Infinity Division_by_zero
dvix218 divideint  -1      0.0 -> -Infinity Division_by_zero
dvix219 divideint -10      0.0 -> -Infinity Division_by_zero
dvix220 divideint -1E+100  0.0 -> -Infinity Division_by_zero
dvix221 divideint -1E+1000 0   -> -Infinity Division_by_zero

-- test some cases that are close to exponent overflow
maxexponent: 999999999
minexponent: -999999999
dvix270 divideint 1 1e999999999    -> 0
dvix271 divideint 1 0.9e999999999  -> 0
dvix272 divideint 1 0.99e999999999 -> 0
dvix273 divideint 1 0.999999999e999999999 -> 0
dvix274 divideint 9e999999999    1       -> NaN Division_impossible
dvix275 divideint 9.9e999999999  1       -> NaN Division_impossible
dvix276 divideint 9.99e999999999 1       -> NaN Division_impossible
dvix277 divideint 9.99999999e999999999 1 -> NaN Division_impossible

dvix280 divideint 0.1 9e-999999999       -> NaN Division_impossible
dvix281 divideint 0.1 99e-999999999      -> NaN Division_impossible
dvix282 divideint 0.1 999e-999999999     -> NaN Division_impossible

dvix283 divideint 0.1 9e-999999998       -> NaN Division_impossible
dvix284 divideint 0.1 99e-999999998      -> NaN Division_impossible
dvix285 divideint 0.1 999e-999999998     -> NaN Division_impossible
dvix286 divideint 0.1 999e-999999997     -> NaN Division_impossible
dvix287 divideint 0.1 9999e-999999997    -> NaN Division_impossible
dvix288 divideint 0.1 99999e-999999997   -> NaN Division_impossible


-- overflow and underflow tests [from divide]
maxexponent: 999999999
minexponent: -999999999
dvix330 divideint +1.23456789012345E-0 9E+999999999    -> 0
dvix331 divideint 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible
dvix332 divideint +0.100 9E+999999999    -> 0
dvix333 divideint 9E-999999999 +9.100    -> 0
dvix335 divideint -1.23456789012345E-0 9E+999999999    -> -0
dvix336 divideint 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible
dvix337 divideint -0.100 9E+999999999    -> -0
dvix338 divideint 9E-999999999 -9.100    -> -0

-- long operand checks
maxexponent: 999
minexponent: -999
precision: 9
dvix401 divideint 12345678000 100 -> 123456780
dvix402 divideint 1 12345678000   -> 0
dvix403 divideint 1234567800  10  -> 123456780
dvix404 divideint 1 1234567800    -> 0
dvix405 divideint 1234567890  10  -> 123456789
dvix406 divideint 1 1234567890    -> 0
dvix407 divideint 1234567891  10  -> 123456789
dvix408 divideint 1 1234567891    -> 0
dvix409 divideint 12345678901 100 -> 123456789
dvix410 divideint 1 12345678901   -> 0
dvix411 divideint 1234567896  10  -> 123456789
dvix412 divideint 1 1234567896    -> 0
dvix413 divideint 12345678948 100 -> 123456789
dvix414 divideint 12345678949 100 -> 123456789
dvix415 divideint 12345678950 100 -> 123456789
dvix416 divideint 12345678951 100 -> 123456789
dvix417 divideint 12345678999 100 -> 123456789

precision: 15
dvix441 divideint 12345678000 1 -> 12345678000
dvix442 divideint 1 12345678000 -> 0
dvix443 divideint 1234567800  1 -> 1234567800
dvix444 divideint 1 1234567800  -> 0
dvix445 divideint 1234567890  1 -> 1234567890
dvix446 divideint 1 1234567890  -> 0
dvix447 divideint 1234567891  1 -> 1234567891
dvix448 divideint 1 1234567891  -> 0
dvix449 divideint 12345678901 1 -> 12345678901
dvix450 divideint 1 12345678901 -> 0
dvix451 divideint 1234567896  1 -> 1234567896
dvix452 divideint 1 1234567896  -> 0

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

-- more zeros, etc.
dvix531 divideint 5.00 1E-3    -> 5000
dvix532 divideint 00.00 0.000  -> NaN Division_undefined
dvix533 divideint 00.00 0E-3   -> NaN Division_undefined
dvix534 divideint  0    -0     -> NaN Division_undefined
dvix535 divideint -0     0     -> NaN Division_undefined
dvix536 divideint -0    -0     -> NaN Division_undefined

dvix541 divideint  0    -1     -> -0
dvix542 divideint -0    -1     ->  0
dvix543 divideint  0     1     ->  0
dvix544 divideint -0     1     -> -0
dvix545 divideint -1     0     -> -Infinity Division_by_zero
dvix546 divideint -1    -0     ->  Infinity Division_by_zero
dvix547 divideint  1     0     ->  Infinity Division_by_zero
dvix548 divideint  1    -0     -> -Infinity Division_by_zero

dvix551 divideint  0.0  -1     -> -0
dvix552 divideint -0.0  -1     ->  0
dvix553 divideint  0.0   1     ->  0
dvix554 divideint -0.0   1     -> -0
dvix555 divideint -1.0   0     -> -Infinity Division_by_zero
dvix556 divideint -1.0  -0     ->  Infinity Division_by_zero
dvix557 divideint  1.0   0     ->  Infinity Division_by_zero
dvix558 divideint  1.0  -0     -> -Infinity Division_by_zero

dvix561 divideint  0    -1.0   -> -0
dvix562 divideint -0    -1.0   ->  0
dvix563 divideint  0     1.0   ->  0
dvix564 divideint -0     1.0   -> -0
dvix565 divideint -1     0.0   -> -Infinity Division_by_zero
dvix566 divideint -1    -0.0   ->  Infinity Division_by_zero
dvix567 divideint  1     0.0   ->  Infinity Division_by_zero
dvix568 divideint  1    -0.0   -> -Infinity Division_by_zero

dvix571 divideint  0.0  -1.0   -> -0
dvix572 divideint -0.0  -1.0   ->  0
dvix573 divideint  0.0   1.0   ->  0
dvix574 divideint -0.0   1.0   -> -0
dvix575 divideint -1.0   0.0   -> -Infinity Division_by_zero
dvix576 divideint -1.0  -0.0   ->  Infinity Division_by_zero
dvix577 divideint  1.0   0.0   ->  Infinity Division_by_zero
dvix578 divideint  1.0  -0.0   -> -Infinity Division_by_zero

-- Specials
dvix580 divideint  Inf  -Inf   ->  NaN Invalid_operation
dvix581 divideint  Inf  -1000  -> -Infinity
dvix582 divideint  Inf  -1     -> -Infinity
dvix583 divideint  Inf  -0     -> -Infinity
dvix584 divideint  Inf   0     ->  Infinity
dvix585 divideint  Inf   1     ->  Infinity
dvix586 divideint  Inf   1000  ->  Infinity
dvix587 divideint  Inf   Inf   ->  NaN Invalid_operation
dvix588 divideint -1000  Inf   -> -0
dvix589 divideint -Inf   Inf   ->  NaN Invalid_operation
dvix590 divideint -1     Inf   -> -0
dvix591 divideint -0     Inf   -> -0
dvix592 divideint  0     Inf   ->  0
dvix593 divideint  1     Inf   ->  0
dvix594 divideint  1000  Inf   ->  0
dvix595 divideint  Inf   Inf   ->  NaN Invalid_operation

dvix600 divideint -Inf  -Inf   ->  NaN Invalid_operation
dvix601 divideint -Inf  -1000  ->  Infinity
dvix602 divideint -Inf  -1     ->  Infinity
dvix603 divideint -Inf  -0     ->  Infinity
dvix604 divideint -Inf   0     -> -Infinity
dvix605 divideint -Inf   1     -> -Infinity
dvix606 divideint -Inf   1000  -> -Infinity
dvix607 divideint -Inf   Inf   ->  NaN Invalid_operation
dvix608 divideint -1000  Inf   -> -0
dvix609 divideint -Inf  -Inf   ->  NaN Invalid_operation
dvix610 divideint -1    -Inf   ->  0
dvix611 divideint -0    -Inf   ->  0
dvix612 divideint  0    -Inf   -> -0
dvix613 divideint  1    -Inf   -> -0
dvix614 divideint  1000 -Inf   -> -0
dvix615 divideint  Inf  -Inf   ->  NaN Invalid_operation

dvix621 divideint  NaN -Inf    ->  NaN
dvix622 divideint  NaN -1000   ->  NaN
dvix623 divideint  NaN -1      ->  NaN
dvix624 divideint  NaN -0      ->  NaN
dvix625 divideint  NaN  0      ->  NaN
dvix626 divideint  NaN  1      ->  NaN
dvix627 divideint  NaN  1000   ->  NaN
dvix628 divideint  NaN  Inf    ->  NaN
dvix629 divideint  NaN  NaN    ->  NaN
dvix630 divideint -Inf  NaN    ->  NaN
dvix631 divideint -1000 NaN    ->  NaN
dvix632 divideint -1    NaN    ->  NaN
dvix633 divideint -0    NaN    ->  NaN
dvix634 divideint  0    NaN    ->  NaN
dvix635 divideint  1    NaN    ->  NaN
dvix636 divideint  1000 NaN    ->  NaN
dvix637 divideint  Inf  NaN    ->  NaN

dvix641 divideint  sNaN -Inf   ->  NaN  Invalid_operation
dvix642 divideint  sNaN -1000  ->  NaN  Invalid_operation
dvix643 divideint  sNaN -1     ->  NaN  Invalid_operation
dvix644 divideint  sNaN -0     ->  NaN  Invalid_operation
dvix645 divideint  sNaN  0     ->  NaN  Invalid_operation
dvix646 divideint  sNaN  1     ->  NaN  Invalid_operation
dvix647 divideint  sNaN  1000  ->  NaN  Invalid_operation
dvix648 divideint  sNaN  NaN   ->  NaN  Invalid_operation
dvix649 divideint  sNaN sNaN   ->  NaN  Invalid_operation
dvix650 divideint  NaN  sNaN   ->  NaN  Invalid_operation
dvix651 divideint -Inf  sNaN   ->  NaN  Invalid_operation
dvix652 divideint -1000 sNaN   ->  NaN  Invalid_operation
dvix653 divideint -1    sNaN   ->  NaN  Invalid_operation
dvix654 divideint -0    sNaN   ->  NaN  Invalid_operation
dvix655 divideint  0    sNaN   ->  NaN  Invalid_operation
dvix656 divideint  1    sNaN   ->  NaN  Invalid_operation
dvix657 divideint  1000 sNaN   ->  NaN  Invalid_operation
dvix658 divideint  Inf  sNaN   ->  NaN  Invalid_operation
dvix659 divideint  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
dvix661 divideint  NaN9 -Inf   ->  NaN9
dvix662 divideint  NaN8  1000  ->  NaN8
dvix663 divideint  NaN7  Inf   ->  NaN7
dvix664 divideint -NaN6  NaN5  -> -NaN6
dvix665 divideint -Inf   NaN4  ->  NaN4
dvix666 divideint -1000  NaN3  ->  NaN3
dvix667 divideint  Inf  -NaN2  -> -NaN2

dvix671 divideint -sNaN99 -Inf    -> -NaN99 Invalid_operation
dvix672 divideint  sNaN98 -1      ->  NaN98 Invalid_operation
dvix673 divideint  sNaN97  NaN    ->  NaN97 Invalid_operation
dvix674 divideint  sNaN96 sNaN94  ->  NaN96 Invalid_operation
dvix675 divideint  NaN95  sNaN93  ->  NaN93 Invalid_operation
dvix676 divideint -Inf    sNaN92  ->  NaN92 Invalid_operation
dvix677 divideint  0      sNaN91  ->  NaN91 Invalid_operation
dvix678 divideint  Inf   -sNaN90  -> -NaN90 Invalid_operation
dvix679 divideint  NaN    sNaN89  ->  NaN89 Invalid_operation

-- some long operand cases again
precision: 8
dvix710 divideint  100000001     1  ->  NaN Division_impossible
dvix711 divideint  100000000.4   1  ->  NaN Division_impossible
dvix712 divideint  100000000.5   1  ->  NaN Division_impossible
dvix713 divideint  100000000.9   1  ->  NaN Division_impossible
dvix714 divideint  100000000.999 1  ->  NaN Division_impossible
precision: 6
dvix720 divideint  100000000     1  ->  NaN Division_impossible
dvix721 divideint  10000000      1  ->  NaN Division_impossible
dvix722 divideint  1000000       1  ->  NaN Division_impossible
dvix723 divideint  100000        1  ->  100000
dvix724 divideint  10000         1  ->  10000
dvix725 divideint  1000          1  ->  1000
dvix726 divideint  100           1  ->  100
dvix727 divideint  10            1  ->  10
dvix728 divideint  1             1  ->  1
dvix729 divideint  1            10  ->  0

precision: 9
maxexponent: 999999999
minexponent: -999999999
dvix732 divideint 1 0.99e999999999 -> 0
dvix733 divideint 1 0.999999999e999999999 -> 0
dvix734 divideint 9e999999999    1       -> NaN Division_impossible
dvix735 divideint 9.9e999999999  1       -> NaN Division_impossible
dvix736 divideint 9.99e999999999 1       -> NaN Division_impossible
dvix737 divideint 9.99999999e999999999 1 -> NaN Division_impossible

dvix740 divideint 0.1 9e-999999999       -> NaN Division_impossible
dvix741 divideint 0.1 99e-999999999      -> NaN Division_impossible
dvix742 divideint 0.1 999e-999999999     -> NaN Division_impossible

dvix743 divideint 0.1 9e-999999998       -> NaN Division_impossible
dvix744 divideint 0.1 99e-999999998      -> NaN Division_impossible
dvix745 divideint 0.1 999e-999999998     -> NaN Division_impossible
dvix746 divideint 0.1 999e-999999997     -> NaN Division_impossible
dvix747 divideint 0.1 9999e-999999997    -> NaN Division_impossible
dvix748 divideint 0.1 99999e-999999997   -> NaN Division_impossible


-- Null tests
dvix900 divideint  10  # -> NaN Invalid_operation
dvix901 divideint   # 10 -> NaN Invalid_operation
Commit	Line	Data
920dae64 AT	1	------------------------------------------------------------------------
	2	-- divideint.decTest -- decimal integer division --
	3	-- Copyright (c) IBM Corporation, 1981, 2004. All rights reserved. --
	4	------------------------------------------------------------------------
	5	-- Please see the document "General Decimal Arithmetic Testcases" --
	6	-- at http://www2.hursley.ibm.com/decimal for the description of --
	7	-- these testcases. --
	8	-- --
	9	-- These testcases are experimental ('beta' versions), and they --
	10	-- may contain errors. They are offered on an as-is basis. In --
	11	-- particular, achieving the same results as the tests here is not --
	12	-- a guarantee that an implementation complies with any Standard --
	13	-- or specification. The tests are not exhaustive. --
	14	-- --
	15	-- Please send comments, suggestions, and corrections to the author: --
	16	-- Mike Cowlishaw, IBM Fellow --
	17	-- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
	18	-- mfc@uk.ibm.com --
	19	------------------------------------------------------------------------
	20	version: 2.39
	21
	22	extended: 1
	23	precision: 9
	24	rounding: half_up
	25	maxExponent: 384
	26	minexponent: -383
	27
	28	dvix001 divideint 1 1 -> 1
	29	dvix002 divideint 2 1 -> 2
	30	dvix003 divideint 1 2 -> 0
	31	dvix004 divideint 2 2 -> 1
	32	dvix005 divideint 0 1 -> 0
	33	dvix006 divideint 0 2 -> 0
	34	dvix007 divideint 1 3 -> 0
	35	dvix008 divideint 2 3 -> 0
	36	dvix009 divideint 3 3 -> 1
	37
	38	dvix010 divideint 2.4 1 -> 2
	39	dvix011 divideint 2.4 -1 -> -2
	40	dvix012 divideint -2.4 1 -> -2
	41	dvix013 divideint -2.4 -1 -> 2
	42	dvix014 divideint 2.40 1 -> 2
	43	dvix015 divideint 2.400 1 -> 2
	44	dvix016 divideint 2.4 2 -> 1
	45	dvix017 divideint 2.400 2 -> 1
	46	dvix018 divideint 2. 2 -> 1
	47	dvix019 divideint 20 20 -> 1
	48
	49	dvix020 divideint 187 187 -> 1
	50	dvix021 divideint 5 2 -> 2
	51	dvix022 divideint 5 2.0 -> 2
	52	dvix023 divideint 5 2.000 -> 2
	53	dvix024 divideint 5 0.200 -> 25
	54	dvix025 divideint 5 0.200 -> 25
	55
	56	dvix030 divideint 1 2 -> 0
	57	dvix031 divideint 1 4 -> 0
	58	dvix032 divideint 1 8 -> 0
	59	dvix033 divideint 1 16 -> 0
	60	dvix034 divideint 1 32 -> 0
	61	dvix035 divideint 1 64 -> 0
	62	dvix040 divideint 1 -2 -> -0
	63	dvix041 divideint 1 -4 -> -0
	64	dvix042 divideint 1 -8 -> -0
65	dvix043 divideint 1 -16 -> -0
66	dvix044 divideint 1 -32 -> -0
67	dvix045 divideint 1 -64 -> -0
68	dvix050 divideint -1 2 -> -0
69	dvix051 divideint -1 4 -> -0
70	dvix052 divideint -1 8 -> -0
71	dvix053 divideint -1 16 -> -0
72	dvix054 divideint -1 32 -> -0
73	dvix055 divideint -1 64 -> -0
74	dvix060 divideint -1 -2 -> 0
75	dvix061 divideint -1 -4 -> 0
76	dvix062 divideint -1 -8 -> 0
77	dvix063 divideint -1 -16 -> 0
78	dvix064 divideint -1 -32 -> 0
79	dvix065 divideint -1 -64 -> 0
80
81	-- similar with powers of ten
82	dvix160 divideint 1 1 -> 1
83	dvix161 divideint 1 10 -> 0
84	dvix162 divideint 1 100 -> 0
85	dvix163 divideint 1 1000 -> 0
86	dvix164 divideint 1 10000 -> 0
87	dvix165 divideint 1 100000 -> 0
88	dvix166 divideint 1 1000000 -> 0
89	dvix167 divideint 1 10000000 -> 0
90	dvix168 divideint 1 100000000 -> 0
91	dvix170 divideint 1 -1 -> -1
92	dvix171 divideint 1 -10 -> -0
93	dvix172 divideint 1 -100 -> -0
94	dvix173 divideint 1 -1000 -> -0
95	dvix174 divideint 1 -10000 -> -0
96	dvix175 divideint 1 -100000 -> -0
97	dvix176 divideint 1 -1000000 -> -0
98	dvix177 divideint 1 -10000000 -> -0
99	dvix178 divideint 1 -100000000 -> -0
100	dvix180 divideint -1 1 -> -1
101	dvix181 divideint -1 10 -> -0
102	dvix182 divideint -1 100 -> -0
103	dvix183 divideint -1 1000 -> -0
104	dvix184 divideint -1 10000 -> -0
105	dvix185 divideint -1 100000 -> -0
106	dvix186 divideint -1 1000000 -> -0
107	dvix187 divideint -1 10000000 -> -0
108	dvix188 divideint -1 100000000 -> -0
109	dvix190 divideint -1 -1 -> 1
110	dvix191 divideint -1 -10 -> 0
111	dvix192 divideint -1 -100 -> 0
112	dvix193 divideint -1 -1000 -> 0
113	dvix194 divideint -1 -10000 -> 0
114	dvix195 divideint -1 -100000 -> 0
115	dvix196 divideint -1 -1000000 -> 0
116	dvix197 divideint -1 -10000000 -> 0
117	dvix198 divideint -1 -100000000 -> 0
118
119	-- some long operand cases here
120	dvix070 divideint 999999999 1 -> 999999999
121	dvix071 divideint 999999999.4 1 -> 999999999
122	dvix072 divideint 999999999.5 1 -> 999999999
123	dvix073 divideint 999999999.9 1 -> 999999999
124	dvix074 divideint 999999999.999 1 -> 999999999
125	precision: 6
126	dvix080 divideint 999999999 1 -> NaN Division_impossible
127	dvix081 divideint 99999999 1 -> NaN Division_impossible
128	dvix082 divideint 9999999 1 -> NaN Division_impossible
129	dvix083 divideint 999999 1 -> 999999
130	dvix084 divideint 99999 1 -> 99999
131	dvix085 divideint 9999 1 -> 9999
132	dvix086 divideint 999 1 -> 999
133	dvix087 divideint 99 1 -> 99
134	dvix088 divideint 9 1 -> 9
135
136	precision: 9
137	dvix090 divideint 0. 1 -> 0
138	dvix091 divideint .0 1 -> 0
139	dvix092 divideint 0.00 1 -> 0
140	dvix093 divideint 0.00E+9 1 -> 0
141	dvix094 divideint 0.0000E-50 1 -> 0
142
143	dvix100 divideint 1 1 -> 1
144	dvix101 divideint 1 2 -> 0
145	dvix102 divideint 1 3 -> 0
146	dvix103 divideint 1 4 -> 0
147	dvix104 divideint 1 5 -> 0
148	dvix105 divideint 1 6 -> 0
149	dvix106 divideint 1 7 -> 0
150	dvix107 divideint 1 8 -> 0
151	dvix108 divideint 1 9 -> 0
152	dvix109 divideint 1 10 -> 0
153	dvix110 divideint 1 1 -> 1
154	dvix111 divideint 2 1 -> 2
155	dvix112 divideint 3 1 -> 3
156	dvix113 divideint 4 1 -> 4
157	dvix114 divideint 5 1 -> 5
158	dvix115 divideint 6 1 -> 6
159	dvix116 divideint 7 1 -> 7
160	dvix117 divideint 8 1 -> 8
161	dvix118 divideint 9 1 -> 9
162	dvix119 divideint 10 1 -> 10
163
164	-- from DiagBigDecimal
165	dvix131 divideint 101.3 1 -> 101
166	dvix132 divideint 101.0 1 -> 101
167	dvix133 divideint 101.3 3 -> 33
168	dvix134 divideint 101.0 3 -> 33
169	dvix135 divideint 2.4 1 -> 2
170	dvix136 divideint 2.400 1 -> 2
171	dvix137 divideint 18 18 -> 1
172	dvix138 divideint 1120 1000 -> 1
173	dvix139 divideint 2.4 2 -> 1
174	dvix140 divideint 2.400 2 -> 1
175	dvix141 divideint 0.5 2.000 -> 0
176	dvix142 divideint 8.005 7 -> 1
177	dvix143 divideint 5 2 -> 2
178	dvix144 divideint 0 2 -> 0
179	dvix145 divideint 0.00 2 -> 0
180
181	-- Others
182	dvix150 divideint 12345 4.999 -> 2469
183	dvix151 divideint 12345 4.99 -> 2473
184	dvix152 divideint 12345 4.9 -> 2519
185	dvix153 divideint 12345 5 -> 2469
186	dvix154 divideint 12345 5.1 -> 2420
187	dvix155 divideint 12345 5.01 -> 2464
188	dvix156 divideint 12345 5.001 -> 2468
189	dvix157 divideint 101 7.6 -> 13
190
191	-- Various flavours of divideint by 0
192	maxexponent: 999999999
193	minexponent: -999999999
194	dvix201 divideint 0 0 -> NaN Division_undefined
195	dvix202 divideint 0.0E5 0 -> NaN Division_undefined
196	dvix203 divideint 0.000 0 -> NaN Division_undefined
197	dvix204 divideint 0.0001 0 -> Infinity Division_by_zero
198	dvix205 divideint 0.01 0 -> Infinity Division_by_zero
199	dvix206 divideint 0.1 0 -> Infinity Division_by_zero
200	dvix207 divideint 1 0 -> Infinity Division_by_zero
201	dvix208 divideint 1 0.0 -> Infinity Division_by_zero
202	dvix209 divideint 10 0.0 -> Infinity Division_by_zero
203	dvix210 divideint 1E+100 0.0 -> Infinity Division_by_zero
204	dvix211 divideint 1E+1000 0 -> Infinity Division_by_zero
205	dvix214 divideint -0.0001 0 -> -Infinity Division_by_zero
206	dvix215 divideint -0.01 0 -> -Infinity Division_by_zero
207	dvix216 divideint -0.1 0 -> -Infinity Division_by_zero
208	dvix217 divideint -1 0 -> -Infinity Division_by_zero
209	dvix218 divideint -1 0.0 -> -Infinity Division_by_zero
210	dvix219 divideint -10 0.0 -> -Infinity Division_by_zero
211	dvix220 divideint -1E+100 0.0 -> -Infinity Division_by_zero
212	dvix221 divideint -1E+1000 0 -> -Infinity Division_by_zero
213
214	-- test some cases that are close to exponent overflow
215	maxexponent: 999999999
216	minexponent: -999999999
217	dvix270 divideint 1 1e999999999 -> 0
218	dvix271 divideint 1 0.9e999999999 -> 0
219	dvix272 divideint 1 0.99e999999999 -> 0
220	dvix273 divideint 1 0.999999999e999999999 -> 0
221	dvix274 divideint 9e999999999 1 -> NaN Division_impossible
222	dvix275 divideint 9.9e999999999 1 -> NaN Division_impossible
223	dvix276 divideint 9.99e999999999 1 -> NaN Division_impossible
224	dvix277 divideint 9.99999999e999999999 1 -> NaN Division_impossible
225
226	dvix280 divideint 0.1 9e-999999999 -> NaN Division_impossible
227	dvix281 divideint 0.1 99e-999999999 -> NaN Division_impossible
228	dvix282 divideint 0.1 999e-999999999 -> NaN Division_impossible
229
230	dvix283 divideint 0.1 9e-999999998 -> NaN Division_impossible
231	dvix284 divideint 0.1 99e-999999998 -> NaN Division_impossible
232	dvix285 divideint 0.1 999e-999999998 -> NaN Division_impossible
233	dvix286 divideint 0.1 999e-999999997 -> NaN Division_impossible
234	dvix287 divideint 0.1 9999e-999999997 -> NaN Division_impossible
235	dvix288 divideint 0.1 99999e-999999997 -> NaN Division_impossible
236
237
238	-- overflow and underflow tests [from divide]
239	maxexponent: 999999999
240	minexponent: -999999999
241	dvix330 divideint +1.23456789012345E-0 9E+999999999 -> 0
242	dvix331 divideint 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible
243	dvix332 divideint +0.100 9E+999999999 -> 0
244	dvix333 divideint 9E-999999999 +9.100 -> 0
245	dvix335 divideint -1.23456789012345E-0 9E+999999999 -> -0
246	dvix336 divideint 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible
247	dvix337 divideint -0.100 9E+999999999 -> -0
248	dvix338 divideint 9E-999999999 -9.100 -> -0
249
250	-- long operand checks
251	maxexponent: 999
252	minexponent: -999
253	precision: 9
254	dvix401 divideint 12345678000 100 -> 123456780
255	dvix402 divideint 1 12345678000 -> 0
256	dvix403 divideint 1234567800 10 -> 123456780
257	dvix404 divideint 1 1234567800 -> 0
258	dvix405 divideint 1234567890 10 -> 123456789
259	dvix406 divideint 1 1234567890 -> 0
260	dvix407 divideint 1234567891 10 -> 123456789
261	dvix408 divideint 1 1234567891 -> 0
262	dvix409 divideint 12345678901 100 -> 123456789
263	dvix410 divideint 1 12345678901 -> 0
264	dvix411 divideint 1234567896 10 -> 123456789
265	dvix412 divideint 1 1234567896 -> 0
266	dvix413 divideint 12345678948 100 -> 123456789
267	dvix414 divideint 12345678949 100 -> 123456789
268	dvix415 divideint 12345678950 100 -> 123456789
269	dvix416 divideint 12345678951 100 -> 123456789
270	dvix417 divideint 12345678999 100 -> 123456789
271
272	precision: 15
273	dvix441 divideint 12345678000 1 -> 12345678000
274	dvix442 divideint 1 12345678000 -> 0
275	dvix443 divideint 1234567800 1 -> 1234567800
276	dvix444 divideint 1 1234567800 -> 0
277	dvix445 divideint 1234567890 1 -> 1234567890
278	dvix446 divideint 1 1234567890 -> 0
279	dvix447 divideint 1234567891 1 -> 1234567891
280	dvix448 divideint 1 1234567891 -> 0
281	dvix449 divideint 12345678901 1 -> 12345678901
282	dvix450 divideint 1 12345678901 -> 0
283	dvix451 divideint 1234567896 1 -> 1234567896
284	dvix452 divideint 1 1234567896 -> 0
285
286	precision: 9
287	rounding: half_up
288	maxExponent: 999
289	minexponent: -999
290
291	-- more zeros, etc.
292	dvix531 divideint 5.00 1E-3 -> 5000
293	dvix532 divideint 00.00 0.000 -> NaN Division_undefined
294	dvix533 divideint 00.00 0E-3 -> NaN Division_undefined
295	dvix534 divideint 0 -0 -> NaN Division_undefined
296	dvix535 divideint -0 0 -> NaN Division_undefined
297	dvix536 divideint -0 -0 -> NaN Division_undefined
298
299	dvix541 divideint 0 -1 -> -0
300	dvix542 divideint -0 -1 -> 0
301	dvix543 divideint 0 1 -> 0
302	dvix544 divideint -0 1 -> -0
303	dvix545 divideint -1 0 -> -Infinity Division_by_zero
304	dvix546 divideint -1 -0 -> Infinity Division_by_zero
305	dvix547 divideint 1 0 -> Infinity Division_by_zero
306	dvix548 divideint 1 -0 -> -Infinity Division_by_zero
307
308	dvix551 divideint 0.0 -1 -> -0
309	dvix552 divideint -0.0 -1 -> 0
310	dvix553 divideint 0.0 1 -> 0
311	dvix554 divideint -0.0 1 -> -0
312	dvix555 divideint -1.0 0 -> -Infinity Division_by_zero
313	dvix556 divideint -1.0 -0 -> Infinity Division_by_zero
314	dvix557 divideint 1.0 0 -> Infinity Division_by_zero
315	dvix558 divideint 1.0 -0 -> -Infinity Division_by_zero
316
317	dvix561 divideint 0 -1.0 -> -0
318	dvix562 divideint -0 -1.0 -> 0
319	dvix563 divideint 0 1.0 -> 0
320	dvix564 divideint -0 1.0 -> -0
321	dvix565 divideint -1 0.0 -> -Infinity Division_by_zero
322	dvix566 divideint -1 -0.0 -> Infinity Division_by_zero
323	dvix567 divideint 1 0.0 -> Infinity Division_by_zero
324	dvix568 divideint 1 -0.0 -> -Infinity Division_by_zero
325
326	dvix571 divideint 0.0 -1.0 -> -0
327	dvix572 divideint -0.0 -1.0 -> 0
328	dvix573 divideint 0.0 1.0 -> 0
329	dvix574 divideint -0.0 1.0 -> -0
330	dvix575 divideint -1.0 0.0 -> -Infinity Division_by_zero
331	dvix576 divideint -1.0 -0.0 -> Infinity Division_by_zero
332	dvix577 divideint 1.0 0.0 -> Infinity Division_by_zero
333	dvix578 divideint 1.0 -0.0 -> -Infinity Division_by_zero
334
335	-- Specials
336	dvix580 divideint Inf -Inf -> NaN Invalid_operation
337	dvix581 divideint Inf -1000 -> -Infinity
338	dvix582 divideint Inf -1 -> -Infinity
339	dvix583 divideint Inf -0 -> -Infinity
340	dvix584 divideint Inf 0 -> Infinity
341	dvix585 divideint Inf 1 -> Infinity
342	dvix586 divideint Inf 1000 -> Infinity
343	dvix587 divideint Inf Inf -> NaN Invalid_operation
344	dvix588 divideint -1000 Inf -> -0
345	dvix589 divideint -Inf Inf -> NaN Invalid_operation
346	dvix590 divideint -1 Inf -> -0
347	dvix591 divideint -0 Inf -> -0
348	dvix592 divideint 0 Inf -> 0
349	dvix593 divideint 1 Inf -> 0
350	dvix594 divideint 1000 Inf -> 0
351	dvix595 divideint Inf Inf -> NaN Invalid_operation
352
353	dvix600 divideint -Inf -Inf -> NaN Invalid_operation
354	dvix601 divideint -Inf -1000 -> Infinity
355	dvix602 divideint -Inf -1 -> Infinity
356	dvix603 divideint -Inf -0 -> Infinity
357	dvix604 divideint -Inf 0 -> -Infinity
358	dvix605 divideint -Inf 1 -> -Infinity
359	dvix606 divideint -Inf 1000 -> -Infinity
360	dvix607 divideint -Inf Inf -> NaN Invalid_operation
361	dvix608 divideint -1000 Inf -> -0
362	dvix609 divideint -Inf -Inf -> NaN Invalid_operation
363	dvix610 divideint -1 -Inf -> 0
364	dvix611 divideint -0 -Inf -> 0
365	dvix612 divideint 0 -Inf -> -0
366	dvix613 divideint 1 -Inf -> -0
367	dvix614 divideint 1000 -Inf -> -0
368	dvix615 divideint Inf -Inf -> NaN Invalid_operation
369
370	dvix621 divideint NaN -Inf -> NaN
371	dvix622 divideint NaN -1000 -> NaN
372	dvix623 divideint NaN -1 -> NaN
373	dvix624 divideint NaN -0 -> NaN
374	dvix625 divideint NaN 0 -> NaN
375	dvix626 divideint NaN 1 -> NaN
376	dvix627 divideint NaN 1000 -> NaN
377	dvix628 divideint NaN Inf -> NaN
378	dvix629 divideint NaN NaN -> NaN
379	dvix630 divideint -Inf NaN -> NaN
380	dvix631 divideint -1000 NaN -> NaN
381	dvix632 divideint -1 NaN -> NaN
382	dvix633 divideint -0 NaN -> NaN
383	dvix634 divideint 0 NaN -> NaN
384	dvix635 divideint 1 NaN -> NaN
385	dvix636 divideint 1000 NaN -> NaN
386	dvix637 divideint Inf NaN -> NaN
387
388	dvix641 divideint sNaN -Inf -> NaN Invalid_operation
389	dvix642 divideint sNaN -1000 -> NaN Invalid_operation
390	dvix643 divideint sNaN -1 -> NaN Invalid_operation
391	dvix644 divideint sNaN -0 -> NaN Invalid_operation
392	dvix645 divideint sNaN 0 -> NaN Invalid_operation
393	dvix646 divideint sNaN 1 -> NaN Invalid_operation
394	dvix647 divideint sNaN 1000 -> NaN Invalid_operation
395	dvix648 divideint sNaN NaN -> NaN Invalid_operation
396	dvix649 divideint sNaN sNaN -> NaN Invalid_operation
397	dvix650 divideint NaN sNaN -> NaN Invalid_operation
398	dvix651 divideint -Inf sNaN -> NaN Invalid_operation
399	dvix652 divideint -1000 sNaN -> NaN Invalid_operation
400	dvix653 divideint -1 sNaN -> NaN Invalid_operation
401	dvix654 divideint -0 sNaN -> NaN Invalid_operation
402	dvix655 divideint 0 sNaN -> NaN Invalid_operation
403	dvix656 divideint 1 sNaN -> NaN Invalid_operation
404	dvix657 divideint 1000 sNaN -> NaN Invalid_operation
405	dvix658 divideint Inf sNaN -> NaN Invalid_operation
406	dvix659 divideint NaN sNaN -> NaN Invalid_operation
407
408	-- propagating NaNs
409	dvix661 divideint NaN9 -Inf -> NaN9
410	dvix662 divideint NaN8 1000 -> NaN8
411	dvix663 divideint NaN7 Inf -> NaN7
412	dvix664 divideint -NaN6 NaN5 -> -NaN6
413	dvix665 divideint -Inf NaN4 -> NaN4
414	dvix666 divideint -1000 NaN3 -> NaN3
415	dvix667 divideint Inf -NaN2 -> -NaN2
416
417	dvix671 divideint -sNaN99 -Inf -> -NaN99 Invalid_operation
418	dvix672 divideint sNaN98 -1 -> NaN98 Invalid_operation
419	dvix673 divideint sNaN97 NaN -> NaN97 Invalid_operation
420	dvix674 divideint sNaN96 sNaN94 -> NaN96 Invalid_operation
421	dvix675 divideint NaN95 sNaN93 -> NaN93 Invalid_operation
422	dvix676 divideint -Inf sNaN92 -> NaN92 Invalid_operation
423	dvix677 divideint 0 sNaN91 -> NaN91 Invalid_operation
424	dvix678 divideint Inf -sNaN90 -> -NaN90 Invalid_operation
425	dvix679 divideint NaN sNaN89 -> NaN89 Invalid_operation
426
427	-- some long operand cases again
428	precision: 8
429	dvix710 divideint 100000001 1 -> NaN Division_impossible
430	dvix711 divideint 100000000.4 1 -> NaN Division_impossible
431	dvix712 divideint 100000000.5 1 -> NaN Division_impossible
432	dvix713 divideint 100000000.9 1 -> NaN Division_impossible
433	dvix714 divideint 100000000.999 1 -> NaN Division_impossible
434	precision: 6
435	dvix720 divideint 100000000 1 -> NaN Division_impossible
436	dvix721 divideint 10000000 1 -> NaN Division_impossible
437	dvix722 divideint 1000000 1 -> NaN Division_impossible
438	dvix723 divideint 100000 1 -> 100000
439	dvix724 divideint 10000 1 -> 10000
440	dvix725 divideint 1000 1 -> 1000
441	dvix726 divideint 100 1 -> 100
442	dvix727 divideint 10 1 -> 10
443	dvix728 divideint 1 1 -> 1
444	dvix729 divideint 1 10 -> 0
445
446	precision: 9
447	maxexponent: 999999999
448	minexponent: -999999999
449	dvix732 divideint 1 0.99e999999999 -> 0
450	dvix733 divideint 1 0.999999999e999999999 -> 0
451	dvix734 divideint 9e999999999 1 -> NaN Division_impossible
452	dvix735 divideint 9.9e999999999 1 -> NaN Division_impossible
453	dvix736 divideint 9.99e999999999 1 -> NaN Division_impossible
454	dvix737 divideint 9.99999999e999999999 1 -> NaN Division_impossible
455
456	dvix740 divideint 0.1 9e-999999999 -> NaN Division_impossible
457	dvix741 divideint 0.1 99e-999999999 -> NaN Division_impossible
458	dvix742 divideint 0.1 999e-999999999 -> NaN Division_impossible
459
460	dvix743 divideint 0.1 9e-999999998 -> NaN Division_impossible
461	dvix744 divideint 0.1 99e-999999998 -> NaN Division_impossible
462	dvix745 divideint 0.1 999e-999999998 -> NaN Division_impossible
463	dvix746 divideint 0.1 999e-999999997 -> NaN Division_impossible
464	dvix747 divideint 0.1 9999e-999999997 -> NaN Division_impossible
465	dvix748 divideint 0.1 99999e-999999997 -> NaN Division_impossible
466
467
468	-- Null tests
469	dvix900 divideint 10 # -> NaN Invalid_operation
470	dvix901 divideint # 10 -> NaN Invalid_operation