> On Jan 16, 2017, at 17:16, Xiaodi Wu <xiaodi.wu at gmail.com> wrote: > > My understanding of the goal here is to model what integers can already do, not to give them new functions. Ah, ok. Never mind then. - Dave Sweeris