sgl_to_dbl_fcnvff
int sgl_to_dbl_fcnvff(sgl_floating_point *, dbl_floating_point *, unsigned int *);
return(sgl_to_dbl_fcnvff(&fpregs[r1],