not (i64 > i64)
