[jbhoot]

As the other commenter mentioned, its a mistranslation. I read string_of_int as "string out of int" to make it better.