> phpを久しぶりに触ってるけど、こんな珍奇な型変換するんだっけか(;´Д`)
> 文字列を足してるのに勝手に数字になっちゃった

気を利かせてくれて必要な感じにしてくれるよ

参考：2011/03/20(日)02時33分45秒