public void addAttribute(String name, double value) {
		addAttribute(name, Double.toString(value));
	}
Add a new double attribute.
@param name  the name of the new attribute
@param value the double value
Ghidra/Framework/Generic/src/main/java/ghidra/util/xml/XmlAttributes.java