Documentation for the floating point extensions.