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.
restore usage of eps to trim leading coefficients