let nb_digits_of_big_int = let r = let rec nb_digits y = if 1 = num_digits_big_int (power_int_positive_int 2 y) then nb_digits (y + 1) else y in nb_digits 1 in r