✏️ Editing: tablesort.number.js