@misc{indiciaeb9d2b9a05b38, title = {A fancy way to obtain the binary digits of \$759250125\textbackslash{}sqrt\{2\}\$}, author = {Thomas Stoll}, year = {2009}, url = {https://arxiv.org/abs/0902.4168}, note = {Source identifier: 0902.4168} }