echo (int)$double;
will just delete decimals. if you just want to hide the decimal numbers "zero" (10.00 → 10), but leave non-zero decimal numbers (10.1 → 10.1), then you will need to do some processing:
echo preg_replace('/\.0+$/', '', $double);
which would process any number of zeros after the decimal place, but leave non-zero values.
source share