What is the integral over the reals of eˆ(-xˆ2)?