dbl_fsub
int dbl_fsub(dbl_floating_point *, dbl_floating_point *, dbl_floating_point*, unsigned int *);
return(dbl_fsub(&fpregs[r1],&fpregs[r2],
return(dbl_fsub(&fpregs[r1],&fpregs[r2],
if (dbl_fsub(&fpregs[ta], &fpregs[ra], (unsigned *) &atmp,