is Cool is Numeric + axioms.t + various rewrites