Also put table of contents for current page here with links
Fully-conformant IEEE 754 floating-point API.