TXFAPlatformTime

單元：HPDFXFAPlatform

TXFAPlatformTime = record
  EpochMilliseconds: UInt64;
  RandomSeed: Cardinal;
end;

EpochMilliseconds 是自 1970 年 1 月 1 日起的 UTC 毫秒數；RandomSeed 是由時鐘推導、用於確定性 script journaling 的種子，並不是密碼學等級的亂數來源

HPDFXFAWallClock 會提供目前的原生值；已提交 script 的重播則使用先前記錄的值