type(string(i <= i32))
