presto-spi/src/main/java/io/prestosql/spi/session/PropertyMetadata.java/PropertyMetadata/doubleProperty
class PropertyMetadata:    public static PropertyMetadata<Double> doubleProperty(String name, String description, Double defaultValue, boolean hidden)
    {
        return new PropertyMetadata<>(
                name,
                description,
                DOUBLE,
                Double.class,
                defaultValue,
                hidden,
                value -> ((Number) value).doubleValue(),
                object -> object);
    }