numeric_rational_ints

proveit.numbers.numeric_rational_ints(expr)[source]

Return the integer numerator and denominator of a numeric rational. Never returns a negative denominator (multiplies top and bottom by -1 to avoid that).