[mike_hock]

Any ring automatically gains all integers as meaningful symbols because there is exactly one ring homomorphism from Z to the ring.