Mixed integer/real universal expressions. Issue #46