NumberInput: Vaadin 10 Java integration of GitHub - fooloomanzoo/number-input: input for numeric values