let neg = minus_big_int