Boundary Battery

Implement all four checked operations. Adversarial extremes (INT_MAX, INT_MIN, empty vector, division by zero and INT_MIN/-1) must return nullopt — the naive versions are UB.

Difficulty: advanced