#284, #294: The HTML 5 <input type="number" /> input allows to input non-digits characters