I suggest `frac.limit_denominator()` as python already has chosen a limit for us that seems to work well.