Bit32.rshift