P
Initializing...
Fixed-point rounding $\rho$ and scaling (Harvey–van der Hoeven §2.2) · Prove2Me