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