Rounding pass x ↦ (x + h).tdiv 2^Δ on N items of ≤ w bits · Prove2Me

P

Initializing...

Rounding pass x ↦ (x + h).tdiv 2^Δ on N items of ≤ w bits · Prove2Me