denominator package:base-prelude

Extract the denominator of the ratio in reduced form: the numerator and denominator have no common factor and the denominator is positive.