not (i < i64)
