When we construct the upper and lower candidates in limit_denominator,the numerator and denominator are already relatively prime (and thedenominator positive) by construction, so there's no need to go throughthe usual normalisation in the constructor. This saves a couple ofpotentially expensive gcd calls.Suggested by Michael Scott Asato Cuthbert inGH-93477.