int64 fix for toJson().