On Sun, 28 Dec 2025, user202729 at protonmail.com wrote: > I can see two ways to fix it: As suggested in https://gmplib.org/manual/Reporting-Bugs , did you try a recent snapshot? -- Marc Glisse