bignum_sub_int    635 src/bignum.c           bignum_sub_int(br, bx, by);
bignum_sub_int    647 src/bignum.c           bignum_sub_int(br, bx, by);