cf
Data.
__div__
The binary arithmetic operation /
/
x.__div__(y) <==> x/y
cf.Data.__mul__
cf.Data.__truediv__