From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB1Gjrok005805 for ; Thu, 1 Dec 2011 17:45:58 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUAAHGu1068pTjZmWdsb2JhbABEhQOmGAEBAQEBCAsLBxQlghwVQDYCBRYLAgsDAgECAVgIAQGIBZgBjgKRdYEwhluBf4EWBKZq X-IronPort-AV: E=Sophos;i="4.71,279,1320620400"; d="scan'208";a="121709808" Received: from 16.mo3.mail-out.ovh.net (HELO mo3.mail-out.ovh.net) ([188.165.56.217]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Dec 2011 17:45:58 +0100 Received: from mail402.ha.ovh.net (b6.ovh.net [213.186.33.56]) by mo3.mail-out.ovh.net (Postfix) with SMTP id 3174A1035019 for ; Thu, 1 Dec 2011 17:52:38 +0100 (CET) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 1 Dec 2011 18:45:57 +0200 Received: from llosa.irisa.fr (HELO ?131.254.12.252?) (piervit@pvittet.com@131.254.12.252) by ns0.ovh.net with SMTP; 1 Dec 2011 18:45:55 +0200 Message-ID: <4ED7AF40.2050101@pvittet.com> Date: Thu, 01 Dec 2011 17:45:52 +0100 From: Pierre Vittet User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.18) Gecko/20110705 Thunderbird/3.1.11 MIME-Version: 1.0 To: caml-list@inria.fr X-Ovh-Mailout: 178.32.228.3 (mo3.mail-out.ovh.net) Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Ovh-Tracer-Id: 12628937781356134432 X-Ovh-Remote: 131.254.12.252 (llosa.irisa.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: 0 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeefjedrtdehucetggdotefuucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenucenucfjughrpefkfffhfgggvffutgfgsehtjegrtddtfeejnecuhfhrohhmpefrihgvrhhrvgcugghithhtvghtuceophhivghrvhhithesphhvihhtthgvthdrtghomheqnecuffhomhgrihhnpehinhhrihgrrdhfrhen X-Spam-Check: DONE|U 0.5/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeefhedrtdelucetggdotefuucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenuc Subject: [Caml-list] float on 32 bits? Hello! I am using ocaml to analyse java bytecode (http://javalib.gforge.inria.fr/). The fact is that java has a float type which is coded on 32 bits and a double type which is coded on 64 bits. I need to make corresponding types but ocaml only has a float coded on 64 bits (IEE 754 norm, which java respect too), so I don"t know how to get the float 32 bits. Is there some Float32 module? I cannot just place my float 32 into a float 64 because I need to get same behaviour on basic operations. Thanks! Pierre Vittet