Well, an array append involves a GC call with a lock, doesn't it? `*2` is arbitrary and mostly based on common practice. I don't have any arguments here, what is your suggestion?