Simplified code.
Implemented get_int for remaining bitvectors.