AuxiliaryCoordinate.
__truediv__
The binary arithmetic operation / (true division)
/
x.__truediv__(y) <==> x/y