Make integer division work with Python 3.
Merge branch 'division'