Integer Operations With Models