[SMT-LIB] Mixing Integers and Reals in SMT2 formulas

[Iguernelala Mohamed]

Hi there,

I wanted to draw your attention to this question: 
http://stackoverflow.com/questions/24790381/why-does-0-0-5/
in case someone has a better answer/opinion.

Regards,

-- 
Mohamed Iguernelala.
Senior R&D Engineer, OCamlPro
Research Associate, VALS team, LRI.
http://www.iguer.info