If you are serialising a list of integers, json_encode() will be more compact.
```
afischer@leonard:~$ php -r "echo json_encode(array(3,4,2,42));"
[3,4,2,42]
```