Independently audit PR #186 and refine its conditional exponent - #180

Independently audit PR #186 and refine its conditional exponent#180

M6LI wants to merge 14 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

M6LI:codex/frontier-precisionM6LI/integer-mult-bounds:codex/frontier-precisionCopy head branch name to clipboard