Arithmetic verification