Specify integer division, python3 has int/int=float