arithmetic-1.4: Natural number arithmetic