Conditional κ = 0.0030272882489783: gap-parametric precision for the #5413 caller (numerical headroom only, +1.0e-11 over #5462) - #5468

Conditional κ = 0.0030272882489783: gap-parametric precision for the #5413 caller (numerical headroom only, +1.0e-11 over #5462)#5468

GamingPuzzled wants to merge 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

GamingPuzzled:r15-gap-parametricGamingPuzzled/integer-mult-bounds:r15-gap-parametricCopy head branch name to clipboard