0.70710678118654752440084436210484903928\ 4835937688474036588339868995366239231053\ 519425193767163820786367506