From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA13295 for caml-redistribution; Mon, 15 Apr 1996 09:39:30 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id UAA00415 for ; Fri, 12 Apr 1996 20:34:02 +0200 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id UAA26625 for ; Fri, 12 Apr 1996 20:33:10 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id UAA04734 for ; Fri, 12 Apr 1996 20:34:01 +0200 Received: from ra.abo.fi (ra.abo.fi [130.232.18.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id UAA26621 for ; Fri, 12 Apr 1996 20:33:08 +0200 (MET DST) Received: from tanichka.abo.fi (root@tanichka.abo.fi [130.232.209.102]) by ra.abo.fi (8.7.3/8.7.3) with ESMTP id VAA13156; Fri, 12 Apr 1996 21:33:52 +0300 (EET DST) Received: from tanichka.abo.fi (jharriso@localhost [127.0.0.1]) by tanichka.abo.fi (8.6.10/8.6.10) with ESMTP id VAA20694; Fri, 12 Apr 1996 21:33:51 +0300 Message-Id: <199604121833.VAA20694@tanichka.abo.fi> To: caml-list@margaux.inria.fr cc: John Harrison Subject: Bignums by default? Date: Fri, 12 Apr 1996 21:33:40 +0300 From: John Harrison Sender: weis I find the infinite-precision type "big_int" (a special case of "num") very useful. So much so that I'd really like this, rather than machine arithmetic, to be the default with the friendly syntax. For my applications (in theorem proving), the small loss in speed doesn't matter, whereas the arbitrary range is important. Is there a reasonably straightforward way of setting up CAML Light so that bignums are used by default? Cheers, John. ========================================================================= John Harrison | email: jharriso@abo.fi Abo Akademi University | web: http://www.abo.fi/~jharriso/ Department of Computer Science | phone: +358 (9)21 265-4049 Lemminkaisenkatu 14a | fax: +358 (9)21 265-4732 20520 Turku | home: +358 (9)21 2316132 FINLAND | time: UTC+2:00 =========================================================================