print int64 as string in json for handling in javascript.