Add tests for IntegerModN