toJSON(toJSON(i32))
