¿Cómo convertir los ticks en una fecha y hora legible con XSLT?

Tengo un XML con marcas de tiempo como esta:

<node stamp="1236888746689" />

Y me gustaría mostrarlos en el resultado HTML como fecha con hora. ¿Hay alguna manera de hacerlo con XSLT (cualquier versión)?

EDITAR Estoy usando XSLT2.0 con Saxon9. La fecha base es 1970-01-01 0: 00.