1969-11-20 /decus_20tap2_198111/01/decus/20-0039/bignum.lsp 1969-11-20 /decuslib20-02/01/decus/20-0039/bignum.lsp 2069-11-21 /decuslib10-02/01/43,50216/bignum.lsp