Implement exit if unbounded

- limit decimal percision when comparing entries against 0 to avoid
  weird rounding errors
- refactor degeneracy detection: only worry about degeneracy if pivot is
  feasible