branching in multiprecision gcd is now consistent with gcd in standard arithmetic