ychr-0.1.0.0: test/golden/arith_bignum/neg_overflow.goal

arith_bignum:t(neg_overflow, R)