implement HTML5 number input