Support for modulus operator in contracts.