Half-precision floating-point format