[PPL-devel] Re: [Yap-users] First part of the problem: GMP