doi: 10.5281/zenodo.20518715
Benchmark code and supporting material for experiments comparing heap-header tagging, low-bit tagging, and NaN-boxing representations for generic dynamically checkable values.