Type Cast en utilisant le double php

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