Correctness fixes - #242

Open

tomciopp wants to merge 3 commits into

ericmj:mainfrom

tomciopp:correctness-fixes

Commits on Aug 24, 2026

Compare the doubled remainder when rounding to_float significands
tomciopp
committed
2813371
Carry the sqrt truncation into rounding as a sticky bit
tomciopp
committed
04a06f3
Compute the remainder of rem/2 and div_rem/2 exactly
tomciopp
committed
4bfdc5d