tolerance

the slack used both to detect a strict violation and to declare an eliminated row infeasible; defaults to HalfSpace.defaultTolerance