Arithmetic Frobenius