Also define __rtruediv__ so python3 works correctly