let
neg = minus_big_int