Modeling division with negative numbers