originalPositionFor() API fix for indexed maps: faster due to not executing a useless=buggy comparison near the end in binary search
#392
+30
−3