let
min = min_big_int