Fix int division on Python 2.x