P
Initializing...
Uniform rounding pass x ↦ (x + h).tdiv 2^Δ · Prove2Me