libm: fmod, remquo, remainder are cr

diff --git a/libm/index.html b/libm/index.html
index 6eb718c..dce0a91 100644 (file)
--- a/libm/index.html
+++ b/libm/index.html
@@ -63,9 +63,9 @@ floating-point value)
 (in theory correct rounding can be achieved but with big implementation cost,
 see <a href="http://lipforge.ens-lyon.fr/www/crlibm/">crlibm</a>)
 <li>At least the following functions must be correctly rounded:
 (in theory correct rounding can be achieved but with big implementation cost,
 see <a href="http://lipforge.ens-lyon.fr/www/crlibm/">crlibm</a>)
 <li>At least the following functions must be correctly rounded:

-ceil, copysign, fabs, fdim, floor, fma, fmax, fmin, frexp, ldexp, logb,
-modf, nearbyint, nextafter, nexttoward, rint, round, scalbln, scalbn,
-sqrt, trunc.
+ceil, copysign, fabs, fdim, floor, fma, fmax, fmin, fmod, frexp, ldexp, logb,
+modf, nearbyint, nextafter, nexttoward, rint, remainder, remquo, round, scalbln,
+scalbn, sqrt, trunc.

 <li>Mathematical properties of functions should be as expected
 (monotonicity, range, symmetries).
 <li>If the FPU precision is altered then nothing is guaranteed to work.
 <li>Mathematical properties of functions should be as expected
 (monotonicity, range, symmetries).
 <li>If the FPU precision is altered then nothing is guaranteed to work.