Symbol: mpz_cmp_si