That's only the case if the domain of p and q is `QQ` or `ZZ`. What if there's an algebraic domain? Or a symbolic one?