not (i64 > i)
