Effort properties of types Int1To10 etc better reflect the intended
range.
Improve the effort properties of polynomial type.
Implementation of imprecision for IntPoly.