doc: os.cpus() returns times in milliseconds