Real4 plus

Maybe, we should even use (-foo).is_positive for the second helper (\_eval_is_negative)?
that's a nice use of assumptions to make code clearer