如何从JSON字符串返回数字？

Question

我想从此JSON字符串中提取 13位数字：

{“时间轴”：{“事件”：[]}，“ ongoingSLAData”：空，“ completeSLAData”：[]，“ metricId”：1024，“ definitionChangeDate”： 1498910425180 。 ........

是否可以使用SQL提取此数字，将其转换为INT并在某些计算中用作变量？

我已经尝试过REGEX，Exasol（数据库）中的函数，但是无法将其包裹住。

非常感谢您的帮助。