PY3K: div/truediv