What’s the square root of “pi”