toJSON(min(i32))
