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