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