Module: ppl/ppl Branch: master Commit: 337302a6e28fd7e7200b1d80bf65021d66cfa449 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=337302a6e28fd...

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Mar 31 17:02:11 2009 +0200

Removed FIXME and documented the default value.

---

src/Init.cc | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/Init.cc b/src/Init.cc index dce7393..35fb4f4 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -86,7 +86,8 @@ PPL::Init::Init() { old_rounding_direction = fpu_get_rounding_direction(); fpu_set_rounding_direction(round_fpu_dir(ROUND_DIRECT)); #endif - // FIXME(0.10.1): choose a better default + // The default is choosen to have a precision greater than most + // precise IEC559 floating point (112 bits of mantissa). set_rational_sqrt_precision_parameter(128); } }