A WSpinBox corresponds to an HTML5 <input type="number"> element.
A JavaScript fall-back is used in browsers that do not yet support this element natively.