Estoy trabajando en un sistema relacionado con grabaciones de tv.

Estoy analizando el siguiente xml de otro sistema (para el cual no tengo documentación):

<Program FileName="2009.11.07-Saturday 07 November 2009.dvr-ms" SubChannel="ABC1" StartTime="633931722046825183" StopTime="633932388000119414" ActualStopTime="633932388016825183" ShareShow="True" />
<Program FileName="2009.11.08-Sunday 08 November 2009.dvr-ms" SubChannel="ABC1" StartTime="633932586046773253" StopTime="633933252000157907" ActualStopTime="633933252006773253" ShareShow="True" />
<Program FileName="2009.11.09-Monday 09 November 2009.dvr-ms" SubChannel="ABC1" StartTime="633933450046168953" StopTime="633934116000207688" ActualStopTime="633934116026168953" ShareShow="True" />
<Program FileName="2009.11.10-Tuesday 10 November 2009.dvr-ms" SubChannel="ABC1" StartTime="633934314046899495" StopTime="633934980000869533" ActualStopTime="633934980096899495" ShareShow="True" />
<Program FileName="2009.11.11-Wednesday 11 November 2009.dvr-ms" SubChannel="ABC1" StartTime="633935178054202612" StopTime="633935844000077447" ActualStopTime="633935844064202612" ShareShow="True" />
<Program FileName="2009.11.12-Thursday 12 November 2009.dvr-ms" SubChannel="ABC1" StartTime="633936042047633656" StopTime="633936708000009191" ActualStopTime="633936708047633656" ShareShow="True" />

Mi pregunta es, ¿alguien reconoce el formato de marca de tiempo de los atributos StartTime y StopTime? Pensé que normalmente las marcas de tiempo hasta el segundo tenían 10 dígitos, así que ¿de dónde vienen los otros 8? Mi conjetura es algo así como la precisión de la zona horaria y milisegundos.

Estoy usando php, por lo que una manera específica de convertirlo a una fecha y hora sería bueno, pero cualquier cosa es buena.