On 05/04/2012 05:31 PM, Ezio Bartocci wrote: > Can i use the mpz_class instead of mpf_class for an arbitrary integer > precision ? Yes. When using the default configuration, the type of the constraint/generator coefficients of the PPL is exactly mpz_class (we have a typedef named "Coefficient"). Enea.