pa, Talking with Christophe Rhodes who is porting some Common Lisp code[1] to parisc-linux and he has some old-ish code from HPUX (circa 1994) that does some interesting things :) The code does a 'subo' and it _does_ cause an overflow_trap (12) which is currently unhandled in our traps.c ... this trickles into a SIGBUS, which is questionable (as the comment notes). In HPUX the code sets si_code to FPE_INTOVF as well as sending a SIGFPE to the offending application. From there the handler does all the 'bignum' cleanup and Lisp land is all happy. So I've gone ahead and implemented this functionality into traps.c, but I'm not sure if this is the right way to go. What do people think? If any HPUX people would like to chime in? :) Patch attached. c. [1] Package is 'sbcl'