What is the function to turn a string into an integer?