Truediv for python3, fixes #421