What's the square root of pi?