GNUBC
Supports arbitrary precision integer arithmetic calculations with interactive execution: it is a superior version of the basic bc program which comes with the UNIX operating system. Keith Matthews has written several number-theoretic programs.