Refuso. Volevo scrivere:

Codice PHP:
 (int)$numero 
Ma... non cambia poi tanto...