let min = min_big_int