Oxidizer tanks does not allow numeric input

Or rather it does only allow 3 digits, but it needs 4. This makes loading it precisely tedious and, if already loaded and you want to put in more, a real mess, because the whole tank gets unloaded if you drag the slider even a tiny bit in the wrong direction.