Natural number arithmetic, onto integers