A short floating-point type in C++

By W. Smith. 1994