If JSON_INT_TYPE is defined as __int64, the JSON output of 64-bit ints is clipped to 32 bits. This patch corrects this.
Fix for int64 int type JSON output
Fix for int64 int type JSON output