Redirecting to Arithmetic precision