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