--- a/wp/wp-includes/sodium_compat/src/Core32/Int64.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/sodium_compat/src/Core32/Int64.php	Tue Sep 27 16:37:53 2022 +0200
@@ -337,9 +337,9 @@
             $a_i = $a[$i];
             for ($j = 0; $j < $a_l; ++$j) {
                 $b_j = $b[$j];
-                $product = ($a_i * $b_j) + $r[$i + $j];
-                $carry = ($product >> $baseLog2 & 0xffff);
-                $r[$i + $j] = ($product - (int) ($carry * $base)) & 0xffff;
+                $product = (($a_i * $b_j) + $r[$i + $j]);
+                $carry = (((int) $product >> $baseLog2) & 0xffff);
+                $r[$i + $j] = ((int) $product - (int) ($carry * $base)) & 0xffff;
                 $r[$i + $j + 1] += $carry;
             }
         }