Принимает ли echo () числа?

Я относительно новичок в программировании и все еще не уверен в себе, когда читаю языковую документацию. . Описание эха PHP с php.net:

void echo ( string $arg1 [, string $... ] )

Таким образом, мне кажется, что входные параметры должны быть строкового типа. Однако эхо работает с числами. Например, код ...

<p><?php echo 3; ?></p>

... успешно печатает 3 на странице. Тогда не должен ли тип параметра для $ arg1 и $ ... быть псевдотипом смешанным (а не просто строкой), чтобы показать, что эхо будет принимать строки или чисел? В противном случае, как я мог бы сделать из документации, что числовые параметры допустимы?