implement HTML5 number input
revert accidental change
Merge pull request #5800 from gbhrdt/patch-1

implement HTML5 number input