Bit vector and positive integer conversion.