Marcello Maggioni <hayarms at gmail.com> writes: Is the problem already known? There is a fix for this? The problem with bug reports which contains little useful information is well-known. But there is a fix, read the manual's chapter about bug reporting: http://gmplib.org/manual/Reporting-Bugs.html -- Torbjörn