From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA03625 for caml-red; Wed, 19 Jul 2000 17:43:51 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA12795 for ; Mon, 17 Jul 2000 19:20:34 +0200 (MET DST) Received: from e3.ny.us.ibm.com (e3.ny.us.ibm.com [32.97.182.103]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e6HHKXj26816 for ; Mon, 17 Jul 2000 19:20:33 +0200 (MET DST) Received: from northrelay02.pok.ibm.com (northrelay02.pok.ibm.com [9.117.200.22]) by e3.ny.us.ibm.com (8.9.3/8.9.3) with ESMTP id NAA79910; Mon, 17 Jul 2000 13:20:31 -0400 From: ortmann@us.ibm.com Received: from D51MTA04.pok.ibm.com (d51mta04.pok.ibm.com [9.117.200.32]) by northrelay02.pok.ibm.com (8.8.8m3/NCO v4.92) with SMTP id NAA33856; Mon, 17 Jul 2000 13:20:28 -0400 Received: by D51MTA04.pok.ibm.com(Lotus SMTP MTA v4.6.5 (863.2 5-20-1999)) id 8525691F.005F3E96 ; Mon, 17 Jul 2000 13:20:19 -0400 X-Lotus-FromDomain: IBMUS To: Christian Lindig cc: Caml Mailing List , oleg@pobox.com Message-ID: <8525691F.005F3C40.00@D51MTA04.pok.ibm.com> Date: Mon, 17 Jul 2000 12:20:19 -0500 Subject: Re: IEEE floating point emulation library? Mime-Version: 1.0 Content-type: text/plain; charset=us-ascii Content-Disposition: inline Sender: weis@pauillac.inria.fr > For a compiler project I am looking for an IEEE floating point > emulation. I have already checked http://caml.inria.fr/hump.html and > the OCaml link database for such a libray. Does anybody has written > something like this for OCaml? > To answer the obvious question, why not use the built in float data > type: I need access to the representation at the bit level. Some code > that decodes a float value into a bit vector (int32/int64) and back > would be also helpful. > -- Christian I received some good IEEE related Scheme code from oleg@pobox.com; maybe he would know the answer? -- Daniel Ortmann, IBM Circuit Technology, Rochester, MN 55901-7829 ortmann@us.ibm.com / internal 8.553.6795 / external 507.253.6795 ortmann@isl.net home 507.288.7732 "The answers are so simple, and we all know where to look, but it's easier just to avoid the question." -- Kansas