如何将整数更改为字符串?

下面举例说明:

int $counter = 1;
string $bob = "bob";
string $number = $counter;