string(list) != toJSON(i64)
