New header for saturating arithmetic.