SaferIntegers (julia): These integer types use checked arithmetic, otherwise they are as system types.
Keywords: overflow|underflow|checked-arithmetic|integer|signed|unsigned