Editing: to-int.js