speed up float_to_bits

Reduce overhead caused by inefficient call of read
for each float. Increases speed about 50x.

Have you a way to push this upstream?