Can you just do `return self.__mul__(1.0 / other)` ?