Use operator.truediv() unconditionally

It has been available since Python 2.2. It should be equivalent to operator.
div() as long as its arguments are not both integers.