TY - RPRT TI - A fancy way to obtain the binary digits of $759250125\sqrt{2}$ AU - Thomas Stoll PY - 2009 UR - https://arxiv.org/abs/0902.4168 ID - 0902.4168 ER -