make the bitvector type a real type