Z is a ring with some links to nat