On degrees of modular common divisors and the Big prime gcd algorithm