Real4 plus

Maybe, we should even use (-foo).is_positive for the second helper (\_eval_is_negative)?
> If the sign is unknown we could exit right

I don't think so.  We can't exit early (except for implemented already case, see else clause), because we don't know the sign, unless we process all args.