Rename 6.33 to 6.33 (binary search)