core/numbers: two places where inequalities should continue to Expr

Should fix the infinite recursions.