Add Bits(double) extension for fractional bit values (#1953)
The story of the bug "Add Bits(double) extension for fractional bit values (#1953)" and how each model did on it.
Models fixed it in 6 of 6 recorded runs. The bug is in commit 3e06e14 of the repository's git history and the real fix is commit 66e5c56. A model gets the code at the first commit and the repository's own tests decide if it fixed the bug.