Fix float encoding decoding