The number `0` may or may not be a natural number. Traditionally, natural number starts from `1`, but apparently there is no agreement whether `0` is included or not.

(This was the reason behind the name `RE_NATURAL0`. It was there to mean natural numbers and `0`.)