add __truediv__ and __rtruediv__