✏️ Editing: ensure-natural-number.js