Can `modulus` be an integer?