See __rdiv__.