let
base = power_int_positive_int 2 nb_digits_of_big_int