# `configuration.default_type`

Setting value is the wrong kind of value for its type.

Area 10, [Configuration and time](../topics/configuration-and-time.md); not declinable; the next step is usually the agent's.

```jadpo
config {
    page_size: Int {
        default: "many"
    }
}
```

```text
error: `"many"` can't be the default of `page_size`
 --> main.jadpo:3:18
  |
3 |         default: "many"
  |                  ^^^^^^ the wrong kind of value
  reason: `page_size` is `Int`, and this is a different kind of value; the default must be a literal of the setting's own type.
  next: Write a `Int` value after `default:` (agent)
  rule: configuration.default_type
  help: https://jadpo.dev/docs/errors/configuration.default_type

check failed: 1 error, 1 file
```