Real4 plus

Maybe, we should even use (-foo).is_positive for the second helper (\_eval_is_negative)?