P
Initializing...
Integer approximations of $\pi$ and $\log 2$ (Harvey–van der Hoeven §2.8) · Prove2Me