Use staticEquals? in core/numbers to be sure no predicate loops are caused by static comparisons