0.73135709762573