i64 <= -i64
