See __rrshift__.