sgl_to_dbl_fcnvfxt
int sgl_to_dbl_fcnvfxt(sgl_floating_point *, dbl_integer *, unsigned int *);
return(sgl_to_dbl_fcnvfxt(&fpregs[r1],