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