An objective representation of the Gaussian integers

A rig is a ring without negatives. We analyse the free rig on a generator x subject to the equivalence x 1+x+x2, showing that in it the non-constant polynomials form a ring. This ring can be identified with the Gaussian integers, which thus acquire objective meaning.