feat: add little-endian numeral notation conversions for positive, N, Z#278

JasonGross wants to merge 1 commit into

rocq-prover:masterrocq-prover/stdlib:masterfrom

JasonGross:littleendian-numeral-notationJasonGross/rocq-stdlib:littleendian-numeral-notationCopy head branch name to clipboard