arithmetic-1.6: Natural number arithmetic