Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Smith constructed a PID which is a nonstandard model of open induction. That should be exotic enough. (Note that nonstandard models of just slightly stronger theories of arithmetic, such as $IE_1$, are never even UFDs.)
