Sharper #4483 witnesses: p16 2^1587000000, native4453 2^713000000, p7 2^2253000000, same κ (compiler improvement, no new κ) - #4533

Sharper #4483 witnesses: p16 2^1587000000, native4453 2^713000000, p7 2^2253000000, same κ (compiler improvement, no new κ)#4533

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:p7-adaptive-witnesspinterbanget/integer-mult-bounds:p7-adaptive-witnessCopy head branch name to clipboard