public double getDouble(String name) {
		DoubleValue doubleValue = getValue(name, DoubleValue.class, "Double");
		Double value = doubleValue.getValue();
		return value == null ? 0.0 : value;
	}
Gets the double value for the given name.
@param name the name of a previously defined double value
@return the double value
@throws IllegalArgumentException if the name hasn't been defined as a double type
Ghidra/Framework/Docking/src/main/java/docking/widgets/values/GValuesMap.java