{
  "note": "JSON numbers have no width. Parsers that use a double lose every id above 2^53.",
  "safe_integer_limit": 9007199254740991,
  "records": [
    {
      "id_as_number": 9007199254740992,
      "id_as_string": "9007199254740992",
      "survives_double": true,
      "value_after_double_round_trip": 9007199254740992
    },
    {
      "id_as_number": 9007199254740993,
      "id_as_string": "9007199254740993",
      "survives_double": false,
      "value_after_double_round_trip": 9007199254740992
    },
    {
      "id_as_number": 9007199254740994,
      "id_as_string": "9007199254740994",
      "survives_double": false,
      "value_after_double_round_trip": 9007199254740994
    },
    {
      "id_as_number": 12345678901234567890,
      "id_as_string": "12345678901234567890",
      "survives_double": false,
      "value_after_double_round_trip": 12345678901234567168
    },
    {
      "id_as_number": 18446744073709551615,
      "id_as_string": "18446744073709551615",
      "survives_double": false,
      "value_after_double_round_trip": 18446744073709551616
    },
    {
      "id_as_number": 1234567890123456789,
      "id_as_string": "1234567890123456789",
      "survives_double": false,
      "value_after_double_round_trip": 1234567890123456768
    }
  ]
}