Setting a TextField's <input> element's "type" attribute to "number"

The real solution would be an implementation of https://github.com/vaadin/vaadin-text-field/issues/204

Without that, you can do something like https://github.com/Artur-/vaadin-examples/blob/master/example-textfield-type/src/main/java/org/vaadin/artur/MainView.java#L39