int random should use RNG
Fix issue for empty construction of bitvectors