Using // for integer division.

Fixes Python 3, and will also work on Python 2.

By the way, when are you going to send the pull request to the main project? :)