Double32_t and Float16_t

[pcanal]

@ferhue

If one looks at WriteDouble32, it says:

         //In this case we truncate the mantissa to nbits and we stream
         //the exponent as a UChar_t and the mantissa as a UShort_t.

So, if I understand correctly, a Double32_t is written as three bytes (24 bits) into file.

You are correct in that “subset” of case where the user explicitly requested to store in even less bits than usual then it is stored as 24 bits with the extra dropped bits being still saved by compression (since they are zeros). The default for Double32_t is different than this case and is indeed stored in 32 bits.

I do not find this clear, either. In WriteFloat16, it says also:

This is one of the non-default subcase …