BinaryInteger/times(2) is common but not ideal for arbitrary integers since it always creates a new allocation. It is equivalent to one addition-by-self, so consuming addition semantics attempting an in-place transformation might be more reasonable. Systems integers can derive it. In the case of arbitrary integers, it depends on whether /up(Shift.one) or addition-by-self is better. Just a thought at this point.
BinaryInteger/times(2)is common but not ideal for arbitrary integers since it always creates a new allocation. It is equivalent to one addition-by-self, soconsumingaddition semantics attempting an in-place transformation might be more reasonable. Systems integers can derive it. In the case of arbitrary integers, it depends on whether/up(Shift.one)or addition-by-self is better. Just a thought at this point.