[PPL-devel] [GIT] ppl/ppl(master): Removed FIXME and documented the default value.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at 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);
   }
 }