Main.php
Download
<?php $x="100"; $y= (double)$x; echo gettype($y); ?>
double
