In this lecture we will introduce the numeric_std package that extends the ideas about resolved types from the previous lecture to types for integer arithmetic.