///|
/// https://developer.mozilla.org/en-US/docs/Web/API/DOMHighResTimeStamp
type DOMHighResTimeStamp = Double