Implemented frem, fmod, fsglmul/div, and fixed fabs

- And also fixed an assert
- New frem impl is slower, but easier to get the quotient bits.