Ketik Cast Menggunakan PHP Ganda

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