check first if canonicalization is wanted before looking if denominator is 1 in Rational