Modeling Arithmetic Operations