OrderedFractions solved