<?php
	$variable_1=359425634535554334543873.0928498038925;
	echo ("La variable_1 vale: ".$variable_1." y su tipo es: ".gettype($variable_1)."<BR>");
	settype ($variable_1,"integer");
	echo ("Ahora la variable_1 vale: ".$variable_1." y su nuevo tipo es: ".gettype($variable_1)."<BR>");
?>
