Mentions légales du service

Skip to content
deleted/r3893.2/mpfr-2-1-branch-tipdelete
default avatar
vincent@vinc17.net
af7ee136 · Fixed bug in exp(-eps) for rounding toward zero (test was also wrong). · 
Renamed branch mpfr-2-1-branch as 2.1.

[[Split portion of a mixed commit.]]

[From SVN r3893]