This function divides x and y, forcing Python 2 semantics. That is, if x
and y are both integers then the result will be an integer. This is in
contrast to Python 3, where division with / is always a float while division
with // is always an integer.