time(), timeEnd() should use high resolution timers
time(), timeEnd() should use high resolution timers