use operator.truediv (needed for py3, thanks TravisCI!)