use mpz gcd since it is the fastest for 128bit. the tests appear to still work
small formatting tweak