Use `Integer` instead of `Int` for polynomial number representation