GitHub repository: timholy/SaferIntegers.jl
Description: These integer types use checked arithmetic, otherwise they are as system types.