According to the specification section 9.1.12:
BOOL: PRINT(~STR: arg1, ..., ~STR: argN) = MUST convert each argument to STR, concatenate the rendered arguments, append a trailing newline, write the result to the console output, record the corresponding I/O event in the execution log, and return FALSE.
The implementation, however, allows any type as PRINT args, not only those that can coerce to STR.
According to the specification section 9.1.12:
The implementation, however, allows any type as
PRINTargs, not only those that can coerce toSTR.