simplified_numeric_rational =========================== .. currentmodule:: proveit.numbers .. autofunction:: simplified_numeric_rational