Working on numerical properties of solvers.