Integer Operation Models