am c74c218d: Merge "Fix mixed signed/unsigned arithmetic in BitVector."

* commit 'c74c218da71957250b4bda45fd1ac5ed8acd0131':
  Fix mixed signed/unsigned arithmetic in BitVector.