ugly check to avoid uglier crash :-/
INTEGER is more natural than NATURAL :-)