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