Implement `decodeFloat` and `encodeFloat`

such as they are, anyway