we want `type="number"` here ^