Ejemplo de manejo de tipos en PHP