A Context for Integer Computation