Dear Sir/Madame, I am here to report a bug in GMP, in particular, make check fails 31 tests out of 50. Please find attached the test-suite.log and the report, hopefully as detailed as needed. Best, Eleonora Vercesi