Replace encode_float with encode_new_float