A recursive integer calculator designed to show how integer operations are context-free, Turing-decidable, Turing-Recognizable, and Co-Turing-Recognizable, among other things.