public Double doubleAttribute(String name) {
        String value = stringAttribute(name);
        if (value == null) return null;
        return Double.parseDouble(value);
    }
Returns the value of this attribute or null if not present
config-model/src/main/java/com/yahoo/vespa/model/builder/xml/dom/ModelElement.java