public void sub(BigFloat other) {
		int thissign = this.sign;
		BigFloat nother = other.copy();
		nother.sign *= -1;
		this.add(nother);
		if (this.isZero()) {
			this.sign = (thissign < 0 && nother.sign < 0) ? -1 : 1;
		}
	}
{@code this-=other}

@param other a BigFloat
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/pcode/floatformat/BigFloat.java