First draft of the description if the IEEE floating point standards.