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