NAME
        IEEEDPDiv -- divide one double precision IEEE by another

   SYNOPSIS
          x   = IEEEDPDiv(  y  ,  z  );
        d0/d1             d0/d1 d2/d3

        double  x,y,z;

   FUNCTION
        Compute x = y / z in IEEE double precision.

   INPUTS
        y -- IEEE double precision floating point value
        z -- IEEE double precision floating point value

   RESULT
        x -- IEEE double precision floating point value

   BUGS

   SEE ALSO
        ieeedpmul()