Bitwise shifts are implemented