StringToInt etc.