Support new-style "true" division.
Fixes to work with Python 3.