xdmp.wallclockToTimestamp( timestamp as Date ) as (Number|String)
Converts an xs:dateTime to a 64 bit timestamp value.
xdmp.wallclockToTimestamp(xs.dateTime("2000-01-11T12:01:00")); => 9476208600000000