[Julia]
timestamp = 1680134005.6927342

[Hendrik]
timestamp = 1680149214.3503995