Large integers get modified in "ga-args"

[mbertschler]

If this gets clicked on:

<div class="ga" ga-on="click" ga-action="edit" ga-args="8439759739205665724">

The following action is sent to the server:

guiapi action: edit args: 8439759739205666000 state: null

The last digits of the number were replaced by 000. This is likely due to this number being a large 64 bit integer that can't be represented exactly by a JS number.