GMP gives wrong (negative) results
Paul.Zimmermann at inria.fr
Sat Apr 1 18:52:36 UTC 2017
> More details can be found in this stack overflow question i created
Fredrik Johansson gave a detailed answer on this page,
explaining why your code is wrong.
No GMP bug, we can thus close the discussion here.
More information about the gmp-discuss