Arithmetic model of computation