arithmetic-1.5: Natural number arithmetic