Optimize String.slice by using binary_part