not (i64 <= i)
