Floats are encoded in IEEE 754 binary formats: half, single, double, quadruple, octuple precision ones.
Negative zero must not be used. Shortest possible form must be used.
Hint: look at CBOR’s RFC for example code of float16 conversion.
Maybe there appear additional restrictions and rules. Currently no implementation supports floats.