Fix atan2(y, x) evaluation for x < 0 and real y

previously, it was assumed that y is nonnegative if y.is_negative is not True