You can buy this project and download/modify it how often you want.
export * from './src/vaadin-number-field.js';