Independently recompute #4510's suffix error bounds: 1,328 δ / 4,879 δ, rewrite-invariant (no new κ) - #4514

Independently recompute #4510's suffix error bounds: 1,328 δ / 4,879 δ, rewrite-invariant (no new κ)#4514

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:suffix-error-recountpinterbanget/integer-mult-bounds:suffix-error-recountCopy head branch name to clipboard