ToySolver.Data.Polynomial.Factorization.Integer