HTML5 frenzy: switch all numerical fields to "number".