diff --git a/tools/devtools/src/page_scripts/owl_devtools_global_hook.js b/tools/devtools/src/page_scripts/owl_devtools_global_hook.js
index da87b07f..ad9d3922 100644
--- a/tools/devtools/src/page_scripts/owl_devtools_global_hook.js
+++ b/tools/devtools/src/page_scripts/owl_devtools_global_hook.js
@@ -1931,7 +1931,7 @@
     } else if (!isSymbolA && isSymbolB) {
       return -1; // Place non-Symbols at the beginning
     } else {
-      return String(a).localeCompare(String(b)); // Sort other keys alphabetically
+      return String(a).localeCompare(String(b), undefined, { numeric: true }); // Sort other keys alphabetically
     }
   }