l4/pkg/python/contrib/Lib/test/decimaltestdata/ddDivideInt.decTest

   1 ------------------------------------------------------------------------\r
   2 -- ddDivideInt.decTest -- decDouble integer division                  --\r
   3 -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --\r
   4 ------------------------------------------------------------------------\r
   5 -- Please see the document "General Decimal Arithmetic Testcases"     --\r
   6 -- at http://www2.hursley.ibm.com/decimal for the description of      --\r
   7 -- these testcases.                                                   --\r
   8 --                                                                    --\r
   9 -- These testcases are experimental ('beta' versions), and they       --\r
  10 -- may contain errors.  They are offered on an as-is basis.  In       --\r
  11 -- particular, achieving the same results as the tests here is not    --\r
  12 -- a guarantee that an implementation complies with any Standard      --\r
  13 -- or specification.  The tests are not exhaustive.                   --\r
  14 --                                                                    --\r
  15 -- Please send comments, suggestions, and corrections to the author:  --\r
  16 --   Mike Cowlishaw, IBM Fellow                                       --\r
  17 --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --\r
  18 --   mfc@uk.ibm.com                                                   --\r
  19 ------------------------------------------------------------------------\r
  20 version: 2.58\r
  21 \r
  22 precision:   16\r
  23 maxExponent: 384\r
  24 minExponent: -383\r
  25 extended:    1\r
  26 clamp:       1\r
  27 rounding:    half_even\r
  28 \r
  29 dddvi001 divideint  1     1    ->  1\r
  30 dddvi002 divideint  2     1    ->  2\r
  31 dddvi003 divideint  1     2    ->  0\r
  32 dddvi004 divideint  2     2    ->  1\r
  33 dddvi005 divideint  0     1    ->  0\r
  34 dddvi006 divideint  0     2    ->  0\r
  35 dddvi007 divideint  1     3    ->  0\r
  36 dddvi008 divideint  2     3    ->  0\r
  37 dddvi009 divideint  3     3    ->  1\r
  38 \r
  39 dddvi010 divideint  2.4   1    ->  2\r
  40 dddvi011 divideint  2.4   -1   ->  -2\r
  41 dddvi012 divideint  -2.4  1    ->  -2\r
  42 dddvi013 divideint  -2.4  -1   ->  2\r
  43 dddvi014 divideint  2.40  1    ->  2\r
  44 dddvi015 divideint  2.400 1    ->  2\r
  45 dddvi016 divideint  2.4   2    ->  1\r
  46 dddvi017 divideint  2.400 2    ->  1\r
  47 dddvi018 divideint  2.    2    ->  1\r
  48 dddvi019 divideint  20    20   ->  1\r
  49 \r
  50 dddvi020 divideint  187   187  ->  1\r
  51 dddvi021 divideint  5     2    ->  2\r
  52 dddvi022 divideint  5     2.0    ->  2\r
  53 dddvi023 divideint  5     2.000  ->  2\r
  54 dddvi024 divideint  5     0.200  ->  25\r
  55 dddvi025 divideint  5     0.200  ->  25\r
  56 \r
  57 dddvi030 divideint  1     2      ->  0\r
  58 dddvi031 divideint  1     4      ->  0\r
  59 dddvi032 divideint  1     8      ->  0\r
  60 dddvi033 divideint  1     16     ->  0\r
  61 dddvi034 divideint  1     32     ->  0\r
  62 dddvi035 divideint  1     64     ->  0\r
  63 dddvi040 divideint  1    -2      -> -0\r
  64 dddvi041 divideint  1    -4      -> -0\r
  65 dddvi042 divideint  1    -8      -> -0\r
  66 dddvi043 divideint  1    -16     -> -0\r
  67 dddvi044 divideint  1    -32     -> -0\r
  68 dddvi045 divideint  1    -64     -> -0\r
  69 dddvi050 divideint -1     2      -> -0\r
  70 dddvi051 divideint -1     4      -> -0\r
  71 dddvi052 divideint -1     8      -> -0\r
  72 dddvi053 divideint -1     16     -> -0\r
  73 dddvi054 divideint -1     32     -> -0\r
  74 dddvi055 divideint -1     64     -> -0\r
  75 dddvi060 divideint -1    -2      ->  0\r
  76 dddvi061 divideint -1    -4      ->  0\r
  77 dddvi062 divideint -1    -8      ->  0\r
  78 dddvi063 divideint -1    -16     ->  0\r
  79 dddvi064 divideint -1    -32     ->  0\r
  80 dddvi065 divideint -1    -64     ->  0\r
  81 \r
  82 -- similar with powers of ten\r
  83 dddvi160 divideint  1     1         ->  1\r
  84 dddvi161 divideint  1     10        ->  0\r
  85 dddvi162 divideint  1     100       ->  0\r
  86 dddvi163 divideint  1     1000      ->  0\r
  87 dddvi164 divideint  1     10000     ->  0\r
  88 dddvi165 divideint  1     100000    ->  0\r
  89 dddvi166 divideint  1     1000000   ->  0\r
  90 dddvi167 divideint  1     10000000  ->  0\r
  91 dddvi168 divideint  1     100000000 ->  0\r
  92 dddvi170 divideint  1    -1         -> -1\r
  93 dddvi171 divideint  1    -10        -> -0\r
  94 dddvi172 divideint  1    -100       -> -0\r
  95 dddvi173 divideint  1    -1000      -> -0\r
  96 dddvi174 divideint  1    -10000     -> -0\r
  97 dddvi175 divideint  1    -100000    -> -0\r
  98 dddvi176 divideint  1    -1000000   -> -0\r
  99 dddvi177 divideint  1    -10000000  -> -0\r
 100 dddvi178 divideint  1    -100000000 -> -0\r
 101 dddvi180 divideint -1     1         -> -1\r
 102 dddvi181 divideint -1     10        -> -0\r
 103 dddvi182 divideint -1     100       -> -0\r
 104 dddvi183 divideint -1     1000      -> -0\r
 105 dddvi184 divideint -1     10000     -> -0\r
 106 dddvi185 divideint -1     100000    -> -0\r
 107 dddvi186 divideint -1     1000000   -> -0\r
 108 dddvi187 divideint -1     10000000  -> -0\r
 109 dddvi188 divideint -1     100000000 -> -0\r
 110 dddvi190 divideint -1    -1         ->  1\r
 111 dddvi191 divideint -1    -10        ->  0\r
 112 dddvi192 divideint -1    -100       ->  0\r
 113 dddvi193 divideint -1    -1000      ->  0\r
 114 dddvi194 divideint -1    -10000     ->  0\r
 115 dddvi195 divideint -1    -100000    ->  0\r
 116 dddvi196 divideint -1    -1000000   ->  0\r
 117 dddvi197 divideint -1    -10000000  ->  0\r
 118 dddvi198 divideint -1    -100000000 ->  0\r
 119 \r
 120 -- some long operand (at p=9) cases\r
 121 dddvi070 divideint  999999999     1  ->  999999999\r
 122 dddvi071 divideint  999999999.4   1  ->  999999999\r
 123 dddvi072 divideint  999999999.5   1  ->  999999999\r
 124 dddvi073 divideint  999999999.9   1  ->  999999999\r
 125 dddvi074 divideint  999999999.999 1  ->  999999999\r
 126 \r
 127 dddvi090 divideint  0.            1    ->  0\r
 128 dddvi091 divideint  .0            1    ->  0\r
 129 dddvi092 divideint  0.00          1    ->  0\r
 130 dddvi093 divideint  0.00E+9       1    ->  0\r
 131 dddvi094 divideint  0.0000E-50    1    ->  0\r
 132 \r
 133 dddvi100 divideint  1  1   -> 1\r
 134 dddvi101 divideint  1  2   -> 0\r
 135 dddvi102 divideint  1  3   -> 0\r
 136 dddvi103 divideint  1  4   -> 0\r
 137 dddvi104 divideint  1  5   -> 0\r
 138 dddvi105 divideint  1  6   -> 0\r
 139 dddvi106 divideint  1  7   -> 0\r
 140 dddvi107 divideint  1  8   -> 0\r
 141 dddvi108 divideint  1  9   -> 0\r
 142 dddvi109 divideint  1  10  -> 0\r
 143 dddvi110 divideint  1  1   -> 1\r
 144 dddvi111 divideint  2  1   -> 2\r
 145 dddvi112 divideint  3  1   -> 3\r
 146 dddvi113 divideint  4  1   -> 4\r
 147 dddvi114 divideint  5  1   -> 5\r
 148 dddvi115 divideint  6  1   -> 6\r
 149 dddvi116 divideint  7  1   -> 7\r
 150 dddvi117 divideint  8  1   -> 8\r
 151 dddvi118 divideint  9  1   -> 9\r
 152 dddvi119 divideint  10 1   -> 10\r
 153 \r
 154 -- from DiagBigDecimal\r
 155 dddvi131 divideint  101.3   1     ->  101\r
 156 dddvi132 divideint  101.0   1     ->  101\r
 157 dddvi133 divideint  101.3   3     ->  33\r
 158 dddvi134 divideint  101.0   3     ->  33\r
 159 dddvi135 divideint  2.4     1     ->  2\r
 160 dddvi136 divideint  2.400   1     ->  2\r
 161 dddvi137 divideint  18      18    ->  1\r
 162 dddvi138 divideint  1120    1000  ->  1\r
 163 dddvi139 divideint  2.4     2     ->  1\r
 164 dddvi140 divideint  2.400   2     ->  1\r
 165 dddvi141 divideint  0.5     2.000 ->  0\r
 166 dddvi142 divideint  8.005   7     ->  1\r
 167 dddvi143 divideint  5       2     ->  2\r
 168 dddvi144 divideint  0       2     ->  0\r
 169 dddvi145 divideint  0.00    2     ->  0\r
 170 \r
 171 -- Others\r
 172 dddvi150 divideint  12345  4.999  ->  2469\r
 173 dddvi151 divideint  12345  4.99   ->  2473\r
 174 dddvi152 divideint  12345  4.9    ->  2519\r
 175 dddvi153 divideint  12345  5      ->  2469\r
 176 dddvi154 divideint  12345  5.1    ->  2420\r
 177 dddvi155 divideint  12345  5.01   ->  2464\r
 178 dddvi156 divideint  12345  5.001  ->  2468\r
 179 dddvi157 divideint    101  7.6    ->  13\r
 180 \r
 181 -- Various flavours of divideint by 0\r
 182 dddvi201 divideint  0      0   -> NaN Division_undefined\r
 183 dddvi202 divideint  0.0E5  0   -> NaN Division_undefined\r
 184 dddvi203 divideint  0.000  0   -> NaN Division_undefined\r
 185 dddvi204 divideint  0.0001 0   -> Infinity Division_by_zero\r
 186 dddvi205 divideint  0.01   0   -> Infinity Division_by_zero\r
 187 dddvi206 divideint  0.1    0   -> Infinity Division_by_zero\r
 188 dddvi207 divideint  1      0   -> Infinity Division_by_zero\r
 189 dddvi208 divideint  1      0.0 -> Infinity Division_by_zero\r
 190 dddvi209 divideint 10      0.0 -> Infinity Division_by_zero\r
 191 dddvi210 divideint 1E+100  0.0 -> Infinity Division_by_zero\r
 192 dddvi211 divideint 1E+380  0   -> Infinity Division_by_zero\r
 193 dddvi214 divideint  -0.0001 0   -> -Infinity Division_by_zero\r
 194 dddvi215 divideint  -0.01   0   -> -Infinity Division_by_zero\r
 195 dddvi216 divideint  -0.1    0   -> -Infinity Division_by_zero\r
 196 dddvi217 divideint  -1      0   -> -Infinity Division_by_zero\r
 197 dddvi218 divideint  -1      0.0 -> -Infinity Division_by_zero\r
 198 dddvi219 divideint -10      0.0 -> -Infinity Division_by_zero\r
 199 dddvi220 divideint -1E+100  0.0 -> -Infinity Division_by_zero\r
 200 dddvi221 divideint -1E+380  0   -> -Infinity Division_by_zero\r
 201 \r
 202 -- test some cases that are close to exponent overflow\r
 203 dddvi270 divideint 1 1e384          -> 0\r
 204 dddvi271 divideint 1 0.9e384        -> 0\r
 205 dddvi272 divideint 1 0.99e384       -> 0\r
 206 dddvi273 divideint 1 0.9999999999999999e384       -> 0\r
 207 dddvi274 divideint 9e384    1       -> NaN Division_impossible\r
 208 dddvi275 divideint 9.9e384  1       -> NaN Division_impossible\r
 209 dddvi276 divideint 9.99e384 1       -> NaN Division_impossible\r
 210 dddvi277 divideint 9.999999999999999e384 1 -> NaN Division_impossible\r
 211 \r
 212 dddvi280 divideint 0.1 9e-383       -> NaN Division_impossible\r
 213 dddvi281 divideint 0.1 99e-383      -> NaN Division_impossible\r
 214 dddvi282 divideint 0.1 999e-383     -> NaN Division_impossible\r
 215 dddvi283 divideint 0.1 9e-382       -> NaN Division_impossible\r
 216 dddvi284 divideint 0.1 99e-382      -> NaN Division_impossible\r
 217 \r
 218 -- GD edge cases: lhs smaller than rhs but more digits\r
 219 dddvi301  divideint  0.9      2      ->  0\r
 220 dddvi302  divideint  0.9      2.0    ->  0\r
 221 dddvi303  divideint  0.9      2.1    ->  0\r
 222 dddvi304  divideint  0.9      2.00   ->  0\r
 223 dddvi305  divideint  0.9      2.01   ->  0\r
 224 dddvi306  divideint  0.12     1      ->  0\r
 225 dddvi307  divideint  0.12     1.0    ->  0\r
 226 dddvi308  divideint  0.12     1.00   ->  0\r
 227 dddvi309  divideint  0.12     1.0    ->  0\r
 228 dddvi310  divideint  0.12     1.00   ->  0\r
 229 dddvi311  divideint  0.12     2      ->  0\r
 230 dddvi312  divideint  0.12     2.0    ->  0\r
 231 dddvi313  divideint  0.12     2.1    ->  0\r
 232 dddvi314  divideint  0.12     2.00   ->  0\r
 233 dddvi315  divideint  0.12     2.01   ->  0\r
 234 \r
 235 -- edge cases of impossible\r
 236 dddvi330  divideint  1234567890123456  10    ->  123456789012345\r
 237 dddvi331  divideint  1234567890123456   1    ->  1234567890123456\r
 238 dddvi332  divideint  1234567890123456   0.1  ->  NaN Division_impossible\r
 239 dddvi333  divideint  1234567890123456   0.01 ->  NaN Division_impossible\r
 240 \r
 241 -- overflow and underflow tests [from divide]\r
 242 dddvi1051 divideint  1e+277  1e-311 ->  NaN Division_impossible\r
 243 dddvi1052 divideint  1e+277 -1e-311 ->  NaN Division_impossible\r
 244 dddvi1053 divideint -1e+277  1e-311 ->  NaN Division_impossible\r
 245 dddvi1054 divideint -1e+277 -1e-311 ->  NaN Division_impossible\r
 246 dddvi1055 divideint  1e-277  1e+311 ->  0\r
 247 dddvi1056 divideint  1e-277 -1e+311 -> -0\r
 248 dddvi1057 divideint -1e-277  1e+311 -> -0\r
 249 dddvi1058 divideint -1e-277 -1e+311 ->  0\r
 250 \r
 251 -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)\r
 252 dddvi1060 divideint 1e-291 1e+101 -> 0\r
 253 dddvi1061 divideint 1e-291 1e+102 -> 0\r
 254 dddvi1062 divideint 1e-291 1e+103 -> 0\r
 255 dddvi1063 divideint 1e-291 1e+104 -> 0\r
 256 dddvi1064 divideint 1e-291 1e+105 -> 0\r
 257 dddvi1065 divideint 1e-291 1e+106 -> 0\r
 258 dddvi1066 divideint 1e-291 1e+107 -> 0\r
 259 dddvi1067 divideint 1e-291 1e+108 -> 0\r
 260 dddvi1068 divideint 1e-291 1e+109 -> 0\r
 261 dddvi1069 divideint 1e-291 1e+110 -> 0\r
 262 \r
 263 dddvi1101 divideint  1.0000E-394  1     -> 0\r
 264 dddvi1102 divideint  1.000E-394   1e+1  -> 0\r
 265 dddvi1103 divideint  1.00E-394    1e+2  -> 0\r
 266 \r
 267 dddvi1118 divideint  1E-394       1e+4  -> 0\r
 268 dddvi1119 divideint  3E-394      -1e+5  -> -0\r
 269 dddvi1120 divideint  5E-394       1e+5  -> 0\r
 270 \r
 271 dddvi1124 divideint  1E-394      -1e+4  -> -0\r
 272 dddvi1130 divideint  3.0E-394    -1e+5  -> -0\r
 273 \r
 274 dddvi1131 divideint  1.0E-199     1e+200 -> 0\r
 275 dddvi1132 divideint  1.0E-199     1e+199 -> 0\r
 276 dddvi1133 divideint  1.0E-199     1e+198 -> 0\r
 277 dddvi1134 divideint  2.0E-199     2e+198 -> 0\r
 278 dddvi1135 divideint  4.0E-199     4e+198 -> 0\r
 279 \r
 280 -- long operand checks\r
 281 dddvi401 divideint 12345678000 100 -> 123456780\r
 282 dddvi402 divideint 1 12345678000   -> 0\r
 283 dddvi403 divideint 1234567800  10  -> 123456780\r
 284 dddvi404 divideint 1 1234567800    -> 0\r
 285 dddvi405 divideint 1234567890  10  -> 123456789\r
 286 dddvi406 divideint 1 1234567890    -> 0\r
 287 dddvi407 divideint 1234567891  10  -> 123456789\r
 288 dddvi408 divideint 1 1234567891    -> 0\r
 289 dddvi409 divideint 12345678901 100 -> 123456789\r
 290 dddvi410 divideint 1 12345678901   -> 0\r
 291 dddvi411 divideint 1234567896  10  -> 123456789\r
 292 dddvi412 divideint 1 1234567896    -> 0\r
 293 dddvi413 divideint 12345678948 100 -> 123456789\r
 294 dddvi414 divideint 12345678949 100 -> 123456789\r
 295 dddvi415 divideint 12345678950 100 -> 123456789\r
 296 dddvi416 divideint 12345678951 100 -> 123456789\r
 297 dddvi417 divideint 12345678999 100 -> 123456789\r
 298 dddvi441 divideint 12345678000 1 -> 12345678000\r
 299 dddvi442 divideint 1 12345678000 -> 0\r
 300 dddvi443 divideint 1234567800  1 -> 1234567800\r
 301 dddvi444 divideint 1 1234567800  -> 0\r
 302 dddvi445 divideint 1234567890  1 -> 1234567890\r
 303 dddvi446 divideint 1 1234567890  -> 0\r
 304 dddvi447 divideint 1234567891  1 -> 1234567891\r
 305 dddvi448 divideint 1 1234567891  -> 0\r
 306 dddvi449 divideint 12345678901 1 -> 12345678901\r
 307 dddvi450 divideint 1 12345678901 -> 0\r
 308 dddvi451 divideint 1234567896  1 -> 1234567896\r
 309 dddvi452 divideint 1 1234567896  -> 0\r
 310 \r
 311 -- more zeros, etc.\r
 312 dddvi531 divideint 5.00 1E-3    -> 5000\r
 313 dddvi532 divideint 00.00 0.000  -> NaN Division_undefined\r
 314 dddvi533 divideint 00.00 0E-3   -> NaN Division_undefined\r
 315 dddvi534 divideint  0    -0     -> NaN Division_undefined\r
 316 dddvi535 divideint -0     0     -> NaN Division_undefined\r
 317 dddvi536 divideint -0    -0     -> NaN Division_undefined\r
 318 \r
 319 dddvi541 divideint  0    -1     -> -0\r
 320 dddvi542 divideint -0    -1     ->  0\r
 321 dddvi543 divideint  0     1     ->  0\r
 322 dddvi544 divideint -0     1     -> -0\r
 323 dddvi545 divideint -1     0     -> -Infinity Division_by_zero\r
 324 dddvi546 divideint -1    -0     ->  Infinity Division_by_zero\r
 325 dddvi547 divideint  1     0     ->  Infinity Division_by_zero\r
 326 dddvi548 divideint  1    -0     -> -Infinity Division_by_zero\r
 327 \r
 328 dddvi551 divideint  0.0  -1     -> -0\r
 329 dddvi552 divideint -0.0  -1     ->  0\r
 330 dddvi553 divideint  0.0   1     ->  0\r
 331 dddvi554 divideint -0.0   1     -> -0\r
 332 dddvi555 divideint -1.0   0     -> -Infinity Division_by_zero\r
 333 dddvi556 divideint -1.0  -0     ->  Infinity Division_by_zero\r
 334 dddvi557 divideint  1.0   0     ->  Infinity Division_by_zero\r
 335 dddvi558 divideint  1.0  -0     -> -Infinity Division_by_zero\r
 336 \r
 337 dddvi561 divideint  0    -1.0   -> -0\r
 338 dddvi562 divideint -0    -1.0   ->  0\r
 339 dddvi563 divideint  0     1.0   ->  0\r
 340 dddvi564 divideint -0     1.0   -> -0\r
 341 dddvi565 divideint -1     0.0   -> -Infinity Division_by_zero\r
 342 dddvi566 divideint -1    -0.0   ->  Infinity Division_by_zero\r
 343 dddvi567 divideint  1     0.0   ->  Infinity Division_by_zero\r
 344 dddvi568 divideint  1    -0.0   -> -Infinity Division_by_zero\r
 345 \r
 346 dddvi571 divideint  0.0  -1.0   -> -0\r
 347 dddvi572 divideint -0.0  -1.0   ->  0\r
 348 dddvi573 divideint  0.0   1.0   ->  0\r
 349 dddvi574 divideint -0.0   1.0   -> -0\r
 350 dddvi575 divideint -1.0   0.0   -> -Infinity Division_by_zero\r
 351 dddvi576 divideint -1.0  -0.0   ->  Infinity Division_by_zero\r
 352 dddvi577 divideint  1.0   0.0   ->  Infinity Division_by_zero\r
 353 dddvi578 divideint  1.0  -0.0   -> -Infinity Division_by_zero\r
 354 \r
 355 -- Specials\r
 356 dddvi580 divideint  Inf  -Inf   ->  NaN Invalid_operation\r
 357 dddvi581 divideint  Inf  -1000  -> -Infinity\r
 358 dddvi582 divideint  Inf  -1     -> -Infinity\r
 359 dddvi583 divideint  Inf  -0     -> -Infinity\r
 360 dddvi584 divideint  Inf   0     ->  Infinity\r
 361 dddvi585 divideint  Inf   1     ->  Infinity\r
 362 dddvi586 divideint  Inf   1000  ->  Infinity\r
 363 dddvi587 divideint  Inf   Inf   ->  NaN Invalid_operation\r
 364 dddvi588 divideint -1000  Inf   -> -0\r
 365 dddvi589 divideint -Inf   Inf   ->  NaN Invalid_operation\r
 366 dddvi590 divideint -1     Inf   -> -0\r
 367 dddvi591 divideint -0     Inf   -> -0\r
 368 dddvi592 divideint  0     Inf   ->  0\r
 369 dddvi593 divideint  1     Inf   ->  0\r
 370 dddvi594 divideint  1000  Inf   ->  0\r
 371 dddvi595 divideint  Inf   Inf   ->  NaN Invalid_operation\r
 372 \r
 373 dddvi600 divideint -Inf  -Inf   ->  NaN Invalid_operation\r
 374 dddvi601 divideint -Inf  -1000  ->  Infinity\r
 375 dddvi602 divideint -Inf  -1     ->  Infinity\r
 376 dddvi603 divideint -Inf  -0     ->  Infinity\r
 377 dddvi604 divideint -Inf   0     -> -Infinity\r
 378 dddvi605 divideint -Inf   1     -> -Infinity\r
 379 dddvi606 divideint -Inf   1000  -> -Infinity\r
 380 dddvi607 divideint -Inf   Inf   ->  NaN Invalid_operation\r
 381 dddvi608 divideint -1000  Inf   -> -0\r
 382 dddvi609 divideint -Inf  -Inf   ->  NaN Invalid_operation\r
 383 dddvi610 divideint -1    -Inf   ->  0\r
 384 dddvi611 divideint -0    -Inf   ->  0\r
 385 dddvi612 divideint  0    -Inf   -> -0\r
 386 dddvi613 divideint  1    -Inf   -> -0\r
 387 dddvi614 divideint  1000 -Inf   -> -0\r
 388 dddvi615 divideint  Inf  -Inf   ->  NaN Invalid_operation\r
 389 \r
 390 dddvi621 divideint  NaN -Inf    ->  NaN\r
 391 dddvi622 divideint  NaN -1000   ->  NaN\r
 392 dddvi623 divideint  NaN -1      ->  NaN\r
 393 dddvi624 divideint  NaN -0      ->  NaN\r
 394 dddvi625 divideint  NaN  0      ->  NaN\r
 395 dddvi626 divideint  NaN  1      ->  NaN\r
 396 dddvi627 divideint  NaN  1000   ->  NaN\r
 397 dddvi628 divideint  NaN  Inf    ->  NaN\r
 398 dddvi629 divideint  NaN  NaN    ->  NaN\r
 399 dddvi630 divideint -Inf  NaN    ->  NaN\r
 400 dddvi631 divideint -1000 NaN    ->  NaN\r
 401 dddvi632 divideint -1    NaN    ->  NaN\r
 402 dddvi633 divideint -0    NaN    ->  NaN\r
 403 dddvi634 divideint  0    NaN    ->  NaN\r
 404 dddvi635 divideint  1    NaN    ->  NaN\r
 405 dddvi636 divideint  1000 NaN    ->  NaN\r
 406 dddvi637 divideint  Inf  NaN    ->  NaN\r
 407 \r
 408 dddvi641 divideint  sNaN -Inf   ->  NaN  Invalid_operation\r
 409 dddvi642 divideint  sNaN -1000  ->  NaN  Invalid_operation\r
 410 dddvi643 divideint  sNaN -1     ->  NaN  Invalid_operation\r
 411 dddvi644 divideint  sNaN -0     ->  NaN  Invalid_operation\r
 412 dddvi645 divideint  sNaN  0     ->  NaN  Invalid_operation\r
 413 dddvi646 divideint  sNaN  1     ->  NaN  Invalid_operation\r
 414 dddvi647 divideint  sNaN  1000  ->  NaN  Invalid_operation\r
 415 dddvi648 divideint  sNaN  NaN   ->  NaN  Invalid_operation\r
 416 dddvi649 divideint  sNaN sNaN   ->  NaN  Invalid_operation\r
 417 dddvi650 divideint  NaN  sNaN   ->  NaN  Invalid_operation\r
 418 dddvi651 divideint -Inf  sNaN   ->  NaN  Invalid_operation\r
 419 dddvi652 divideint -1000 sNaN   ->  NaN  Invalid_operation\r
 420 dddvi653 divideint -1    sNaN   ->  NaN  Invalid_operation\r
 421 dddvi654 divideint -0    sNaN   ->  NaN  Invalid_operation\r
 422 dddvi655 divideint  0    sNaN   ->  NaN  Invalid_operation\r
 423 dddvi656 divideint  1    sNaN   ->  NaN  Invalid_operation\r
 424 dddvi657 divideint  1000 sNaN   ->  NaN  Invalid_operation\r
 425 dddvi658 divideint  Inf  sNaN   ->  NaN  Invalid_operation\r
 426 dddvi659 divideint  NaN  sNaN   ->  NaN  Invalid_operation\r
 427 \r
 428 -- propagating NaNs\r
 429 dddvi661 divideint  NaN9 -Inf   ->  NaN9\r
 430 dddvi662 divideint  NaN8  1000  ->  NaN8\r
 431 dddvi663 divideint  NaN7  Inf   ->  NaN7\r
 432 dddvi664 divideint -NaN6  NaN5  -> -NaN6\r
 433 dddvi665 divideint -Inf   NaN4  ->  NaN4\r
 434 dddvi666 divideint -1000  NaN3  ->  NaN3\r
 435 dddvi667 divideint  Inf  -NaN2  -> -NaN2\r
 436 \r
 437 dddvi671 divideint -sNaN99 -Inf    -> -NaN99 Invalid_operation\r
 438 dddvi672 divideint  sNaN98 -1      ->  NaN98 Invalid_operation\r
 439 dddvi673 divideint  sNaN97  NaN    ->  NaN97 Invalid_operation\r
 440 dddvi674 divideint  sNaN96 sNaN94  ->  NaN96 Invalid_operation\r
 441 dddvi675 divideint  NaN95  sNaN93  ->  NaN93 Invalid_operation\r
 442 dddvi676 divideint -Inf    sNaN92  ->  NaN92 Invalid_operation\r
 443 dddvi677 divideint  0      sNaN91  ->  NaN91 Invalid_operation\r
 444 dddvi678 divideint  Inf   -sNaN90  -> -NaN90 Invalid_operation\r
 445 dddvi679 divideint  NaN    sNaN89  ->  NaN89 Invalid_operation\r
 446 \r
 447 -- Null tests\r
 448 dddvi900 divideint  10  # -> NaN Invalid_operation\r
 449 dddvi901 divideint   # 10 -> NaN Invalid_operation\r