php – echo()接受数字吗？

我对编程比较陌生,在阅读语言文档时我仍然不确定自己.来自PHP.net的 PHP回声的描述是：

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

因此在我看来,输入参数必须是字符串类型.但是,echo与数字一起使用.例如,代码……

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

…成功将3打印到页面.那么$arg1和$…的参数类型不应该是伪类型混合(而不仅仅是字符串)来表明echo会接受字符串或数字吗？否则,我怎样才能从文档中推断数字参数是否可以接受？

echo将 cast its arguments to a string.