[3.14] gh-122450: Indicate that Fraction denominators are always positive (GH-136789)

[3.14] gh-122450: Indicate that Fraction denominators are always positive (GH-136789) #190591