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