Updated the documentation for the floating point extensions.