WIP: float encoding/decoding implemented and tested