faster binary gcd algorithm for 64 & 128 bit ints