Explores the basics of number theory with state machines, linear combinations, and algorithms for computation with integers.