gh-101825: mention, that as_integer_ratio() output is normalized

Doc/library/fractions.rst

@@ -118,7 +118,8 @@ another rational number, or from a string.
  .. method:: as_integer_ratio()
 
  Return a tuple of two integers, whose ratio is equal
- to the Fraction and with a positive denominator.
+ to the original Fraction. The ratio is in lowest terms
+ and has a positive denominator.
 
  .. versionadded:: 3.8
 

Doc/library/stdtypes.rst

@@ -602,8 +602,8 @@ class`. In addition, it provides a few more methods:
 
 .. method:: int.as_integer_ratio()
 
- Return a pair of integers whose ratio is exactly equal to the original
- integer and with a positive denominator. The integer ratio of integers
+ Return a pair of integers whose ratio is equal to the original
+ integer and has a positive denominator. The integer ratio of integers
  (whole numbers) is always the integer as the numerator and ``1`` as the
  denominator.
 
@@ -624,7 +624,7 @@ class`. float also has the following additional methods.
 .. method:: float.as_integer_ratio()
 
  Return a pair of integers whose ratio is exactly equal to the
- original floatand with a positive denominator. Raises
+ original float. The ratio is in lowest terms and has a positive denominator. Raises
  :exc:`OverflowError` on infinities and a :exc:`ValueError` on
  NaNs.
 

Lib/fractions.py

@@ -320,10 +320,9 @@ def is_integer(self):
  return self._denominator == 1
 
  def as_integer_ratio(self):
- """Return the integer ratio as a tuple.
+ """Return a pair of integers, whose ratio is equal to the original Fraction.
 
- Return a tuple of two integers, whose ratio is equal to the
- Fraction and with a positive denominator.
+ The ratio is in lowest terms and has a positive denominator.
  """
  return (self._numerator, self._denominator)
 

Objects/floatobject.c

@@ -1546,12 +1546,10 @@ float_fromhex(PyTypeObject *type, PyObject *string)
 /*[clinic input]
 float.as_integer_ratio
 
-Return integer ratio.
+Return a pair of integers, whose ratio is exactly equal to the original float.
 
-Return a pair of integers, whose ratio is exactly equal to the original float
-and with a positive denominator.
-
-Raise OverflowError on infinities and a ValueError on NaNs.
+The ratio is in lowest terms and has a positive denominator. Raise
+OverflowError on infinities and a ValueError on NaNs.
 
 >>> (10.0).as_integer_ratio()
 (10, 1)
@@ -1563,7 +1561,7 @@ Raise OverflowError on infinities and a ValueError on NaNs.
 
 static PyObject *
 float_as_integer_ratio_impl(PyObject *self)
-/*[clinic end generated code: output=65f25f0d8d30a712 input=e21d08b4630c2e44]*/
+/*[clinic end generated code: output=65f25f0d8d30a712 input=d5ba7765655d75bd]*/
 {
  double self_double;
  double float_part;

Objects/longobject.c

@@ -6020,10 +6020,9 @@ int_bit_count_impl(PyObject *self)
 /*[clinic input]
 int.as_integer_ratio
 
-Return integer ratio.
+Return a pair of integers, whose ratio is equal to the original int.
 
-Return a pair of integers, whose ratio is exactly equal to the original int
-and with a positive denominator.
+The ratio is in lowest terms and has a positive denominator.
 
 >>> (10).as_integer_ratio()
 (10, 1)
@@ -6035,7 +6034,7 @@ and with a positive denominator.
 
 static PyObject *
 int_as_integer_ratio_impl(PyObject *self)
-/*[clinic end generated code: output=e60803ae1cc8621a input=55ce3058e15de393]*/
+/*[clinic end generated code: output=e60803ae1cc8621a input=384ff1766634bec2]*/
 {
  PyObject *ratio_tuple;
  PyObject *numerator = long_long(self);