These integer types use checked arithmetic, otherwise they are as system types. - View it on GitHub