GitLab

Also avoid scientific notation;
see https://codereview.chromium.org/1202773002 for a similar change
to the gdb script.

Change-Id: I07ddccd91ddefc1f57abbaabaaecb5e786a052e4
Reviewed-on: https://chromium-review.googlesource.com/894062Reviewed-by: Dirk Pranke <dpranke@chromium.org>
Commit-Queue: Morten Stenshorne <mstensho@chromium.org>
Cr-Commit-Position: refs/heads/master@{#533093}