It does. But we specifically want a number input here.
Don’t lose too much sleep over HTML validators. They are often rather overzealous.
What we do worry about more is when browsers stop honouring the behaviour of the “invalid” HTML. That doesn’t apply here.