module d2 - divisibility tests and remainders