Explicit ReducedFraction constructor