numeric_rational_ints
=====================

.. currentmodule:: proveit.numbers

.. autofunction:: numeric_rational_ints