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