Trent Mick: use size_t instead of int where appropriate (mpz_format()).
1 file changed