title: Is there any way to check correctness of the mpz_mul function?
body: <p>Is there any way to check correctness of the <code>mpz_mul()</code> function from <a href="http://gmplib.org/" rel="nofollow">GMP</a>.</p>