2^-exp(pi)