@9rnsr : what @BioTronic said: BigInt never mutates its buffer: All operations re-allocate. This means that copy is cheap, and requires no re-allocation.

*If* we decide to change BigInt memory management, then this will change, but it is not the case today.