uses new faster 128-bit gcd