Safe Arithmetic (arith)

This module is safe arithmetic. “Safe” means “does not trigger Undefined, Unspecified, or Implementation-Defined Behavior.”