div operator is gone on Python 3