Re: Using the GNU GMP Library for Bignums in Emacs

[Helmut Eller]

On Mon, Jul 09 2018, Stefan Monnier wrote:

> In general, we'd want type-of to return the "most precise" type, so
> you could argue that `natnum` is the better option.  Note that `natnum`
> is not a valid type in CommonLisp, tho, so `fixnum` would probably be
> a better option (especially if you want to consider positive bignums as
> natnums, in which case natnum is not a subtype of fixnum).

The most precise type for 5 would be (eql 5) or (integer 5 5).  But I
guess for generic function dispatch it would more useful to have
something like a "representation type".  Or even "type codes" that are
ordered in some fashion.

Helmut