Using the // operator to ensure an integer result even in Python 3.x