private static String convertFloatConstant(double value) {
		if (Double.isInfinite(value)) {
			if (value < 0.0f) {
				return "float(\"-inf\")";
			}
			return "float(\"inf\")";
		}
		if (Double.isNaN(value)) {
			return "float(\"nan\")";
		}
		return Double.toString(value);
	}
Converts the provided float constant to a Python constant

@param value the value
@return the Python float constant
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/PythonTypeStubType.java