cf
Data.
__rdiv__
The binary arithmetic operation / with reflected operands
/
x.__rdiv__(y) <==> y/x
cf.Data.__rmul__
cf.Data.__rtruediv__