arithmetic-1.3: Natural number arithmetic