Re: small patch for float_to_bits and tetra-rx