dbl_floating_point
int dbl_to_sgl_fcnvfx(dbl_floating_point *, int *, unsigned int *);
int dbl_to_dbl_fcnvfx(dbl_floating_point *, dbl_integer *, unsigned int *);
int dbl_to_sgl_fcnvfxt(dbl_floating_point *, int *, unsigned int *);
int dbl_to_dbl_fcnvfxt(dbl_floating_point *, dbl_integer *, unsigned int *);
int sgl_to_dbl_fcnvxf(int *, dbl_floating_point *, unsigned int *);
int dbl_to_dbl_fcnvxf(dbl_integer *, dbl_floating_point *, unsigned int *);
int dbl_fadd(dbl_floating_point *, dbl_floating_point*, dbl_floating_point*, unsigned int *);
int dbl_fcmp(dbl_floating_point *, dbl_floating_point*, unsigned int, unsigned int *);
int dbl_fdiv(dbl_floating_point *, dbl_floating_point *, dbl_floating_point *, unsigned int *);
int dbl_fmpy(dbl_floating_point *, dbl_floating_point *, dbl_floating_point*, unsigned int *);
int dbl_frem(dbl_floating_point *, dbl_floating_point *, dbl_floating_point*, unsigned int *);
int dbl_fsqrt(dbl_floating_point *, dbl_floating_point *, unsigned int *);
int dbl_fsub(dbl_floating_point *, dbl_floating_point *, dbl_floating_point*, unsigned int *);
dbl_floating_point dbl_setoverflow(unsigned int);
int sgl_to_dbl_fcnvff(sgl_floating_point *, dbl_floating_point *, unsigned int *);
int dbl_to_sgl_fcnvff(dbl_floating_point *, sgl_floating_point *, unsigned int *);
int dbl_frnd(dbl_floating_point *, dbl_floating_point *, unsigned int *);
dbl_fadd(dbl_floating_point *leftptr, dbl_floating_point *rightptr,
dbl_floating_point *dstptr, unsigned int *status)
dbl_fcmp(dbl_floating_point *leftptr, dbl_floating_point *rightptr,
dbl_fdiv(dbl_floating_point *srcptr1, dbl_floating_point *srcptr2,
dbl_floating_point *dstptr, unsigned int *status)
dbl_fmpy(dbl_floating_point *srcptr1, dbl_floating_point *srcptr2,
dbl_floating_point *dstptr, unsigned int *status)
dbl_frem(dbl_floating_point *srcptr1, dbl_floating_point *srcptr2,
dbl_floating_point *dstptr, unsigned int *status)
dbl_fsqrt(dbl_floating_point *srcptr, dbl_floating_point *dstptr,
dbl_fsub(dbl_floating_point *leftptr, dbl_floating_point *rightptr,
dbl_floating_point *dstptr, unsigned int *status)
dbl_to_sgl_fcnvff(dbl_floating_point *srcptr, sgl_floating_point *dstptr,
sgl_to_dbl_fcnvff(sgl_floating_point *srcptr, dbl_floating_point *dstptr,
dbl_to_sgl_fcnvfx(dbl_floating_point *srcptr, int *dstptr,
dbl_to_dbl_fcnvfx(dbl_floating_point *srcptr, dbl_integer *dstptr,
dbl_to_sgl_fcnvfxt(dbl_floating_point *srcptr, int *dstptr,
dbl_to_dbl_fcnvfxt(dbl_floating_point *srcptr, dbl_integer *dstptr,
sgl_to_dbl_fcnvxf(int *srcptr, dbl_floating_point *dstptr,
dbl_to_dbl_fcnvxf(dbl_integer *srcptr, dbl_floating_point *dstptr,
dbl_frnd(dbl_floating_point *srcptr, dbl_floating_point *dstptr,
dbl_floating_point dbl_setoverflow(unsigned int sign)
dbl_floating_point result;