#135: The integer validator supports HTML 5 type="number" attribute