string(i64 <= i)
