Home | History | Annotate | Download | only in decimaltestdata
      1 ------------------------------------------------------------------------
      2 -- divideint.decTest -- decimal integer division                      --
      3 -- Copyright (c) IBM Corporation, 1981, 2008.  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 (a] uk.ibm.com                                                   --
     19 ------------------------------------------------------------------------
     20 version: 2.59
     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 -- GD edge cases: lhs smaller than rhs but more digits
    238 dvix301  divideint  0.9      2      ->  0
    239 dvix302  divideint  0.9      2.0    ->  0
    240 dvix303  divideint  0.9      2.1    ->  0
    241 dvix304  divideint  0.9      2.00   ->  0
    242 dvix305  divideint  0.9      2.01   ->  0
    243 dvix306  divideint  0.12     1      ->  0
    244 dvix307  divideint  0.12     1.0    ->  0
    245 dvix308  divideint  0.12     1.00   ->  0
    246 dvix309  divideint  0.12     1.0    ->  0
    247 dvix310  divideint  0.12     1.00   ->  0
    248 dvix311  divideint  0.12     2      ->  0
    249 dvix312  divideint  0.12     2.0    ->  0
    250 dvix313  divideint  0.12     2.1    ->  0
    251 dvix314  divideint  0.12     2.00   ->  0
    252 dvix315  divideint  0.12     2.01   ->  0
    253 
    254 -- overflow and underflow tests [from divide]
    255 maxexponent: 999999999
    256 minexponent: -999999999
    257 dvix330 divideint +1.23456789012345E-0 9E+999999999    -> 0
    258 dvix331 divideint 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible
    259 dvix332 divideint +0.100 9E+999999999    -> 0
    260 dvix333 divideint 9E-999999999 +9.100    -> 0
    261 dvix335 divideint -1.23456789012345E-0 9E+999999999    -> -0
    262 dvix336 divideint 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible
    263 dvix337 divideint -0.100 9E+999999999    -> -0
    264 dvix338 divideint 9E-999999999 -9.100    -> -0
    265 
    266 -- long operand checks
    267 maxexponent: 999
    268 minexponent: -999
    269 precision: 9
    270 dvix401 divideint 12345678000 100 -> 123456780
    271 dvix402 divideint 1 12345678000   -> 0
    272 dvix403 divideint 1234567800  10  -> 123456780
    273 dvix404 divideint 1 1234567800    -> 0
    274 dvix405 divideint 1234567890  10  -> 123456789
    275 dvix406 divideint 1 1234567890    -> 0
    276 dvix407 divideint 1234567891  10  -> 123456789
    277 dvix408 divideint 1 1234567891    -> 0
    278 dvix409 divideint 12345678901 100 -> 123456789
    279 dvix410 divideint 1 12345678901   -> 0
    280 dvix411 divideint 1234567896  10  -> 123456789
    281 dvix412 divideint 1 1234567896    -> 0
    282 dvix413 divideint 12345678948 100 -> 123456789
    283 dvix414 divideint 12345678949 100 -> 123456789
    284 dvix415 divideint 12345678950 100 -> 123456789
    285 dvix416 divideint 12345678951 100 -> 123456789
    286 dvix417 divideint 12345678999 100 -> 123456789
    287 
    288 precision: 15
    289 dvix441 divideint 12345678000 1 -> 12345678000
    290 dvix442 divideint 1 12345678000 -> 0
    291 dvix443 divideint 1234567800  1 -> 1234567800
    292 dvix444 divideint 1 1234567800  -> 0
    293 dvix445 divideint 1234567890  1 -> 1234567890
    294 dvix446 divideint 1 1234567890  -> 0
    295 dvix447 divideint 1234567891  1 -> 1234567891
    296 dvix448 divideint 1 1234567891  -> 0
    297 dvix449 divideint 12345678901 1 -> 12345678901
    298 dvix450 divideint 1 12345678901 -> 0
    299 dvix451 divideint 1234567896  1 -> 1234567896
    300 dvix452 divideint 1 1234567896  -> 0
    301 
    302 precision:   9
    303 rounding:    half_up
    304 maxExponent: 999
    305 minexponent: -999
    306 
    307 -- more zeros, etc.
    308 dvix531 divideint 5.00 1E-3    -> 5000
    309 dvix532 divideint 00.00 0.000  -> NaN Division_undefined
    310 dvix533 divideint 00.00 0E-3   -> NaN Division_undefined
    311 dvix534 divideint  0    -0     -> NaN Division_undefined
    312 dvix535 divideint -0     0     -> NaN Division_undefined
    313 dvix536 divideint -0    -0     -> NaN Division_undefined
    314 
    315 dvix541 divideint  0    -1     -> -0
    316 dvix542 divideint -0    -1     ->  0
    317 dvix543 divideint  0     1     ->  0
    318 dvix544 divideint -0     1     -> -0
    319 dvix545 divideint -1     0     -> -Infinity Division_by_zero
    320 dvix546 divideint -1    -0     ->  Infinity Division_by_zero
    321 dvix547 divideint  1     0     ->  Infinity Division_by_zero
    322 dvix548 divideint  1    -0     -> -Infinity Division_by_zero
    323 
    324 dvix551 divideint  0.0  -1     -> -0
    325 dvix552 divideint -0.0  -1     ->  0
    326 dvix553 divideint  0.0   1     ->  0
    327 dvix554 divideint -0.0   1     -> -0
    328 dvix555 divideint -1.0   0     -> -Infinity Division_by_zero
    329 dvix556 divideint -1.0  -0     ->  Infinity Division_by_zero
    330 dvix557 divideint  1.0   0     ->  Infinity Division_by_zero
    331 dvix558 divideint  1.0  -0     -> -Infinity Division_by_zero
    332 
    333 dvix561 divideint  0    -1.0   -> -0
    334 dvix562 divideint -0    -1.0   ->  0
    335 dvix563 divideint  0     1.0   ->  0
    336 dvix564 divideint -0     1.0   -> -0
    337 dvix565 divideint -1     0.0   -> -Infinity Division_by_zero
    338 dvix566 divideint -1    -0.0   ->  Infinity Division_by_zero
    339 dvix567 divideint  1     0.0   ->  Infinity Division_by_zero
    340 dvix568 divideint  1    -0.0   -> -Infinity Division_by_zero
    341 
    342 dvix571 divideint  0.0  -1.0   -> -0
    343 dvix572 divideint -0.0  -1.0   ->  0
    344 dvix573 divideint  0.0   1.0   ->  0
    345 dvix574 divideint -0.0   1.0   -> -0
    346 dvix575 divideint -1.0   0.0   -> -Infinity Division_by_zero
    347 dvix576 divideint -1.0  -0.0   ->  Infinity Division_by_zero
    348 dvix577 divideint  1.0   0.0   ->  Infinity Division_by_zero
    349 dvix578 divideint  1.0  -0.0   -> -Infinity Division_by_zero
    350 
    351 -- Specials
    352 dvix580 divideint  Inf  -Inf   ->  NaN Invalid_operation
    353 dvix581 divideint  Inf  -1000  -> -Infinity
    354 dvix582 divideint  Inf  -1     -> -Infinity
    355 dvix583 divideint  Inf  -0     -> -Infinity
    356 dvix584 divideint  Inf   0     ->  Infinity
    357 dvix585 divideint  Inf   1     ->  Infinity
    358 dvix586 divideint  Inf   1000  ->  Infinity
    359 dvix587 divideint  Inf   Inf   ->  NaN Invalid_operation
    360 dvix588 divideint -1000  Inf   -> -0
    361 dvix589 divideint -Inf   Inf   ->  NaN Invalid_operation
    362 dvix590 divideint -1     Inf   -> -0
    363 dvix591 divideint -0     Inf   -> -0
    364 dvix592 divideint  0     Inf   ->  0
    365 dvix593 divideint  1     Inf   ->  0
    366 dvix594 divideint  1000  Inf   ->  0
    367 dvix595 divideint  Inf   Inf   ->  NaN Invalid_operation
    368 
    369 dvix600 divideint -Inf  -Inf   ->  NaN Invalid_operation
    370 dvix601 divideint -Inf  -1000  ->  Infinity
    371 dvix602 divideint -Inf  -1     ->  Infinity
    372 dvix603 divideint -Inf  -0     ->  Infinity
    373 dvix604 divideint -Inf   0     -> -Infinity
    374 dvix605 divideint -Inf   1     -> -Infinity
    375 dvix606 divideint -Inf   1000  -> -Infinity
    376 dvix607 divideint -Inf   Inf   ->  NaN Invalid_operation
    377 dvix608 divideint -1000  Inf   -> -0
    378 dvix609 divideint -Inf  -Inf   ->  NaN Invalid_operation
    379 dvix610 divideint -1    -Inf   ->  0
    380 dvix611 divideint -0    -Inf   ->  0
    381 dvix612 divideint  0    -Inf   -> -0
    382 dvix613 divideint  1    -Inf   -> -0
    383 dvix614 divideint  1000 -Inf   -> -0
    384 dvix615 divideint  Inf  -Inf   ->  NaN Invalid_operation
    385 
    386 dvix621 divideint  NaN -Inf    ->  NaN
    387 dvix622 divideint  NaN -1000   ->  NaN
    388 dvix623 divideint  NaN -1      ->  NaN
    389 dvix624 divideint  NaN -0      ->  NaN
    390 dvix625 divideint  NaN  0      ->  NaN
    391 dvix626 divideint  NaN  1      ->  NaN
    392 dvix627 divideint  NaN  1000   ->  NaN
    393 dvix628 divideint  NaN  Inf    ->  NaN
    394 dvix629 divideint  NaN  NaN    ->  NaN
    395 dvix630 divideint -Inf  NaN    ->  NaN
    396 dvix631 divideint -1000 NaN    ->  NaN
    397 dvix632 divideint -1    NaN    ->  NaN
    398 dvix633 divideint -0    NaN    ->  NaN
    399 dvix634 divideint  0    NaN    ->  NaN
    400 dvix635 divideint  1    NaN    ->  NaN
    401 dvix636 divideint  1000 NaN    ->  NaN
    402 dvix637 divideint  Inf  NaN    ->  NaN
    403 
    404 dvix641 divideint  sNaN -Inf   ->  NaN  Invalid_operation
    405 dvix642 divideint  sNaN -1000  ->  NaN  Invalid_operation
    406 dvix643 divideint  sNaN -1     ->  NaN  Invalid_operation
    407 dvix644 divideint  sNaN -0     ->  NaN  Invalid_operation
    408 dvix645 divideint  sNaN  0     ->  NaN  Invalid_operation
    409 dvix646 divideint  sNaN  1     ->  NaN  Invalid_operation
    410 dvix647 divideint  sNaN  1000  ->  NaN  Invalid_operation
    411 dvix648 divideint  sNaN  NaN   ->  NaN  Invalid_operation
    412 dvix649 divideint  sNaN sNaN   ->  NaN  Invalid_operation
    413 dvix650 divideint  NaN  sNaN   ->  NaN  Invalid_operation
    414 dvix651 divideint -Inf  sNaN   ->  NaN  Invalid_operation
    415 dvix652 divideint -1000 sNaN   ->  NaN  Invalid_operation
    416 dvix653 divideint -1    sNaN   ->  NaN  Invalid_operation
    417 dvix654 divideint -0    sNaN   ->  NaN  Invalid_operation
    418 dvix655 divideint  0    sNaN   ->  NaN  Invalid_operation
    419 dvix656 divideint  1    sNaN   ->  NaN  Invalid_operation
    420 dvix657 divideint  1000 sNaN   ->  NaN  Invalid_operation
    421 dvix658 divideint  Inf  sNaN   ->  NaN  Invalid_operation
    422 dvix659 divideint  NaN  sNaN   ->  NaN  Invalid_operation
    423 
    424 -- propagating NaNs
    425 dvix661 divideint  NaN9 -Inf   ->  NaN9
    426 dvix662 divideint  NaN8  1000  ->  NaN8
    427 dvix663 divideint  NaN7  Inf   ->  NaN7
    428 dvix664 divideint -NaN6  NaN5  -> -NaN6
    429 dvix665 divideint -Inf   NaN4  ->  NaN4
    430 dvix666 divideint -1000  NaN3  ->  NaN3
    431 dvix667 divideint  Inf  -NaN2  -> -NaN2
    432 
    433 dvix671 divideint -sNaN99 -Inf    -> -NaN99 Invalid_operation
    434 dvix672 divideint  sNaN98 -1      ->  NaN98 Invalid_operation
    435 dvix673 divideint  sNaN97  NaN    ->  NaN97 Invalid_operation
    436 dvix674 divideint  sNaN96 sNaN94  ->  NaN96 Invalid_operation
    437 dvix675 divideint  NaN95  sNaN93  ->  NaN93 Invalid_operation
    438 dvix676 divideint -Inf    sNaN92  ->  NaN92 Invalid_operation
    439 dvix677 divideint  0      sNaN91  ->  NaN91 Invalid_operation
    440 dvix678 divideint  Inf   -sNaN90  -> -NaN90 Invalid_operation
    441 dvix679 divideint  NaN    sNaN89  ->  NaN89 Invalid_operation
    442 
    443 -- some long operand cases again
    444 precision: 8
    445 dvix710 divideint  100000001     1  ->  NaN Division_impossible
    446 dvix711 divideint  100000000.4   1  ->  NaN Division_impossible
    447 dvix712 divideint  100000000.5   1  ->  NaN Division_impossible
    448 dvix713 divideint  100000000.9   1  ->  NaN Division_impossible
    449 dvix714 divideint  100000000.999 1  ->  NaN Division_impossible
    450 precision: 6
    451 dvix720 divideint  100000000     1  ->  NaN Division_impossible
    452 dvix721 divideint  10000000      1  ->  NaN Division_impossible
    453 dvix722 divideint  1000000       1  ->  NaN Division_impossible
    454 dvix723 divideint  100000        1  ->  100000
    455 dvix724 divideint  10000         1  ->  10000
    456 dvix725 divideint  1000          1  ->  1000
    457 dvix726 divideint  100           1  ->  100
    458 dvix727 divideint  10            1  ->  10
    459 dvix728 divideint  1             1  ->  1
    460 dvix729 divideint  1            10  ->  0
    461 
    462 precision: 9
    463 maxexponent: 999999999
    464 minexponent: -999999999
    465 dvix732 divideint 1 0.99e999999999 -> 0
    466 dvix733 divideint 1 0.999999999e999999999 -> 0
    467 dvix734 divideint 9e999999999    1       -> NaN Division_impossible
    468 dvix735 divideint 9.9e999999999  1       -> NaN Division_impossible
    469 dvix736 divideint 9.99e999999999 1       -> NaN Division_impossible
    470 dvix737 divideint 9.99999999e999999999 1 -> NaN Division_impossible
    471 
    472 dvix740 divideint 0.1 9e-999999999       -> NaN Division_impossible
    473 dvix741 divideint 0.1 99e-999999999      -> NaN Division_impossible
    474 dvix742 divideint 0.1 999e-999999999     -> NaN Division_impossible
    475 
    476 dvix743 divideint 0.1 9e-999999998       -> NaN Division_impossible
    477 dvix744 divideint 0.1 99e-999999998      -> NaN Division_impossible
    478 dvix745 divideint 0.1 999e-999999998     -> NaN Division_impossible
    479 dvix746 divideint 0.1 999e-999999997     -> NaN Division_impossible
    480 dvix747 divideint 0.1 9999e-999999997    -> NaN Division_impossible
    481 dvix748 divideint 0.1 99999e-999999997   -> NaN Division_impossible
    482 
    483 
    484 -- Null tests
    485 dvix900 divideint  10  # -> NaN Invalid_operation
    486 dvix901 divideint   # 10 -> NaN Invalid_operation
    487