faster binary gcd algorithm