Yices: convert incorrectly parsed integers to reals in model