[PATCH 7/8] mshtml: Use double for get_time_stamp to have sub-millisecond precision.