///|
/// https://developer.mozilla.org/en-US/docs/Web/API/DOMHighResTimeStamp
#cfg(target="js")
type DOMHighResTimeStamp = Double