Add infinity so that the solver stops.