Provides number theory utility functions
Provides a trait for the canonical modulus operation since % is technically the remainder operation
