Re: [Hugs-users] natural numbers