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

Thanks,
Marijn Haverbeke