Code Editor : input-number.js