We already opportunistically test (and coerce) numpy and sympy. Sage is currently modularizing its monolith. Is there a package that falls out of that small enough for us to include sage.rings.integer.Integer et al.? That way we could use those directly in testing, including accommodating numerator/denominator quirkiness.