let minus_one_big_int = minus_big_int unit_big_int