Yes, in the long run there is probably benefit to reconsidering the memory model of BigInt, but given the current state of the design, this seems an improvement to me -- it provides an extra guarantee to the current CoW design.