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