The free unital ring over the unital semiring $(\mathbb{N}, 0, 1, {+}, {\times})$, or in layperson's terms “just add subtraction”.