OK, the outdated diff had the answer. This is *way* to subtle (IMO) not to include a little comment like "#  the "+" evaluates this lazy constant if it isn't already evaluated". But since this is in mpmath I will commit as is...though I think it would be smart to add there, @fredrik-johansson