Кому как, если используешь settype не только для int, то он предпочтительнее, да и все зависит от стиля =)
Мне например больше нравиться
settype($a,"integer");
чем
$a = intval($a);