I was looking at this document: https://developers.google.com/protocol-buffers/docs/proto3#json and noticed that int64, fixed64, uint64 are mapped to string when converting to JSON. Any specific reason why this is done? This deviation breaks a lot of other JSON parsers and any code in JS that relies on the fact that *int64 are numbers rather than string.