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\": \
try casting it to a string
echo((string)$theNumber);