Change variable type

PHP TYPE CASTING

Change variable type.
<?php
echo (float) ( (0.1+0.7)); // echoes 0!
echo (int) ( (0.1+0.7)); // echoes 0.8!
echo (double) ( (0.1+0.7)); // echoes 0.8!
?>