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

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