cond_neg_double PASSED
