[Following up on the previous message...] you might also need to know that this binary float library is called ieee-floats.Thanks,Marijn Haverbeke