BIGNUM_SET_NEGATIVE_SIGN 3179 bignum.c       	BIGNUM_SET_NEGATIVE_SIGN(big);
BIGNUM_SET_NEGATIVE_SIGN 4428 bignum.c       	BIGNUM_SET_NEGATIVE_SIGN(big);
BIGNUM_SET_NEGATIVE_SIGN 4483 bignum.c       	BIGNUM_SET_NEGATIVE_SIGN(big);
BIGNUM_SET_NEGATIVE_SIGN 5513 bignum.c               BIGNUM_SET_NEGATIVE_SIGN(z);
BIGNUM_SET_NEGATIVE_SIGN 5545 bignum.c               BIGNUM_SET_NEGATIVE_SIGN(z);