Improve printing of numbers with `config`

All numbers are currently printed as Double, which is a bit ugly:

```
server.port
  [ (*) Default ]
    3000.0
server.timeout
  [ (*) Default ]
    1.0e7
```