使用php的socket_read如何读一个int出来？

对socket_read不太熟，它返回的是string
或者用别的方式实现readInt也可，求助

---

http://www.oschina.net/code/snippet_157781_9206