Torbjorn Granlund <tg at gmplib.org> writes: Please try revision 14839:a77538915df3 and let the list know if issue 2 is solved. I had failed to push one critical change, sorry about that. Please try 14840:dc13f686713f instead. -- Torbjörn