Take4 on last, a=chris

diff --git a/src/library/PartitionDocumentBundle.php b/src/library/PartitionDocumentBundle.php
index ab52f79dc..2271d3397 100644
--- a/src/library/PartitionDocumentBundle.php
+++ b/src/library/PartitionDocumentBundle.php
@@ -341,14 +341,15 @@ class PartitionDocumentBundle
     public function loadPartitionIndex($partition, $force_load = false)
     {
         $index_file_name = $this->getPartitionIndex($partition);
+        $time = microtime(true);
         if (!empty($this->index_cache[$partition]) && !$force_load) {
             $index = $this->index_cache[$partition][0];
-            $this->index_cache[$partition][1] = time();
+            $this->index_cache[$partition][1] = $time;
         } else {
             $this->index_cache ??= [];
             if (count($this->index_cache) > $this->index_cache_size) {
                 $oldest_partition = -1;
-                $oldest_time = 2 * time();
+                $oldest_time = 2 * $time;
                 foreach ($this->index_cache as $index_partition => $cache_info){
                     if (empty($cache_info[1])) {
                         unset($this->index_cache[$index_partition]);
@@ -365,7 +366,7 @@ class PartitionDocumentBundle
             }
             $this->index_cache[$partition] = [
                 $this->table_tools->load($index_file_name),
-                time()];
+                $time];
             $index = $this->index_cache[$partition][0];
         }
         if (empty($index)) {