Added real numbers to the constraint solver.