Added arithmetic operator support in contracts.