mpz_abs_sub 2028 lib/mini-gmp.c rn = mpz_abs_sub (r, a, b); mpz_abs_sub 2039 lib/mini-gmp.c rn = mpz_abs_sub (r, a, b);