is there a symbolic infinity

[Andreas Fabri]

Hello,

is there a means to express the biggest and the smallest
number of each GMP number type in a symbolic way?

I need this for the numeric_limits in a C++ wrapper
of GMP.  I have to provide a predicate which returns true
if a number has the notion of infinity, and a function
that then returns a symbolic infinite number, which
does the right thing when I compare it to another
number.


best regards,

andreas