DomainAncillary.
__rdiv__
The binary arithmetic operation / with reflected operands
/
x.__rdiv__(y) <==> y/x