Wow, I've never come across the `pattern` attribute, though wouldn't `type="number"` work here?