Python Right Shift Operator