Fix soundness bug for quantifier macros involving Int/Real.