From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Mon, 11 Apr 94 18:45:56 +0200 Received: by pauillac.inria.fr; Mon, 11 Apr 94 18:44:02 +0200 From: Pierre Weis Message-Id: <9404111644.AA00751@pauillac.inria.fr> Subject: bignums To: caml-list@pauillac.inria.fr Date: Mon, 11 Apr 1994 18:44:02 +0200 (MET DST) X-Mailer: ELM [version 2.4 PL21] Content-Type: text/plain Sender: weis@pauillac.inria.fr There is a library for big rational numbers available for Caml Light, in the directory contrib/libnum. See the README and INSTALL files in this directory for more informations. This arithmetic is documented in "The CAML Numbers Reference Manual" by Valerie Menissie-Morain, technical report 141, INRIA, july 1992, available by anonymous FTP from ftp.inria.fr, directory INRIA/publications/RT, file RT-0141.ps.Z, or in the directory lang/caml/V3.1 file doc_arith.tar.Z. Pierre Weis