Experiment: unboxed ints in ltac2 runtime#13

Janno wants to merge 1 commit into

skylabs-masterSkyLabsAI/rocq:skylabs-masterfrom

janno/unboxintSkyLabsAI/rocq:janno/unboxintCopy head branch name to clipboard