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