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

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