From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5SFM9w6031540 for ; Tue, 28 Jun 2011 17:22:09 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkCAI3wCU7RVaC2kGdsb2JhbAA8AQMSmE6OaggUAQEBAQkJDQcUBCGqQ4JLjBqCSoR7OYhoAgMGhioEhy6KYowQPINa X-IronPort-AV: E=Sophos;i="4.65,437,1304287200"; d="scan'208";a="86235109" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Jun 2011 17:22:03 +0200 Received: by gyf3 with SMTP id 3so193088gyf.27 for ; Tue, 28 Jun 2011 08:22:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; bh=gB5lx3YFhRYR7nC3/IezYVD5uON0o7+mySTgsJoTqKY=; b=aK4AEh0i1FULh/4dwV4tD/8TsZpbwtfREI9ulh5PqmcJeZ/t7ti8OROx9MLNvCgzAF tLpNPcfXx6PJyd3SnVvWHKhDCXCTJi7VMOPjW16HEkCEJ4b5EadNg3CQ/LY+2Iga+zsy zPlWlwDsH6BLWbdj447sljhqeA29NRzrw2Fsw= MIME-Version: 1.0 Received: by 10.236.108.134 with SMTP id q6mr12174853yhg.343.1309274521298; Tue, 28 Jun 2011 08:22:01 -0700 (PDT) Received: by 10.236.157.73 with HTTP; Tue, 28 Jun 2011 08:22:01 -0700 (PDT) Date: Tue, 28 Jun 2011 19:22:01 +0400 Message-ID: From: SerP To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=90e6ba53a602c168a104a6c73a93 Subject: [Caml-list] ocaml arm eabi --90e6ba53a602c168a104a6c73a93 Content-Type: text/plain; charset=ISO-8859-1 Has anyone experience for running ocaml native programms on android? My problem in floating point calculations. let x = 255. in int_of_float x Result is always 0. Any suggestions very welcome. --90e6ba53a602c168a104a6c73a93 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Has anyone experience for running ocaml native programms on android?
My= problem in floating point calculations.

let x =3D= 255. in
int_of_float x=A0

Result is alw= ays 0.
Any suggestions very welcome.
--90e6ba53a602c168a104a6c73a93--