Version française
Home     About     Download     Resources     Contact us    
Browse thread
Bignums by default?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Harrison <jharriso@r...>
Subject: Bignums by default?


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
=========================================================================