Arithmetic reasoning operations