想将dolphindb中的类型timstamp(例子：2021.07.08T15:12:34.500)的时间转化成这样的int(例子：20210708151234500)，请问dolphindb中有没有现成的函数？
可以使用下面的语句，转换成DolphinDB中的LONG类型：
long(temporalFormat(2021.07.08T15:12:34.500, "yyyyMMddHHmmssSSS"))
