to_real, to_int, is_int support for SMT-LIB