Half-precision floating-point library
