Modeling division with integers