Am Montag, den 16.10.2006, 18:03 +0200 schrieb Maurizio Colucci:
>
>
> On 10/16/06, Maurizio Colucci <maurizio.colucci@gmail.com> wrote:
>         Hi,
>
>         I need to read a sequence of single precision floats (16 bits)
>         from a binary file. How can I do that?
>
> Sorry, I mean 32 bits. Single precision floats are 32 bits.

Well, have heard of even 8 bit floats...

32 bit floats can be read. First read the 4 bytes

and make an int32 of
them.

Then simply call Int32.float_of_bits.