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