0c5120a17c
The sign rule FloatSum wrote is in ExactSum on gh/main now (PR 348), so step 6 sums through ExactSum and FloatSum and its test are dropped. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze