bitvectors are now treated after their cardinality