Тип отлитого с использованием двойного PHP

// Type cast using double 
echo (double)$num; 
Irfan