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