This could/should be `type=number` input fields, but that's not that important ...