The third element of the list returned by make_lisp_time is microseconds, so the timer docs are wrong.