Add support for HTML5 number spinner as parameter input.