let
base =
Big_int
.power_int_positive_int 2 nb_digits_of_big_int