FlexFloat is a C library for the emulation of reduced-precision floating point
types.