made print_pterm return void and increased buff size in the arithmetic
exception functions.
Authored by: kifer 1999-06-26
Parent: [r942]
Child: [r944]
