[Kerollmops]

Indeed, there could probably be cases where you see higher deserialization cost than raw lists of integers. But when it comes to high number of integers I can confirm that it is much more efficient.

[marginalia_nu]

Hmm, I should do some benchmarks I guess... Thanks for the datapoints :)