fix float binary encoding