perf: Nat rep for boxed UInt64 / USize#13810

tydeu wants to merge 4 commits into

leanprover:masterleanprover/lean4:masterfrom

tydeu:nat-uinttydeu/lean4:nat-uintCopy head branch name to clipboard