time for a real number from Shamos! $2.38268343236508977172... \approx \frac{\sqrt{2-\sqrt{2}}}{4}=\sin\frac{\pi}{8}=\cos\frac{3\pi}{8}$