Fix truediv bug. __invert__ is not implemented.