A Complete Model for Operations on Integers | Synapse