From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thomas.braibant@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 0AF437ED9B
	for <caml-list@sympa.inria.fr>; Tue, 20 May 2014 17:18:57 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  thomas.braibant@gmail.com) identity=pra;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.braibant@gmail.com";
  x-sender="thomas.braibant@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  thomas.braibant@gmail.com designates 209.85.212.172 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.braibant@gmail.com";
  x-sender="thomas.braibant@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f172.google.com) identity=helo;
  client-ip=209.85.212.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.braibant@gmail.com";
  x-sender="postmaster@mail-wi0-f172.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgIBAPhxe1PRVdSslGdsb2JhbABZhC+Caao7mAYIFg4BAQEBBwsLCRIqgk8dARseAxIQDwImAiQBEQEFASKIPwEDEZ9QgxGMEYFFgw2ZDgoZJw1khUsRAQUMgR6QIIFLBIReApUIkS8YKYRpPA
X-IPAS-Result: AgIBAPhxe1PRVdSslGdsb2JhbABZhC+Caao7mAYIFg4BAQEBBwsLCRIqgk8dARseAxIQDwImAiQBEQEFASKIPwEDEZ9QgxGMEYFFgw2ZDgoZJw1khUsRAQUMgR6QIIFLBIReApUIkS8YKYRpPA
X-IronPort-AV: E=Sophos;i="4.98,874,1392159600"; 
   d="scan'208";a="74893126"
Received: from mail-wi0-f172.google.com ([209.85.212.172])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 May 2014 17:18:56 +0200
Received: by mail-wi0-f172.google.com with SMTP id hi2so6102214wib.5
        for <caml-list@inria.fr>; Tue, 20 May 2014 08:18:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type;
        bh=F6mBRl5+yxcdoCuL362yJyvyMD24UxRKzuZQsTVMTpw=;
        b=NqlhMh5b8k1gSwzIquodbYk9XKgZEmVr98xpXNPdLkTC/Kl3Cqf9Q70yhQiWe5Fciq
         JCL/hCcQSaxmSCBByihjqg4gEHXNqJBUTxrcc7Er9qtTgeis325PwrPRnW7K0r8zhNsE
         G2RUKgdg1GdFTyPty21QtXaCznbyH5aD8kWmQYqgRTrvCvZL6DW+Ygo7McXnzbDfe/rr
         0aToRIcWDM3Ho8xH+E/ezeS4vnhgq+ohHZwH9I3NBk+Ytv4+ACKnh+LdYrguEhobbwjJ
         vFHjeZuY67QaWvVWySEgng7Tdhz0y7Zj5+Bu3tzM/LPzuTtOBAegRRtQMm6MvCTZl5wf
         BcKQ==
X-Received: by 10.194.94.202 with SMTP id de10mr2899434wjb.84.1400599136624;
 Tue, 20 May 2014 08:18:56 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.194.138.15 with HTTP; Tue, 20 May 2014 08:18:36 -0700 (PDT)
From: Thomas Braibant <thomas.braibant@gmail.com>
Date: Tue, 20 May 2014 16:18:36 +0100
Message-ID: <CAHR=VkxSM+YiQbRFkVUSQqCa98pEUbF0GaU7RrzHX7if5-Ls1Q@mail.gmail.com>
To: OCaML Mailing List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] Arbitrary precision unsigned integers

Hi list,

I wonder if there is a publicly available library that implements
arbitrary precision (un)signed integers. I could not find anything
relevant with Google, nor on Opam.

By arbitrary, I mean that I want to implement e.g., 43 bits unsigned
arithmetic, and have the right overflow behaviors. I know of zarith
which seems to implement arbitrary precision in the sense that the
precision of the numbers grows as needed.

Best,
Thomas