Real4 plus

Maybe, we should even use (-foo).is_positive for the second helper (\_eval_is_negative)?
> But if you don't know the sign of the imaginary part you won't know the sign, either.

Yes, you are right, we can add a check that C.sign was evaluated.