Added more support for reals in the constraint solver.