gh-122450: Expand documentation for Rational and Fraction

Doc/library/fractions.rst

@@ -25,8 +25,8 @@ another rational number, or from a string.
 
    The first version requires that *numerator* and *denominator* are instances
    of :class:`numbers.Rational` and returns a new :class:`Fraction` instance
-   with value equal to ``numerator/denominator`` where the denominator is positive.
-   If *denominator* is ``0``, it raises a :exc:`ZeroDivisionError`.
+   with value ``numerator/denominator``. If *denominator* is ``0``, it
+   raises a :exc:`ZeroDivisionError`.
 
    The second version requires that *number* is an instance of
    :class:`numbers.Rational` or has the :meth:`!as_integer_ratio` method
@@ -119,15 +119,6 @@ another rational number, or from a string.
       The :class:`Fraction` constructor now accepts any objects with the
       :meth:`!as_integer_ratio` method.
 
-   .. attribute:: numerator
-
-      Numerator of the Fraction in lowest term.
-
-   .. attribute:: denominator
-
-      Denominator of the Fraction in lowest term.
-
-
    .. method:: as_integer_ratio()
 
       Return a tuple of two integers, whose ratio is equal

Doc/library/numbers.rst

@@ -69,11 +69,11 @@ The numeric tower
 
    .. attribute:: numerator
 
-      Abstract.
+      Abstract.  The numerator of this rational number.
 
    .. attribute:: denominator
 
-      Abstract.
+      Abstract.  The denominator of this rational number.
 
 
 .. class:: Integral

Lib/numbers.py

@@ -290,18 +290,24 @@ def conjugate(self):
 
 
 class Rational(Real):
-    """.numerator and .denominator should be in lowest terms."""
+    """To Real, adds numerator and denominator properties.
+
+    The numerator and denominator values should be in lowest terms with
+    denominator positive.
+    """
 
     __slots__ = ()
 
     @property
     @abstractmethod
     def numerator(self):
+        """The numerator of a rational number in lowest terms."""
         raise NotImplementedError
 
     @property
     @abstractmethod
     def denominator(self):
+        """The positive denominator of a rational number in lowest terms."""
         raise NotImplementedError
 
     # Concrete implementation of Real's conversion to float.