fix floating-point/FFI section: fenv is C99, not POSIX

diff --git a/docs/users_guide/ffi-chap.xml b/docs/users_guide/ffi-chap.xml
index c124ddb..47c0f01 100644 (file)
--- a/docs/users_guide/ffi-chap.xml
+++ b/docs/users_guide/ffi-chap.xml
@@ -651,7 +651,7 @@ int main(int argc, char *argv[])
       <title>Floating point and the FFI</title>
 
       <para>
       <title>Floating point and the FFI</title>
 
       <para>

-        On POSIX systems, the <literal>fenv.h</literal> header
+        The standard C99 <literal>fenv.h</literal> header

         provides operations for inspecting and modifying the state of
         the floating point unit.  In particular, the rounding mode
         used by floating point operations can be changed, and the
         provides operations for inspecting and modifying the state of
         the floating point unit.  In particular, the rounding mode
         used by floating point operations can be changed, and the