Why do these take in strings that are immediately cast to integers?