Тип отлитого с использованием php int

// Type cast using int 
echo (int)$num, "\n"; 
Irfan