Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The rounding formula is different between positive and negative scores due to the GrainSize/2 term that is asymmetric. So use truncation instead of rounding. This guarantees that evaluation is rounded to zero in the same way for both positive and negative scores. Found with position's flip bench: 4634244
- Loading branch information