Use Python 3 // for integer division.