HTML5 input type='number' polyfill in pure JavaScript with no additional requirements.