* Test for exactness now part of HasConsistency, not HasImprecision.
* Division for IntPoly now available but needs some optimisation and
testing of corner cases.