toJSON(i64)
