String toBinaryString(BigFloat value) {
		return toBinaryString(getEncoding(value));
	}
Get binary encoding for the specified rounded {@link BigFloat} value. This is intended for
diagnostic purposes only.

@param value floating point value
@return binary representation of {@code value}
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/pcode/floatformat/FloatFormat.java