* Add Modulo operation for getting the quotient

* Improved modulo tests and implementation.

* Removed assertion.