public BigInteger opTrunc(BigInteger a, int sizeout) { // convert floating point to integer
		BigFloat fa = decodeBigFloat(a);
		if (fa.isNaN()) {
			return BigInteger.ZERO; // consistent with Java Double->Long behavior
		}
		if (fa.isInfinite()) {
			if (fa.sign > 0) {
				// max positive int
				return BigInteger.ONE.shiftLeft((8 * size)).subtract(BigInteger.ONE).shiftRight(1);
			}

			// max negative int
			return BigInteger.ONE.shiftLeft((8 * size) - 1).negate();
		}
		return fa.toBigInteger();
	}
Construct SmallFloat Data. (similar to BigFloat)

@param fracbits number of fractional bits (positive non-zero value; includes additional
           implied bit if relavent).
@param expbits maximum number of bits in exponent
@param kind the Kind, FINITE, INFINITE, ...
@param sign +1 or -1
@param unscaled the value's mantissa
@param scale value's scale
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/pcode/floatformat/FloatFormat.java