id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
32	casting between ints and reals	Stephen Siegel	ywei	"The symbolic package needs to support some way to cast between ints and reals.   You could simply consider ints to be a subset of reals, so ints could be used anywhere a real is used, so 

1+3.4

would be legal.

Or you could add explicit cast operations.    Or something else.  But something has to be done.   

(I think CVC3 considers Integer to be a subset of Real, but you should check that.)
"	enhancement	closed	major		symbolic	1.0	fixed	cast real integer symbolic