Add hires-date, a high-resolution clock