Add support for 'to_real' and 'to_int' SMT functions