added Timer.time() for accurate time span measurements.