toJSON(string(i32))
