Arithmetic precision

Summary