int ?

[Claudio Vituzzi]

date un occhiata a questo codice:

<? 
define(ROOT,"./"); 
$cont = (int) implode("",file(ROOT.'contatore.txt')); 

if (((int) time() - (int) $_COOKIE['contatore'])>=86400){ 
$h=fopen(ROOT.'contatore.txt','w+'); 
fwrite($h,++$cont); 
fclose($h); 
} 

setcookie("contatore",time()); 
?>

la funzione (int) costringe l'intero del valore o cosa? nel manuale php non c'è traccia...