fix: gcd over integers of two terms ignoring coefficients

Jakob is in the middle of making tests for this and pointed this out.