Correcting translation and replacing 'Decimal' with 'Rational'