Implement float encoding and decoding