Krzysztof Gogolewski authored Jan 03, 2024 and Marge Bot committed Jan 05, 2024

'go' inside extractSubTerms was giving a bad result given a VoidRep,
attempting to round towards the next multiple of 0.
I don't understand much about the debugger but the code should be better
than it was.

Fixes #24306