not (i <= i64)
