We already have this for C++ code in DOMHighResTimeStamp.h, but let's also avoid using plain 'double' in IDL code.