The binary arithmetic operation / (true division)

x.__truediv__(y) <==> x/y