Fix polynomials with rational coefficients.

1. Get rid of eps check in constructor. Many types don't have an eps method.
2. Find more precise types for results of division.