not (i64 < i64)
