PageRenderTime 152ms CodeModel.GetById 146ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/Lib/test/decimaltestdata/dqDivideInt.decTest

http://unladen-swallow.googlecode.com/
Unknown | 453 lines | 416 code | 37 blank | 0 comment | 0 complexity | cb434f2e4f123733ec640740b37f4e7e MD5 | raw file
  1------------------------------------------------------------------------
  2-- dqDivideInt.decTest -- decQuad 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@uk.ibm.com                                                   --
 19------------------------------------------------------------------------
 20version: 2.58
 21
 22extended:    1
 23clamp:       1
 24precision:   34
 25maxExponent: 6144
 26minExponent: -6143
 27rounding:    half_even
 28
 29
 30dqdvi001 divideint  1     1    ->  1
 31dqdvi002 divideint  2     1    ->  2
 32dqdvi003 divideint  1     2    ->  0
 33dqdvi004 divideint  2     2    ->  1
 34dqdvi005 divideint  0     1    ->  0
 35dqdvi006 divideint  0     2    ->  0
 36dqdvi007 divideint  1     3    ->  0
 37dqdvi008 divideint  2     3    ->  0
 38dqdvi009 divideint  3     3    ->  1
 39
 40dqdvi010 divideint  2.4   1    ->  2
 41dqdvi011 divideint  2.4   -1   ->  -2
 42dqdvi012 divideint  -2.4  1    ->  -2
 43dqdvi013 divideint  -2.4  -1   ->  2
 44dqdvi014 divideint  2.40  1    ->  2
 45dqdvi015 divideint  2.400 1    ->  2
 46dqdvi016 divideint  2.4   2    ->  1
 47dqdvi017 divideint  2.400 2    ->  1
 48dqdvi018 divideint  2.    2    ->  1
 49dqdvi019 divideint  20    20   ->  1
 50
 51dqdvi020 divideint  187   187  ->  1
 52dqdvi021 divideint  5     2    ->  2
 53dqdvi022 divideint  5     2.0    ->  2
 54dqdvi023 divideint  5     2.000  ->  2
 55dqdvi024 divideint  5     0.200  ->  25
 56dqdvi025 divideint  5     0.200  ->  25
 57
 58dqdvi030 divideint  1     2      ->  0
 59dqdvi031 divideint  1     4      ->  0
 60dqdvi032 divideint  1     8      ->  0
 61dqdvi033 divideint  1     16     ->  0
 62dqdvi034 divideint  1     32     ->  0
 63dqdvi035 divideint  1     64     ->  0
 64dqdvi040 divideint  1    -2      -> -0
 65dqdvi041 divideint  1    -4      -> -0
 66dqdvi042 divideint  1    -8      -> -0
 67dqdvi043 divideint  1    -16     -> -0
 68dqdvi044 divideint  1    -32     -> -0
 69dqdvi045 divideint  1    -64     -> -0
 70dqdvi050 divideint -1     2      -> -0
 71dqdvi051 divideint -1     4      -> -0
 72dqdvi052 divideint -1     8      -> -0
 73dqdvi053 divideint -1     16     -> -0
 74dqdvi054 divideint -1     32     -> -0
 75dqdvi055 divideint -1     64     -> -0
 76dqdvi060 divideint -1    -2      ->  0
 77dqdvi061 divideint -1    -4      ->  0
 78dqdvi062 divideint -1    -8      ->  0
 79dqdvi063 divideint -1    -16     ->  0
 80dqdvi064 divideint -1    -32     ->  0
 81dqdvi065 divideint -1    -64     ->  0
 82
 83-- similar with powers of ten
 84dqdvi160 divideint  1     1         ->  1
 85dqdvi161 divideint  1     10        ->  0
 86dqdvi162 divideint  1     100       ->  0
 87dqdvi163 divideint  1     1000      ->  0
 88dqdvi164 divideint  1     10000     ->  0
 89dqdvi165 divideint  1     100000    ->  0
 90dqdvi166 divideint  1     1000000   ->  0
 91dqdvi167 divideint  1     10000000  ->  0
 92dqdvi168 divideint  1     100000000 ->  0
 93dqdvi170 divideint  1    -1         -> -1
 94dqdvi171 divideint  1    -10        -> -0
 95dqdvi172 divideint  1    -100       -> -0
 96dqdvi173 divideint  1    -1000      -> -0
 97dqdvi174 divideint  1    -10000     -> -0
 98dqdvi175 divideint  1    -100000    -> -0
 99dqdvi176 divideint  1    -1000000   -> -0
100dqdvi177 divideint  1    -10000000  -> -0
101dqdvi178 divideint  1    -100000000 -> -0
102dqdvi180 divideint -1     1         -> -1
103dqdvi181 divideint -1     10        -> -0
104dqdvi182 divideint -1     100       -> -0
105dqdvi183 divideint -1     1000      -> -0
106dqdvi184 divideint -1     10000     -> -0
107dqdvi185 divideint -1     100000    -> -0
108dqdvi186 divideint -1     1000000   -> -0
109dqdvi187 divideint -1     10000000  -> -0
110dqdvi188 divideint -1     100000000 -> -0
111dqdvi190 divideint -1    -1         ->  1
112dqdvi191 divideint -1    -10        ->  0
113dqdvi192 divideint -1    -100       ->  0
114dqdvi193 divideint -1    -1000      ->  0
115dqdvi194 divideint -1    -10000     ->  0
116dqdvi195 divideint -1    -100000    ->  0
117dqdvi196 divideint -1    -1000000   ->  0
118dqdvi197 divideint -1    -10000000  ->  0
119dqdvi198 divideint -1    -100000000 ->  0
120
121-- some long operand (at p=9) cases
122dqdvi070 divideint  999999999     1  ->  999999999
123dqdvi071 divideint  999999999.4   1  ->  999999999
124dqdvi072 divideint  999999999.5   1  ->  999999999
125dqdvi073 divideint  999999999.9   1  ->  999999999
126dqdvi074 divideint  999999999.999 1  ->  999999999
127
128dqdvi090 divideint  0.            1    ->  0
129dqdvi091 divideint  .0            1    ->  0
130dqdvi092 divideint  0.00          1    ->  0
131dqdvi093 divideint  0.00E+9       1    ->  0
132dqdvi094 divideint  0.0000E-50    1    ->  0
133
134dqdvi100 divideint  1  1   -> 1
135dqdvi101 divideint  1  2   -> 0
136dqdvi102 divideint  1  3   -> 0
137dqdvi103 divideint  1  4   -> 0
138dqdvi104 divideint  1  5   -> 0
139dqdvi105 divideint  1  6   -> 0
140dqdvi106 divideint  1  7   -> 0
141dqdvi107 divideint  1  8   -> 0
142dqdvi108 divideint  1  9   -> 0
143dqdvi109 divideint  1  10  -> 0
144dqdvi110 divideint  1  1   -> 1
145dqdvi111 divideint  2  1   -> 2
146dqdvi112 divideint  3  1   -> 3
147dqdvi113 divideint  4  1   -> 4
148dqdvi114 divideint  5  1   -> 5
149dqdvi115 divideint  6  1   -> 6
150dqdvi116 divideint  7  1   -> 7
151dqdvi117 divideint  8  1   -> 8
152dqdvi118 divideint  9  1   -> 9
153dqdvi119 divideint  10 1   -> 10
154
155-- from DiagBigDecimal
156dqdvi131 divideint  101.3   1     ->  101
157dqdvi132 divideint  101.0   1     ->  101
158dqdvi133 divideint  101.3   3     ->  33
159dqdvi134 divideint  101.0   3     ->  33
160dqdvi135 divideint  2.4     1     ->  2
161dqdvi136 divideint  2.400   1     ->  2
162dqdvi137 divideint  18      18    ->  1
163dqdvi138 divideint  1120    1000  ->  1
164dqdvi139 divideint  2.4     2     ->  1
165dqdvi140 divideint  2.400   2     ->  1
166dqdvi141 divideint  0.5     2.000 ->  0
167dqdvi142 divideint  8.005   7     ->  1
168dqdvi143 divideint  5       2     ->  2
169dqdvi144 divideint  0       2     ->  0
170dqdvi145 divideint  0.00    2     ->  0
171
172-- Others
173dqdvi150 divideint  12345  4.999  ->  2469
174dqdvi151 divideint  12345  4.99   ->  2473
175dqdvi152 divideint  12345  4.9    ->  2519
176dqdvi153 divideint  12345  5      ->  2469
177dqdvi154 divideint  12345  5.1    ->  2420
178dqdvi155 divideint  12345  5.01   ->  2464
179dqdvi156 divideint  12345  5.001  ->  2468
180dqdvi157 divideint    101  7.6    ->  13
181
182-- Various flavours of divideint by 0
183dqdvi201 divideint  0      0   -> NaN Division_undefined
184dqdvi202 divideint  0.0E5  0   -> NaN Division_undefined
185dqdvi203 divideint  0.000  0   -> NaN Division_undefined
186dqdvi204 divideint  0.0001 0   -> Infinity Division_by_zero
187dqdvi205 divideint  0.01   0   -> Infinity Division_by_zero
188dqdvi206 divideint  0.1    0   -> Infinity Division_by_zero
189dqdvi207 divideint  1      0   -> Infinity Division_by_zero
190dqdvi208 divideint  1      0.0 -> Infinity Division_by_zero
191dqdvi209 divideint 10      0.0 -> Infinity Division_by_zero
192dqdvi210 divideint 1E+100  0.0 -> Infinity Division_by_zero
193dqdvi211 divideint 1E+380  0   -> Infinity Division_by_zero
194dqdvi214 divideint  -0.0001 0   -> -Infinity Division_by_zero
195dqdvi215 divideint  -0.01   0   -> -Infinity Division_by_zero
196dqdvi216 divideint  -0.1    0   -> -Infinity Division_by_zero
197dqdvi217 divideint  -1      0   -> -Infinity Division_by_zero
198dqdvi218 divideint  -1      0.0 -> -Infinity Division_by_zero
199dqdvi219 divideint -10      0.0 -> -Infinity Division_by_zero
200dqdvi220 divideint -1E+100  0.0 -> -Infinity Division_by_zero
201dqdvi221 divideint -1E+380  0   -> -Infinity Division_by_zero
202
203-- test some cases that are close to exponent overflow
204dqdvi270 divideint 1 1e384          -> 0
205dqdvi271 divideint 1 0.9e384        -> 0
206dqdvi272 divideint 1 0.99e384       -> 0
207dqdvi273 divideint 1 0.9999999999999999e384       -> 0
208dqdvi274 divideint 9e384    1       -> NaN Division_impossible
209dqdvi275 divideint 9.9e384  1       -> NaN Division_impossible
210dqdvi276 divideint 9.99e384 1       -> NaN Division_impossible
211dqdvi277 divideint 9.999999999999999e384 1 -> NaN Division_impossible
212
213dqdvi280 divideint 0.1 9e-383       -> NaN Division_impossible
214dqdvi281 divideint 0.1 99e-383      -> NaN Division_impossible
215dqdvi282 divideint 0.1 999e-383     -> NaN Division_impossible
216dqdvi283 divideint 0.1 9e-382       -> NaN Division_impossible
217dqdvi284 divideint 0.1 99e-382      -> NaN Division_impossible
218
219-- GD edge cases: lhs smaller than rhs but more digits
220dqdvi301  divideint  0.9      2      ->  0
221dqdvi302  divideint  0.9      2.0    ->  0
222dqdvi303  divideint  0.9      2.1    ->  0
223dqdvi304  divideint  0.9      2.00   ->  0
224dqdvi305  divideint  0.9      2.01   ->  0
225dqdvi306  divideint  0.12     1      ->  0
226dqdvi307  divideint  0.12     1.0    ->  0
227dqdvi308  divideint  0.12     1.00   ->  0
228dqdvi309  divideint  0.12     1.0    ->  0
229dqdvi310  divideint  0.12     1.00   ->  0
230dqdvi311  divideint  0.12     2      ->  0
231dqdvi312  divideint  0.12     2.0    ->  0
232dqdvi313  divideint  0.12     2.1    ->  0
233dqdvi314  divideint  0.12     2.00   ->  0
234dqdvi315  divideint  0.12     2.01   ->  0
235
236-- edge cases of impossible
237dqdvi330  divideint  1234567987654321987654321890123456  10    ->  123456798765432198765432189012345
238dqdvi331  divideint  1234567987654321987654321890123456   1    ->  1234567987654321987654321890123456
239dqdvi332  divideint  1234567987654321987654321890123456   0.1  ->  NaN Division_impossible
240dqdvi333  divideint  1234567987654321987654321890123456   0.01 ->  NaN Division_impossible
241
242-- overflow and underflow tests [from divide]
243dqdvi1051 divideint  1e+277  1e-311 ->  NaN Division_impossible
244dqdvi1052 divideint  1e+277 -1e-311 ->  NaN Division_impossible
245dqdvi1053 divideint -1e+277  1e-311 ->  NaN Division_impossible
246dqdvi1054 divideint -1e+277 -1e-311 ->  NaN Division_impossible
247dqdvi1055 divideint  1e-277  1e+311 ->  0
248dqdvi1056 divideint  1e-277 -1e+311 -> -0
249dqdvi1057 divideint -1e-277  1e+311 -> -0
250dqdvi1058 divideint -1e-277 -1e+311 ->  0
251
252-- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
253dqdvi1060 divideint 1e-291 1e+101 -> 0
254dqdvi1061 divideint 1e-291 1e+102 -> 0
255dqdvi1062 divideint 1e-291 1e+103 -> 0
256dqdvi1063 divideint 1e-291 1e+104 -> 0
257dqdvi1064 divideint 1e-291 1e+105 -> 0
258dqdvi1065 divideint 1e-291 1e+106 -> 0
259dqdvi1066 divideint 1e-291 1e+107 -> 0
260dqdvi1067 divideint 1e-291 1e+108 -> 0
261dqdvi1068 divideint 1e-291 1e+109 -> 0
262dqdvi1069 divideint 1e-291 1e+110 -> 0
263
264dqdvi1101 divideint  1.0000E-394  1     -> 0
265dqdvi1102 divideint  1.000E-394   1e+1  -> 0
266dqdvi1103 divideint  1.00E-394    1e+2  -> 0
267
268dqdvi1118 divideint  1E-394       1e+4  -> 0
269dqdvi1119 divideint  3E-394      -1e+5  -> -0
270dqdvi1120 divideint  5E-394       1e+5  -> 0
271
272dqdvi1124 divideint  1E-394      -1e+4  -> -0
273dqdvi1130 divideint  3.0E-394    -1e+5  -> -0
274
275dqdvi1131 divideint  1.0E-199     1e+200 -> 0
276dqdvi1132 divideint  1.0E-199     1e+199 -> 0
277dqdvi1133 divideint  1.0E-199     1e+198 -> 0
278dqdvi1134 divideint  2.0E-199     2e+198 -> 0
279dqdvi1135 divideint  4.0E-199     4e+198 -> 0
280
281-- long operand checks
282dqdvi401 divideint 12345678000 100 -> 123456780
283dqdvi402 divideint 1 12345678000   -> 0
284dqdvi403 divideint 1234567800  10  -> 123456780
285dqdvi404 divideint 1 1234567800    -> 0
286dqdvi405 divideint 1234567890  10  -> 123456789
287dqdvi406 divideint 1 1234567890    -> 0
288dqdvi407 divideint 1234567891  10  -> 123456789
289dqdvi408 divideint 1 1234567891    -> 0
290dqdvi409 divideint 12345678901 100 -> 123456789
291dqdvi410 divideint 1 12345678901   -> 0
292dqdvi411 divideint 1234567896  10  -> 123456789
293dqdvi412 divideint 1 1234567896    -> 0
294dqdvi413 divideint 12345678948 100 -> 123456789
295dqdvi414 divideint 12345678949 100 -> 123456789
296dqdvi415 divideint 12345678950 100 -> 123456789
297dqdvi416 divideint 12345678951 100 -> 123456789
298dqdvi417 divideint 12345678999 100 -> 123456789
299dqdvi441 divideint 12345678000 1 -> 12345678000
300dqdvi442 divideint 1 12345678000 -> 0
301dqdvi443 divideint 1234567800  1 -> 1234567800
302dqdvi444 divideint 1 1234567800  -> 0
303dqdvi445 divideint 1234567890  1 -> 1234567890
304dqdvi446 divideint 1 1234567890  -> 0
305dqdvi447 divideint 1234567891  1 -> 1234567891
306dqdvi448 divideint 1 1234567891  -> 0
307dqdvi449 divideint 12345678901 1 -> 12345678901
308dqdvi450 divideint 1 12345678901 -> 0
309dqdvi451 divideint 1234567896  1 -> 1234567896
310dqdvi452 divideint 1 1234567896  -> 0
311
312-- more zeros, etc.
313dqdvi531 divideint 5.00 1E-3    -> 5000
314dqdvi532 divideint 00.00 0.000  -> NaN Division_undefined
315dqdvi533 divideint 00.00 0E-3   -> NaN Division_undefined
316dqdvi534 divideint  0    -0     -> NaN Division_undefined
317dqdvi535 divideint -0     0     -> NaN Division_undefined
318dqdvi536 divideint -0    -0     -> NaN Division_undefined
319
320dqdvi541 divideint  0    -1     -> -0
321dqdvi542 divideint -0    -1     ->  0
322dqdvi543 divideint  0     1     ->  0
323dqdvi544 divideint -0     1     -> -0
324dqdvi545 divideint -1     0     -> -Infinity Division_by_zero
325dqdvi546 divideint -1    -0     ->  Infinity Division_by_zero
326dqdvi547 divideint  1     0     ->  Infinity Division_by_zero
327dqdvi548 divideint  1    -0     -> -Infinity Division_by_zero
328
329dqdvi551 divideint  0.0  -1     -> -0
330dqdvi552 divideint -0.0  -1     ->  0
331dqdvi553 divideint  0.0   1     ->  0
332dqdvi554 divideint -0.0   1     -> -0
333dqdvi555 divideint -1.0   0     -> -Infinity Division_by_zero
334dqdvi556 divideint -1.0  -0     ->  Infinity Division_by_zero
335dqdvi557 divideint  1.0   0     ->  Infinity Division_by_zero
336dqdvi558 divideint  1.0  -0     -> -Infinity Division_by_zero
337
338dqdvi561 divideint  0    -1.0   -> -0
339dqdvi562 divideint -0    -1.0   ->  0
340dqdvi563 divideint  0     1.0   ->  0
341dqdvi564 divideint -0     1.0   -> -0
342dqdvi565 divideint -1     0.0   -> -Infinity Division_by_zero
343dqdvi566 divideint -1    -0.0   ->  Infinity Division_by_zero
344dqdvi567 divideint  1     0.0   ->  Infinity Division_by_zero
345dqdvi568 divideint  1    -0.0   -> -Infinity Division_by_zero
346
347dqdvi571 divideint  0.0  -1.0   -> -0
348dqdvi572 divideint -0.0  -1.0   ->  0
349dqdvi573 divideint  0.0   1.0   ->  0
350dqdvi574 divideint -0.0   1.0   -> -0
351dqdvi575 divideint -1.0   0.0   -> -Infinity Division_by_zero
352dqdvi576 divideint -1.0  -0.0   ->  Infinity Division_by_zero
353dqdvi577 divideint  1.0   0.0   ->  Infinity Division_by_zero
354dqdvi578 divideint  1.0  -0.0   -> -Infinity Division_by_zero
355
356-- Specials
357dqdvi580 divideint  Inf  -Inf   ->  NaN Invalid_operation
358dqdvi581 divideint  Inf  -1000  -> -Infinity
359dqdvi582 divideint  Inf  -1     -> -Infinity
360dqdvi583 divideint  Inf  -0     -> -Infinity
361dqdvi584 divideint  Inf   0     ->  Infinity
362dqdvi585 divideint  Inf   1     ->  Infinity
363dqdvi586 divideint  Inf   1000  ->  Infinity
364dqdvi587 divideint  Inf   Inf   ->  NaN Invalid_operation
365dqdvi588 divideint -1000  Inf   -> -0
366dqdvi589 divideint -Inf   Inf   ->  NaN Invalid_operation
367dqdvi590 divideint -1     Inf   -> -0
368dqdvi591 divideint -0     Inf   -> -0
369dqdvi592 divideint  0     Inf   ->  0
370dqdvi593 divideint  1     Inf   ->  0
371dqdvi594 divideint  1000  Inf   ->  0
372dqdvi595 divideint  Inf   Inf   ->  NaN Invalid_operation
373
374dqdvi600 divideint -Inf  -Inf   ->  NaN Invalid_operation
375dqdvi601 divideint -Inf  -1000  ->  Infinity
376dqdvi602 divideint -Inf  -1     ->  Infinity
377dqdvi603 divideint -Inf  -0     ->  Infinity
378dqdvi604 divideint -Inf   0     -> -Infinity
379dqdvi605 divideint -Inf   1     -> -Infinity
380dqdvi606 divideint -Inf   1000  -> -Infinity
381dqdvi607 divideint -Inf   Inf   ->  NaN Invalid_operation
382dqdvi608 divideint -1000  Inf   -> -0
383dqdvi609 divideint -Inf  -Inf   ->  NaN Invalid_operation
384dqdvi610 divideint -1    -Inf   ->  0
385dqdvi611 divideint -0    -Inf   ->  0
386dqdvi612 divideint  0    -Inf   -> -0
387dqdvi613 divideint  1    -Inf   -> -0
388dqdvi614 divideint  1000 -Inf   -> -0
389dqdvi615 divideint  Inf  -Inf   ->  NaN Invalid_operation
390
391dqdvi621 divideint  NaN -Inf    ->  NaN
392dqdvi622 divideint  NaN -1000   ->  NaN
393dqdvi623 divideint  NaN -1      ->  NaN
394dqdvi624 divideint  NaN -0      ->  NaN
395dqdvi625 divideint  NaN  0      ->  NaN
396dqdvi626 divideint  NaN  1      ->  NaN
397dqdvi627 divideint  NaN  1000   ->  NaN
398dqdvi628 divideint  NaN  Inf    ->  NaN
399dqdvi629 divideint  NaN  NaN    ->  NaN
400dqdvi630 divideint -Inf  NaN    ->  NaN
401dqdvi631 divideint -1000 NaN    ->  NaN
402dqdvi632 divideint -1    NaN    ->  NaN
403dqdvi633 divideint -0    NaN    ->  NaN
404dqdvi634 divideint  0    NaN    ->  NaN
405dqdvi635 divideint  1    NaN    ->  NaN
406dqdvi636 divideint  1000 NaN    ->  NaN
407dqdvi637 divideint  Inf  NaN    ->  NaN
408
409dqdvi641 divideint  sNaN -Inf   ->  NaN  Invalid_operation
410dqdvi642 divideint  sNaN -1000  ->  NaN  Invalid_operation
411dqdvi643 divideint  sNaN -1     ->  NaN  Invalid_operation
412dqdvi644 divideint  sNaN -0     ->  NaN  Invalid_operation
413dqdvi645 divideint  sNaN  0     ->  NaN  Invalid_operation
414dqdvi646 divideint  sNaN  1     ->  NaN  Invalid_operation
415dqdvi647 divideint  sNaN  1000  ->  NaN  Invalid_operation
416dqdvi648 divideint  sNaN  NaN   ->  NaN  Invalid_operation
417dqdvi649 divideint  sNaN sNaN   ->  NaN  Invalid_operation
418dqdvi650 divideint  NaN  sNaN   ->  NaN  Invalid_operation
419dqdvi651 divideint -Inf  sNaN   ->  NaN  Invalid_operation
420dqdvi652 divideint -1000 sNaN   ->  NaN  Invalid_operation
421dqdvi653 divideint -1    sNaN   ->  NaN  Invalid_operation
422dqdvi654 divideint -0    sNaN   ->  NaN  Invalid_operation
423dqdvi655 divideint  0    sNaN   ->  NaN  Invalid_operation
424dqdvi656 divideint  1    sNaN   ->  NaN  Invalid_operation
425dqdvi657 divideint  1000 sNaN   ->  NaN  Invalid_operation
426dqdvi658 divideint  Inf  sNaN   ->  NaN  Invalid_operation
427dqdvi659 divideint  NaN  sNaN   ->  NaN  Invalid_operation
428
429-- propagating NaNs
430dqdvi661 divideint  NaN9 -Inf   ->  NaN9
431dqdvi662 divideint  NaN8  1000  ->  NaN8
432dqdvi663 divideint  NaN7  Inf   ->  NaN7
433dqdvi664 divideint -NaN6  NaN5  -> -NaN6
434dqdvi665 divideint -Inf   NaN4  ->  NaN4
435dqdvi666 divideint -1000  NaN3  ->  NaN3
436dqdvi667 divideint  Inf  -NaN2  -> -NaN2
437
438dqdvi671 divideint -sNaN99 -Inf    -> -NaN99 Invalid_operation
439dqdvi672 divideint  sNaN98 -1      ->  NaN98 Invalid_operation
440dqdvi673 divideint  sNaN97  NaN    ->  NaN97 Invalid_operation
441dqdvi674 divideint  sNaN96 sNaN94  ->  NaN96 Invalid_operation
442dqdvi675 divideint  NaN95  sNaN93  ->  NaN93 Invalid_operation
443dqdvi676 divideint -Inf    sNaN92  ->  NaN92 Invalid_operation
444dqdvi677 divideint  0      sNaN91  ->  NaN91 Invalid_operation
445dqdvi678 divideint  Inf   -sNaN90  -> -NaN90 Invalid_operation
446dqdvi679 divideint  NaN    sNaN89  ->  NaN89 Invalid_operation
447
448-- Gyuris example
449dqdvi700 divideint 8.336804418094040989630006819881709E-6143 8.336804418094040989630006819889000E-6143 -> 0
450
451-- Null tests
452dqdvi900 divideint  10  # -> NaN Invalid_operation
453dqdvi901 divideint   # 10 -> NaN Invalid_operation