Add specs for bit_length