From http://stat.ethz.ch/R-manual/R-devel/library/base/html/proc.time.html