conversion to/from half-precision floating point formats
