PHP Array Map Cast to Int

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