i64 - i >= i
