Как конвертировать java LocalDateTime в метку времени DolphinDB?

Question

У меня есть java время

LocalDateTime.of(2018,11,12,8,1,1,123456789);

Как преобразовать в метку времени, которую можно вставить в таблицу на сервере DolphinDB?