`XQuery` offers various `date/time` functions like `current-dateTime()`, however I can't seem to find one which gives me the time in **milliseconds** since Epoch. Functions to extract hours, minutes and seconds seem to exist too individually.

What is the right way to get the Epoch time (i.e. unix time or similar) in `XQuery`?