Behavior of numeric::to_int() and numeric::to_long()

[Roberto Bagnara]

These methods, and the corresponding functions taking
the argument as a const numeric& parameter, when something
goes wrong print a line of the form

Not a 32-bit integer: -9223372028264841216

on cerr and exit the program.  Wouldn't throwing a
suitable standard exception (like std::domain_error)
be a better option?
All the best

      Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it