Integer types and their guaranteed minimum widths

Exact behavior of the built-in types and how literals are formed.