weird failure for gcd, need to investigagte