Add __truediv__ for python 3, as well as one-line doc-strings