BitVector 64bit