Add +- Infinity, explanation of special cases