✏️ Editing: to-uint32.js