For example, the default value for `server.port` is `8080.0` and the default for `server.jetty.threads.min` is `8.0`.