√2 to a thousand digits (+117 digits) | ScratchStats