Python semantics are that rhs of shift must be non-negative, so there's no need to handle negative values in the underlying mpz implementation.
