Tipo de reparto usando doble php

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