PHP Array Map Cast to Int
$integerIDs = array_map('intval', explode(',', $string));
Diezsiete
$integerIDs = array_map('intval', explode(',', $string));