let max = max_big_int