private String stripTrailingZeros(String decStr, int minDigits) {
		String str = decStr;
		while (true) {
			String nextStr = removeFractionalDigit(str, 1, true);
			if (nextStr == null) {
				break;
			}
			str = nextStr;
		}
		return str;
	}
Perform appropriate rounding and conversion to BigDecimal prior to generating
a formatted decimal string of the specified BigFloat value.  
See {@link #toString(FloatFormat, boolean)},
{@link FloatFormat#toDecimalString(BigFloat)} and 
{@link FloatFormat#toDecimalString(BigFloat, boolean)}.
@param ff float format
@param compact if true the precision will be reduced to a form which is still equivalent at
the binary encoding level for the specified FloatFormat.
@return decimal string representation
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/pcode/floatformat/BigFloat.java