BIGNUM_SET_POSITIVE_SIGN 5520 bignum.c               BIGNUM_SET_POSITIVE_SIGN(z);
BIGNUM_SET_POSITIVE_SIGN 6691 bignum.c       	BIGNUM_SET_POSITIVE_SIGN(x);