Adding modulus and associated runtime checks.