Add a regex to check for nonnegative natural numbers (see #4392)