[DevTools] console.log("%d") should support BigInts

[email protected]
[email protected]

Bug: v8:7486
Change-Id: I332f979fb91d97c80f08f7dadd47d8929439c3fc
Reviewed-on: https://chromium-review.googlesource.com/1169777
Reviewed-by: Aleksey Kozyatinskiy <[email protected]>
Reviewed-by: Alexei Filippov <[email protected]>
Reviewed-by: Erik Luo <[email protected]>
Commit-Queue: Aleksey Kozyatinskiy <[email protected]>
Cr-Original-Commit-Position: refs/heads/master@{#582276}
Cr-Mirrored-From: https://chromium.googlesource.com/chromium/src
Cr-Mirrored-Commit: f89db65c9d3ef2dd1e1173fdf0e7a21e6e3486d7
diff --git a/front_end/console/ConsoleViewMessage.js b/front_end/console/ConsoleViewMessage.js
index de0d78f..783c7ca 100644
--- a/front_end/console/ConsoleViewMessage.js
+++ b/front_end/console/ConsoleViewMessage.js
@@ -796,6 +796,8 @@
     }
 
     function integerFormatter(obj) {
+      if (obj.type === 'bigint')
+        return obj.description;
       if (typeof obj.value !== 'number')
         return 'NaN';
       return Math.floor(obj.value);