BIGINTとjson_decode

今日 phpのドキュメント見てたら、json_decode の引数に option を渡せるんだってね。
で、指定できる値が
JSON_BIGINT_AS_STRING
なんてこったい。64bit化されたtwitterのID値もこれで文字列として取り込めたのか。
ちゃんとドキュメント読んでませんでした。

うわーー無駄な労力使っちゃったよーー！！