HiWhat's the difference between GMP and MPIR ?The manuals are nearly equal. Almost identical.Giovanni