string(1 >= i64)
