From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EADA07FC41 for ; Mon, 28 Sep 2015 08:18:24 +0200 (CEST) IronPort-PHdr: 9a23:H/EeAxUJcHB7JV+1iaLvzhKyrGLV8LGtZVwlr6E/grcLSJyIuqrYZheAt8tkgFKBZ4jH8fUM07OQ6PC8HzFcqs/R6jgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2PJVgUz2PtO/tbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN/dwcbsNBz0jNyUx5db3nRjFVwqGoHUGAUsMlR8dIAXE7xayeJ7yuzfz/r5+1SiZOsv1UZg7XD2j6+FgTxq+23RPDCIw7GyC0p84t6lcuh/0/xE= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=keikonkt@gmail.com; spf=Pass smtp.mailfrom=keikonkt@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f176.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of keikonkt@gmail.com) identity=pra; client-ip=209.85.213.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="keikonkt@gmail.com"; x-sender="keikonkt@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of keikonkt@gmail.com designates 209.85.213.176 as permitted sender) identity=mailfrom; client-ip=209.85.213.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="keikonkt@gmail.com"; x-sender="keikonkt@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ig0-f176.google.com) identity=helo; client-ip=209.85.213.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="keikonkt@gmail.com"; x-sender="postmaster@mail-ig0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0APAwCw2ghWlLDVVdFdhGEGsUWLfYkjBzkTAQEBAQEBAQEQAQEBAQcLCwkfMIIdgX4iER0BGx4DEggBAgU3AiQBEQEFAVeHdgEDEqZMggWBMD4xi0eBbIJ5iVsKGScNVoRcAQUOkQ2CUoFDBZVwjQ+ZcxIjgRciAYIKAQuCLTwziSEBAQE X-IPAS-Result: A0APAwCw2ghWlLDVVdFdhGEGsUWLfYkjBzkTAQEBAQEBAQEQAQEBAQcLCwkfMIIdgX4iER0BGx4DEggBAgU3AiQBEQEFAVeHdgEDEqZMggWBMD4xi0eBbIJ5iVsKGScNVoRcAQUOkQ2CUoFDBZVwjQ+ZcxIjgRciAYIKAQuCLTwziSEBAQE X-IronPort-AV: E=Sophos;i="5.17,601,1437429600"; d="scan'208";a="148760041" Received: from mail-ig0-f176.google.com ([209.85.213.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Sep 2015 08:18:24 +0200 Received: by igcpb10 with SMTP id pb10so48440353igc.1 for ; Sun, 27 Sep 2015 23:18:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=6ID/vAmb1Osq7bSrUJabcALJLsvn3IbiRQQ4l+9DPH4=; b=XarLESF0+q5mPjnk/vc6hYUpRwE0/sB93NzYjlZj+UUXZVHP13o8eOzvU1G2KgtcVJ D4/lxTzDj1qsRf+s3yO62oJmqHjGXJ9ZE9DXHWP1cgHtmm8Z7xGyTgTp4hUh87gCUcJF gqKH1xLjVyZ9VoriO6Uht1A9jDhVdQMUt3n9O2oyGEA/zdLFsPFYnTNwWDGXeyQqrCoq pfiquPS+KB+M00vQdGOQjadAWbGycwAajscfDnCQWy8kSavEhbdKs7rql5Qw4UiUJhzr UfYnkhf9XYxp7oeWNyrnxb1ehyUsq1E3kuwczjgEYruHXJTbJsay8wgQSh+jxOfOyU7I LJvw== MIME-Version: 1.0 X-Received: by 10.50.73.137 with SMTP id l9mr802992igv.85.1443421102631; Sun, 27 Sep 2015 23:18:22 -0700 (PDT) Received: by 10.107.11.67 with HTTP; Sun, 27 Sep 2015 23:18:22 -0700 (PDT) Date: Mon, 28 Sep 2015 08:18:22 +0200 Message-ID: From: Keiko Nakata To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e013a2268158e050520c8aad4 Subject: [Caml-list] unsigned 64-bit integers --089e013a2268158e050520c8aad4 Content-Type: text/plain; charset=UTF-8 Hi, What would be best ways to compute with unsigned 64-bit integers? I would like to perform 64-bit address space computations. Best regards, Keiko --089e013a2268158e050520c8aad4 Content-Type: text/html; charset=UTF-8
Hi,

What would be best ways to compute with unsigned 64-bit integers?
I would like to perform 64-bit address space computations.


Best regards,
Keiko
--089e013a2268158e050520c8aad4--