switch to 64 bit ints in bitvector