On Sat, 09 Aug 2014 23:23:52 +0200, Henning Thielemann <schlepptop at henning-thielemann.de> wrote: > How would you name the arbitrary size natural number type, such that it > is consistent with the Integer/Int scheme? I would honestly go with Natural/Nat.