mpz_float() only takes one parameter now
1 file changed