[PATCH v2 1/2] mshtml: Use double for get_time_stamp to have sub-millisecond precision.