Properly distinguish between / and // for Python 3.