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

-- ddDivide.decTest -- decDouble division                             --

-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --

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

-- Please see the document "General Decimal Arithmetic Testcases"     --

-- at http://www2.hursley.ibm.com/decimal for the description of      --

-- these testcases.                                                   --

--                                                                    --

-- These testcases are experimental ('beta' versions), and they       --

-- may contain errors.  They are offered on an as-is basis.  In       --

-- particular, achieving the same results as the tests here is not    --

-- a guarantee that an implementation complies with any Standard      --

-- or specification.  The tests are not exhaustive.                   --

--                                                                    --

-- Please send comments, suggestions, and corrections to the author:  --

--   Mike Cowlishaw, IBM Fellow                                       --

--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --

--   mfc@uk.ibm.com                                                   --

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

version: 2.58

precision:   16

maxExponent: 384

minExponent: -383

extended:    1

clamp:       1

rounding:    half_even

-- sanity checks

dddiv001 divide  1     1    ->  1

dddiv002 divide  2     1    ->  2

dddiv003 divide  1     2    ->  0.5

dddiv004 divide  2     2    ->  1

dddiv005 divide  0     1    ->  0

dddiv006 divide  0     2    ->  0

dddiv007 divide  1     3    ->  0.3333333333333333 Inexact Rounded

dddiv008 divide  2     3    ->  0.6666666666666667 Inexact Rounded

dddiv009 divide  3     3    ->  1

dddiv010 divide  2.4   1    ->  2.4

dddiv011 divide  2.4   -1   ->  -2.4

dddiv012 divide  -2.4  1    ->  -2.4

dddiv013 divide  -2.4  -1   ->  2.4

dddiv014 divide  2.40  1    ->  2.40

dddiv015 divide  2.400 1    ->  2.400

dddiv016 divide  2.4   2    ->  1.2

dddiv017 divide  2.400 2    ->  1.200

dddiv018 divide  2.    2    ->  1

dddiv019 divide  20    20   ->  1

dddiv020 divide  187   187    ->  1

dddiv021 divide  5     2      ->  2.5

dddiv022 divide  50    20     ->  2.5

dddiv023 divide  500   200    ->  2.5

dddiv024 divide  50.0  20.0   ->  2.5

dddiv025 divide  5.00  2.00   ->  2.5

dddiv026 divide  5     2.0    ->  2.5

dddiv027 divide  5     2.000  ->  2.5

dddiv028 divide  5     0.20   ->  25

dddiv029 divide  5     0.200  ->  25

dddiv030 divide  10    1      ->  10

dddiv031 divide  100   1      ->  100

dddiv032 divide  1000  1      ->  1000

dddiv033 divide  1000  100    ->  10

dddiv035 divide  1     2      ->  0.5

dddiv036 divide  1     4      ->  0.25

dddiv037 divide  1     8      ->  0.125

dddiv038 divide  1     16     ->  0.0625

dddiv039 divide  1     32     ->  0.03125

dddiv040 divide  1     64     ->  0.015625

dddiv041 divide  1    -2      ->  -0.5

dddiv042 divide  1    -4      ->  -0.25

dddiv043 divide  1    -8      ->  -0.125

dddiv044 divide  1    -16     ->  -0.0625

dddiv045 divide  1    -32     ->  -0.03125

dddiv046 divide  1    -64     ->  -0.015625

dddiv047 divide -1     2      ->  -0.5

dddiv048 divide -1     4      ->  -0.25

dddiv049 divide -1     8      ->  -0.125

dddiv050 divide -1     16     ->  -0.0625

dddiv051 divide -1     32     ->  -0.03125

dddiv052 divide -1     64     ->  -0.015625

dddiv053 divide -1    -2      ->  0.5

dddiv054 divide -1    -4      ->  0.25

dddiv055 divide -1    -8      ->  0.125

dddiv056 divide -1    -16     ->  0.0625

dddiv057 divide -1    -32     ->  0.03125

dddiv058 divide -1    -64     ->  0.015625

-- bcdTime

dddiv060 divide  1 7                   -> 0.1428571428571429 Inexact Rounded

dddiv061 divide 1.2345678  1.9876543   -> 0.6211179680490717 Inexact Rounded

--               1234567890123456

dddiv071 divide  9999999999999999 1  ->  9999999999999999

dddiv072 divide  999999999999999  1  ->  999999999999999

dddiv073 divide  99999999999999   1  ->  99999999999999

dddiv074 divide  9999999999999    1  ->  9999999999999

dddiv075 divide  999999999999     1  ->  999999999999

dddiv076 divide  99999999999      1  ->  99999999999

dddiv077 divide  9999999999       1  ->  9999999999

dddiv078 divide  999999999        1  ->  999999999

dddiv079 divide  99999999         1  ->  99999999

dddiv080 divide  9999999          1  ->  9999999

dddiv081 divide  999999           1  ->  999999

dddiv082 divide  99999            1  ->  99999

dddiv083 divide  9999             1  ->  9999

dddiv084 divide  999              1  ->  999

dddiv085 divide  99               1  ->  99

dddiv086 divide  9                1  ->  9

dddiv090 divide  0.            1    ->  0

dddiv091 divide  .0            1    ->  0.0

dddiv092 divide  0.00          1    ->  0.00

dddiv093 divide  0.00E+9       1    ->  0E+7

dddiv094 divide  0.0000E-50    1    ->  0E-54

dddiv095 divide  1            1E-8  ->  1E+8

dddiv096 divide  1            1E-9  ->  1E+9

dddiv097 divide  1            1E-10 ->  1E+10

dddiv098 divide  1            1E-11 ->  1E+11

dddiv099 divide  1            1E-12 ->  1E+12

dddiv100 divide  1  1   -> 1

dddiv101 divide  1  2   -> 0.5

dddiv102 divide  1  3   -> 0.3333333333333333 Inexact Rounded

dddiv103 divide  1  4   -> 0.25

dddiv104 divide  1  5   -> 0.2

dddiv105 divide  1  6   -> 0.1666666666666667 Inexact Rounded

dddiv106 divide  1  7   -> 0.1428571428571429 Inexact Rounded

dddiv107 divide  1  8   -> 0.125

dddiv108 divide  1  9   -> 0.1111111111111111 Inexact Rounded

dddiv109 divide  1  10  -> 0.1

dddiv110 divide  1  1   -> 1

dddiv111 divide  2  1   -> 2

dddiv112 divide  3  1   -> 3

dddiv113 divide  4  1   -> 4

dddiv114 divide  5  1   -> 5

dddiv115 divide  6  1   -> 6

dddiv116 divide  7  1   -> 7

dddiv117 divide  8  1   -> 8

dddiv118 divide  9  1   -> 9

dddiv119 divide  10 1   -> 10

dddiv120 divide  3E+1 0.001  -> 3E+4

dddiv121 divide  2.200 2     -> 1.100

dddiv130 divide  12345  4.999  ->  2469.493898779756    Inexact Rounded

dddiv131 divide  12345  4.99   ->  2473.947895791583    Inexact Rounded

dddiv132 divide  12345  4.9    ->  2519.387755102041    Inexact Rounded

dddiv133 divide  12345  5      ->  2469

dddiv134 divide  12345  5.1    ->  2420.588235294118    Inexact Rounded

dddiv135 divide  12345  5.01   ->  2464.071856287425    Inexact Rounded

dddiv136 divide  12345  5.001  ->  2468.506298740252    Inexact Rounded

-- test possibly imprecise results

dddiv220 divide 391   597 ->  0.6549413735343384  Inexact Rounded

dddiv221 divide 391  -597 -> -0.6549413735343384  Inexact Rounded

dddiv222 divide -391  597 -> -0.6549413735343384  Inexact Rounded

dddiv223 divide -391 -597 ->  0.6549413735343384  Inexact Rounded

-- test some cases that are close to exponent overflow

dddiv270 divide 1 1e384                  -> 1E-384                 Subnormal

dddiv271 divide 1 0.9e384                -> 1.11111111111111E-384  Rounded Inexact Subnormal Underflow

dddiv272 divide 1 0.99e384               -> 1.01010101010101E-384  Rounded Inexact Subnormal Underflow

dddiv273 divide 1 0.9999999999999999e384 -> 1.00000000000000E-384  Rounded Inexact Subnormal Underflow

dddiv274 divide 9e384    1               -> 9.000000000000000E+384 Clamped

dddiv275 divide 9.9e384  1               -> 9.900000000000000E+384 Clamped

dddiv276 divide 9.99e384 1               -> 9.990000000000000E+384 Clamped

dddiv277 divide 9.999999999999999e384 1  -> 9.999999999999999E+384

-- Divide into 0 tests

dddiv301 divide    0    7     -> 0

dddiv302 divide    0    7E-5  -> 0E+5

dddiv303 divide    0    7E-1  -> 0E+1

dddiv304 divide    0    7E+1  -> 0.0

dddiv305 divide    0    7E+5  -> 0.00000

dddiv306 divide    0    7E+6  -> 0.000000

dddiv307 divide    0    7E+7  -> 0E-7

dddiv308 divide    0   70E-5  -> 0E+5

dddiv309 divide    0   70E-1  -> 0E+1

dddiv310 divide    0   70E+0  -> 0

dddiv311 divide    0   70E+1  -> 0.0

dddiv312 divide    0   70E+5  -> 0.00000

dddiv313 divide    0   70E+6  -> 0.000000

dddiv314 divide    0   70E+7  -> 0E-7

dddiv315 divide    0  700E-5  -> 0E+5

dddiv316 divide    0  700E-1  -> 0E+1

dddiv317 divide    0  700E+0  -> 0

dddiv318 divide    0  700E+1  -> 0.0

dddiv319 divide    0  700E+5  -> 0.00000

dddiv320 divide    0  700E+6  -> 0.000000

dddiv321 divide    0  700E+7  -> 0E-7

dddiv322 divide    0  700E+77 -> 0E-77

dddiv331 divide 0E-3    7E-5  -> 0E+2

dddiv332 divide 0E-3    7E-1  -> 0.00

dddiv333 divide 0E-3    7E+1  -> 0.0000

dddiv334 divide 0E-3    7E+5  -> 0E-8

dddiv335 divide 0E-1    7E-5  -> 0E+4

dddiv336 divide 0E-1    7E-1  -> 0

dddiv337 divide 0E-1    7E+1  -> 0.00

dddiv338 divide 0E-1    7E+5  -> 0.000000

dddiv339 divide 0E+1    7E-5  -> 0E+6

dddiv340 divide 0E+1    7E-1  -> 0E+2

dddiv341 divide 0E+1    7E+1  -> 0

dddiv342 divide 0E+1    7E+5  -> 0.0000

dddiv343 divide 0E+3    7E-5  -> 0E+8

dddiv344 divide 0E+3    7E-1  -> 0E+4

dddiv345 divide 0E+3    7E+1  -> 0E+2

dddiv346 divide 0E+3    7E+5  -> 0.00

-- These were 'input rounding'

dddiv441 divide 12345678000 1 -> 12345678000

dddiv442 divide 1 12345678000 -> 8.100000664200054E-11 Inexact Rounded

dddiv443 divide 1234567800  1 -> 1234567800

dddiv444 divide 1 1234567800  -> 8.100000664200054E-10 Inexact Rounded

dddiv445 divide 1234567890  1 -> 1234567890

dddiv446 divide 1 1234567890  -> 8.100000073710001E-10 Inexact Rounded

dddiv447 divide 1234567891  1 -> 1234567891

dddiv448 divide 1 1234567891  -> 8.100000067149001E-10 Inexact Rounded

dddiv449 divide 12345678901 1 -> 12345678901

dddiv450 divide 1 12345678901 -> 8.100000073053901E-11 Inexact Rounded

dddiv451 divide 1234567896  1 -> 1234567896

dddiv452 divide 1 1234567896  -> 8.100000034344000E-10 Inexact Rounded

-- high-lows

dddiv453 divide 1e+1   1    ->   1E+1

dddiv454 divide 1e+1   1.0  ->   1E+1

dddiv455 divide 1e+1   1.00 ->   1E+1

dddiv456 divide 1e+2   2    ->   5E+1

dddiv457 divide 1e+2   2.0  ->   5E+1

dddiv458 divide 1e+2   2.00 ->   5E+1

-- some from IEEE discussions

dddiv460 divide 3e0      2e0     -> 1.5

dddiv461 divide 30e-1    2e0     -> 1.5

dddiv462 divide 300e-2   2e0     -> 1.50

dddiv464 divide 3000e-3  2e0     -> 1.500

dddiv465 divide 3e0      20e-1   -> 1.5

dddiv466 divide 30e-1    20e-1   -> 1.5

dddiv467 divide 300e-2   20e-1   -> 1.5

dddiv468 divide 3000e-3  20e-1   -> 1.50

dddiv469 divide 3e0      200e-2  -> 1.5

dddiv470 divide 30e-1    200e-2  -> 1.5

dddiv471 divide 300e-2   200e-2  -> 1.5

dddiv472 divide 3000e-3  200e-2  -> 1.5

dddiv473 divide 3e0      2000e-3 -> 1.5

dddiv474 divide 30e-1    2000e-3 -> 1.5

dddiv475 divide 300e-2   2000e-3 -> 1.5

dddiv476 divide 3000e-3  2000e-3 -> 1.5

-- some reciprocals

dddiv480 divide 1        1.0E+33 -> 1E-33

dddiv481 divide 1        10E+33  -> 1E-34

dddiv482 divide 1        1.0E-33 -> 1E+33

dddiv483 divide 1        10E-33  -> 1E+32

-- RMS discussion table

dddiv484 divide 0e5     1e3 ->   0E+2

dddiv485 divide 0e5     2e3 ->   0E+2

dddiv486 divide 0e5    10e2 ->   0E+3

dddiv487 divide 0e5    20e2 ->   0E+3

dddiv488 divide 0e5   100e1 ->   0E+4

dddiv489 divide 0e5   200e1 ->   0E+4

dddiv491 divide 1e5     1e3 ->   1E+2

dddiv492 divide 1e5     2e3 ->   5E+1

dddiv493 divide 1e5    10e2 ->   1E+2

dddiv494 divide 1e5    20e2 ->   5E+1

dddiv495 divide 1e5   100e1 ->   1E+2

dddiv496 divide 1e5   200e1 ->   5E+1

-- tryzeros cases

rounding:    half_up

dddiv497  divide  0E+380 1000E-13  -> 0E+369 Clamped

dddiv498  divide  0E-390 1000E+13  -> 0E-398 Clamped

rounding:    half_up

-- focus on trailing zeros issues

dddiv500 divide  1      9.9    ->  0.1010101010101010  Inexact Rounded

dddiv501 divide  1      9.09   ->  0.1100110011001100  Inexact Rounded

dddiv502 divide  1      9.009  ->  0.1110001110001110  Inexact Rounded

dddiv511 divide 1         2    -> 0.5

dddiv512 divide 1.0       2    -> 0.5

dddiv513 divide 1.00      2    -> 0.50

dddiv514 divide 1.000     2    -> 0.500

dddiv515 divide 1.0000    2    -> 0.5000

dddiv516 divide 1.00000   2    -> 0.50000

dddiv517 divide 1.000000  2    -> 0.500000

dddiv518 divide 1.0000000 2    -> 0.5000000

dddiv519 divide 1.00      2.00 -> 0.5

dddiv521 divide 2    1         -> 2

dddiv522 divide 2    1.0       -> 2

dddiv523 divide 2    1.00      -> 2

dddiv524 divide 2    1.000     -> 2

dddiv525 divide 2    1.0000    -> 2

dddiv526 divide 2    1.00000   -> 2

dddiv527 divide 2    1.000000  -> 2

dddiv528 divide 2    1.0000000 -> 2

dddiv529 divide 2.00 1.00      -> 2

dddiv530 divide  2.40   2      ->  1.20

dddiv531 divide  2.40   4      ->  0.60

dddiv532 divide  2.40  10      ->  0.24

dddiv533 divide  2.40   2.0    ->  1.2

dddiv534 divide  2.40   4.0    ->  0.6

dddiv535 divide  2.40  10.0    ->  0.24

dddiv536 divide  2.40   2.00   ->  1.2

dddiv537 divide  2.40   4.00   ->  0.6

dddiv538 divide  2.40  10.00   ->  0.24

dddiv539 divide  0.9    0.1    ->  9

dddiv540 divide  0.9    0.01   ->  9E+1

dddiv541 divide  0.9    0.001  ->  9E+2

dddiv542 divide  5      2      ->  2.5

dddiv543 divide  5      2.0    ->  2.5

dddiv544 divide  5      2.00   ->  2.5

dddiv545 divide  5      20     ->  0.25

dddiv546 divide  5      20.0   ->  0.25

dddiv547 divide  2.400  2      ->  1.200

dddiv548 divide  2.400  2.0    ->  1.20

dddiv549 divide  2.400  2.400  ->  1

dddiv550 divide  240    1      ->  240

dddiv551 divide  240    10     ->  24

dddiv552 divide  240    100    ->  2.4

dddiv553 divide  240    1000   ->  0.24

dddiv554 divide  2400   1      ->  2400

dddiv555 divide  2400   10     ->  240

dddiv556 divide  2400   100    ->  24

dddiv557 divide  2400   1000   ->  2.4

-- +ve exponent

dddiv600 divide  2.4E+9     2  ->  1.2E+9

dddiv601 divide  2.40E+9    2  ->  1.20E+9

dddiv602 divide  2.400E+9   2  ->  1.200E+9

dddiv603 divide  2.4000E+9  2  ->  1.2000E+9

dddiv604 divide  24E+8      2  ->  1.2E+9

dddiv605 divide  240E+7     2  ->  1.20E+9

dddiv606 divide  2400E+6    2  ->  1.200E+9

dddiv607 divide  24000E+5   2  ->  1.2000E+9

-- more zeros, etc.

dddiv731 divide 5.00 1E-3    -> 5.00E+3

dddiv732 divide 00.00 0.000  -> NaN Division_undefined

dddiv733 divide 00.00 0E-3   -> NaN Division_undefined

dddiv734 divide  0    -0     -> NaN Division_undefined

dddiv735 divide -0     0     -> NaN Division_undefined

dddiv736 divide -0    -0     -> NaN Division_undefined

dddiv741 divide  0    -1     -> -0

dddiv742 divide -0    -1     ->  0

dddiv743 divide  0     1     ->  0

dddiv744 divide -0     1     -> -0

dddiv745 divide -1     0     -> -Infinity Division_by_zero

dddiv746 divide -1    -0     ->  Infinity Division_by_zero

dddiv747 divide  1     0     ->  Infinity Division_by_zero

dddiv748 divide  1    -0     -> -Infinity Division_by_zero

dddiv751 divide  0.0  -1     -> -0.0

dddiv752 divide -0.0  -1     ->  0.0

dddiv753 divide  0.0   1     ->  0.0

dddiv754 divide -0.0   1     -> -0.0

dddiv755 divide -1.0   0     -> -Infinity Division_by_zero

dddiv756 divide -1.0  -0     ->  Infinity Division_by_zero

dddiv757 divide  1.0   0     ->  Infinity Division_by_zero

dddiv758 divide  1.0  -0     -> -Infinity Division_by_zero

dddiv761 divide  0    -1.0   -> -0E+1

dddiv762 divide -0    -1.0   ->  0E+1

dddiv763 divide  0     1.0   ->  0E+1

dddiv764 divide -0     1.0   -> -0E+1

dddiv765 divide -1     0.0   -> -Infinity Division_by_zero

dddiv766 divide -1    -0.0   ->  Infinity Division_by_zero

dddiv767 divide  1     0.0   ->  Infinity Division_by_zero

dddiv768 divide  1    -0.0   -> -Infinity Division_by_zero

dddiv771 divide  0.0  -1.0   -> -0

dddiv772 divide -0.0  -1.0   ->  0

dddiv773 divide  0.0   1.0   ->  0

dddiv774 divide -0.0   1.0   -> -0

dddiv775 divide -1.0   0.0   -> -Infinity Division_by_zero

dddiv776 divide -1.0  -0.0   ->  Infinity Division_by_zero

dddiv777 divide  1.0   0.0   ->  Infinity Division_by_zero

dddiv778 divide  1.0  -0.0   -> -Infinity Division_by_zero

-- Specials

dddiv780 divide  Inf  -Inf   ->  NaN Invalid_operation

dddiv781 divide  Inf  -1000  -> -Infinity

dddiv782 divide  Inf  -1     -> -Infinity

dddiv783 divide  Inf  -0     -> -Infinity

dddiv784 divide  Inf   0     ->  Infinity

dddiv785 divide  Inf   1     ->  Infinity

dddiv786 divide  Inf   1000  ->  Infinity

dddiv787 divide  Inf   Inf   ->  NaN Invalid_operation

dddiv788 divide -1000  Inf   -> -0E-398 Clamped

dddiv789 divide -Inf   Inf   ->  NaN Invalid_operation

dddiv790 divide -1     Inf   -> -0E-398 Clamped

dddiv791 divide -0     Inf   -> -0E-398 Clamped

dddiv792 divide  0     Inf   ->  0E-398 Clamped

dddiv793 divide  1     Inf   ->  0E-398 Clamped

dddiv794 divide  1000  Inf   ->  0E-398 Clamped

dddiv795 divide  Inf   Inf   ->  NaN Invalid_operation

dddiv800 divide -Inf  -Inf   ->  NaN Invalid_operation

dddiv801 divide -Inf  -1000  ->  Infinity

dddiv802 divide -Inf  -1     ->  Infinity

dddiv803 divide -Inf  -0     ->  Infinity

dddiv804 divide -Inf   0     -> -Infinity

dddiv805 divide -Inf   1     -> -Infinity

dddiv806 divide -Inf   1000  -> -Infinity

dddiv807 divide -Inf   Inf   ->  NaN Invalid_operation

dddiv808 divide -1000  Inf   -> -0E-398 Clamped

dddiv809 divide -Inf  -Inf   ->  NaN Invalid_operation

dddiv810 divide -1    -Inf   ->  0E-398 Clamped

dddiv811 divide -0    -Inf   ->  0E-398 Clamped

dddiv812 divide  0    -Inf   -> -0E-398 Clamped

dddiv813 divide  1    -Inf   -> -0E-398 Clamped

dddiv814 divide  1000 -Inf   -> -0E-398 Clamped

dddiv815 divide  Inf  -Inf   ->  NaN Invalid_operation

dddiv821 divide  NaN -Inf    ->  NaN

dddiv822 divide  NaN -1000   ->  NaN

dddiv823 divide  NaN -1      ->  NaN

dddiv824 divide  NaN -0      ->  NaN

dddiv825 divide  NaN  0      ->  NaN

dddiv826 divide  NaN  1      ->  NaN

dddiv827 divide  NaN  1000   ->  NaN

dddiv828 divide  NaN  Inf    ->  NaN

dddiv829 divide  NaN  NaN    ->  NaN

dddiv830 divide -Inf  NaN    ->  NaN

dddiv831 divide -1000 NaN    ->  NaN

dddiv832 divide -1    NaN    ->  NaN

dddiv833 divide -0    NaN    ->  NaN

dddiv834 divide  0    NaN    ->  NaN

dddiv835 divide  1    NaN    ->  NaN

dddiv836 divide  1000 NaN    ->  NaN

dddiv837 divide  Inf  NaN    ->  NaN

dddiv841 divide  sNaN -Inf   ->  NaN  Invalid_operation

dddiv842 divide  sNaN -1000  ->  NaN  Invalid_operation

dddiv843 divide  sNaN -1     ->  NaN  Invalid_operation

dddiv844 divide  sNaN -0     ->  NaN  Invalid_operation

dddiv845 divide  sNaN  0     ->  NaN  Invalid_operation

dddiv846 divide  sNaN  1     ->  NaN  Invalid_operation

dddiv847 divide  sNaN  1000  ->  NaN  Invalid_operation

dddiv848 divide  sNaN  NaN   ->  NaN  Invalid_operation

dddiv849 divide  sNaN sNaN   ->  NaN  Invalid_operation

dddiv850 divide  NaN  sNaN   ->  NaN  Invalid_operation

dddiv851 divide -Inf  sNaN   ->  NaN  Invalid_operation

dddiv852 divide -1000 sNaN   ->  NaN  Invalid_operation

dddiv853 divide -1    sNaN   ->  NaN  Invalid_operation

dddiv854 divide -0    sNaN   ->  NaN  Invalid_operation

dddiv855 divide  0    sNaN   ->  NaN  Invalid_operation

dddiv856 divide  1    sNaN   ->  NaN  Invalid_operation

dddiv857 divide  1000 sNaN   ->  NaN  Invalid_operation

dddiv858 divide  Inf  sNaN   ->  NaN  Invalid_operation

dddiv859 divide  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs

dddiv861 divide  NaN9 -Inf   ->  NaN9

dddiv862 divide  NaN8  1000  ->  NaN8

dddiv863 divide  NaN7  Inf   ->  NaN7

dddiv864 divide  NaN6  NaN5  ->  NaN6

dddiv865 divide -Inf   NaN4  ->  NaN4

dddiv866 divide -1000  NaN3  ->  NaN3

dddiv867 divide  Inf   NaN2  ->  NaN2

dddiv871 divide  sNaN99 -Inf    ->  NaN99 Invalid_operation

dddiv872 divide  sNaN98 -1      ->  NaN98 Invalid_operation

dddiv873 divide  sNaN97  NaN    ->  NaN97 Invalid_operation

dddiv874 divide  sNaN96 sNaN94  ->  NaN96 Invalid_operation

dddiv875 divide  NaN95  sNaN93  ->  NaN93 Invalid_operation

dddiv876 divide -Inf    sNaN92  ->  NaN92 Invalid_operation

dddiv877 divide  0      sNaN91  ->  NaN91 Invalid_operation

dddiv878 divide  Inf    sNaN90  ->  NaN90 Invalid_operation

dddiv879 divide  NaN    sNaN89  ->  NaN89 Invalid_operation

dddiv881 divide  -NaN9  -Inf   ->  -NaN9

dddiv882 divide  -NaN8   1000  ->  -NaN8

dddiv883 divide  -NaN7   Inf   ->  -NaN7

dddiv884 divide  -NaN6  -NaN5  ->  -NaN6

dddiv885 divide  -Inf   -NaN4  ->  -NaN4

dddiv886 divide  -1000  -NaN3  ->  -NaN3

dddiv887 divide   Inf   -NaN2  ->  -NaN2

dddiv891 divide -sNaN99 -Inf    -> -NaN99 Invalid_operation

dddiv892 divide -sNaN98 -1      -> -NaN98 Invalid_operation

dddiv893 divide -sNaN97  NaN    -> -NaN97 Invalid_operation

dddiv894 divide -sNaN96 -sNaN94 -> -NaN96 Invalid_operation

dddiv895 divide -NaN95  -sNaN93 -> -NaN93 Invalid_operation

dddiv896 divide -Inf    -sNaN92 -> -NaN92 Invalid_operation

dddiv897 divide  0      -sNaN91 -> -NaN91 Invalid_operation

dddiv898 divide  Inf    -sNaN90 -> -NaN90 Invalid_operation

dddiv899 divide -NaN    -sNaN89 -> -NaN89 Invalid_operation

-- Various flavours of divide by 0

dddiv901 divide    0       0   ->  NaN Division_undefined

dddiv902 divide    0.0E5   0   ->  NaN Division_undefined

dddiv903 divide    0.000   0   ->  NaN Division_undefined

dddiv904 divide    0.0001  0   ->  Infinity Division_by_zero

dddiv905 divide    0.01    0   ->  Infinity Division_by_zero

dddiv906 divide    0.1     0   ->  Infinity Division_by_zero

dddiv907 divide    1       0   ->  Infinity Division_by_zero

dddiv908 divide    1       0.0 ->  Infinity Division_by_zero

dddiv909 divide   10       0.0 ->  Infinity Division_by_zero

dddiv910 divide   1E+100   0.0 ->  Infinity Division_by_zero

dddiv911 divide   1E+100   0   ->  Infinity Division_by_zero

dddiv921 divide   -0.0001  0   -> -Infinity Division_by_zero

dddiv922 divide   -0.01    0   -> -Infinity Division_by_zero

dddiv923 divide   -0.1     0   -> -Infinity Division_by_zero

dddiv924 divide   -1       0   -> -Infinity Division_by_zero

dddiv925 divide   -1       0.0 -> -Infinity Division_by_zero

dddiv926 divide  -10       0.0 -> -Infinity Division_by_zero

dddiv927 divide  -1E+100   0.0 -> -Infinity Division_by_zero

dddiv928 divide  -1E+100   0   -> -Infinity Division_by_zero

dddiv931 divide    0.0001 -0   -> -Infinity Division_by_zero

dddiv932 divide    0.01   -0   -> -Infinity Division_by_zero

dddiv933 divide    0.1    -0   -> -Infinity Division_by_zero

dddiv934 divide    1      -0   -> -Infinity Division_by_zero

dddiv935 divide    1      -0.0 -> -Infinity Division_by_zero

dddiv936 divide   10      -0.0 -> -Infinity Division_by_zero