Как вернуть номер из строки JSON?
Я хотел бы получить 13-значный номер из этой строки JSON:
{"timeline": {"events": []}, "runningSLAData":null,"completeSLAData":[],"metricId":1024,"DefinitionChangeDate":1498910425180,.........
Можно ли с помощью SQL вытащить это число, преобразовать его в INT и использовать в качестве переменной в некоторых вычислениях?
Я пробовал REGEX, Функции в Exasol (База данных), но не могу обернуть голову вокруг него.
Буду признателен за любую оказанную помощь.