[PPL-devel] C++ interface and mpz_addmul