Add helpers for integers boundary checks

See also: https://github.com/cplusplus/papers/issues/393