Add Num instance for BitVector