In this library there are the types unsigned and signed, both compatible with and easily convertible from the bit_vector type. Use a simple cast bit_vector(uns) or unsigned(bv).
After you have an unsigned (or signed) you can even do integer mathematics!