Re: [Hugs-users] isDigit problem