not (i64 < i)
