CODE EXAMPLE FOR PHP

php array map cast to int

$integerIDs = array_map('intval', explode(',', $string));