public Long getMin() {
            return min;
        }
The type is called 'double' in .def files, but it is a 64-bit IEE 754 double,
which means it must be represented as a double in Java.
config/src/main/java/com/yahoo/vespa/config/ConfigDefinition.java