Merge "Fix mixed signed/unsigned arithmetic in BitVector."