bit_to_num::=