> On 5 Oct 2021, at 19:07, Emmanuel Thomé <emmanuel.thome at gmail.com> wrote: > > …Note that > it's not a change that is desired in general, since the overhead for > small integers can't be neglected. … How large is this overhead?