A polyfill for implementing the HTML5 <input type="number"> element in browsers that do not currently support it.