Fix bug in E-matching Real/Int terms.