[grid-pro] Number column type is missing

[Peppe]

Enable having an number column type out-of-the-box. It should behave like text column type, but use vaadin-number-field instead. It should most likely validate that your input is a valid number. Before that, you should be able to do something similar with custom editor type.