On Sat, Dec 6, 2014 at 12:25 PM, Marc Glisse <marc.glisse@xxxxxxxx> wrote: > On Sat, 6 Dec 2014, Cyd Haselton wrote: > >> Is this something to report to mpfr or gmp maintainers or here? > > > You should first try a recent version of GMP. The one from > download_prerequisites is older than Android... > > -- > Marc Glisse GMP 5.0.0 yields the same results. Is there a particular version I should try before reporting to GMP or MPFR maintainers?