Simplified fractions with GCD. Should now return an Integer if denum is reduced to 1.