Integer Operation Modeling