let
max = max_big_int