See __rshift__.