Arithmetic representation needs rescaling

The implementation uses rescaling to represent non-arithmetic operations in finite-field proofs. The authors test precision choices to limit accuracy changes (S-3080).