First working arithmetic example with an interpretation step.