implement HTML5 number input
revert accidental change