ARIBAS. This is an interactive interpreter for big integer arithmetic and multi-precision floating point arithmetic with a Pascal/Modula like syntax. ARIBAS is used for the examples of number theoretic algorithms in the book Algorithmische Zahlentheorie, Otto Forster, Vieweg 1996