public void setDouble(String name, double value) {
		DoubleValue doubleValue = getValue(name, DoubleValue.class, "Double");
		doubleValue.setValue(value);
	}
Sets the double value for the given name.
@param name the name of the double value that was previously defined
@param value the double to set as the 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