[PPL-devel] [Fwd: Re: C++ interface and mpz_addmul]