BUGFIX is_natural_number() no longer exists