Sylvain Pion fe6a94b7ac Call the magic CGAL::force_ieee_double_precision() to ... ensure that the conversion from internal timer to double is done in a consistent way. Otherwise we get double-rounding effects (show up on x86 at -O2 typically), which makes the timer non-monotone.		2007-03-28 07:58:18 +00:00
..
Timer	Call the magic CGAL::force_ieee_double_precision() to	2007-03-28 07:58:18 +00:00