I have a unusual problem which I have no idea how to solve.
I have a JSON file, where a application id is stored, namely the following:
\"app_id\": \
It looks like json_decode has an option to treat big integers as strings.
json_decode($json, false, 512, JSON_BIGINT_AS_STRING)