NAME
    IEEEDPMul -- multiply one double precision IEEE number by another

SYNOPSIS
      x   = IEEEDPMul(  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
    IEEEDPDiv