Using // for integer division.

Fixes Python 3, and will also work on Python 2.