public String toDecimalString(BigFloat bigFloat) {
		return bigFloat.toString(this, false);
	}
Perform appropriate rounding and conversion to BigDecimal prior to generating a formatted
decimal string of the specified BigFloat value.

@param bigFloat value
@return decimal string representation
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/pcode/floatformat/FloatFormat.java