ToySolver.Data.Polynomial.Factorization.Rational