Make cbor_encode_half respect NaN data bits

[PJK]

Currently cbor_encode_half encodes all NaN as 0x007e00, losing the up to 10 data bits in the significant that could preserved.

I believe this is a bug in the original implementation since the standard only suggests that canonical formats might do that (section 3.9), but doesn't require it.