Sylvain Pion 53d1ee3d7d Use <cfloat> more consistently instead of <float.h>.

2008-01-18 20:19:17 +00:00

..

Memory_sizer.h

64-bit overflow fix:

2007-06-08 13:27:52 +00:00

Profile_counter.h

…

Real_timer.h

Use <cfloat> more consistently instead of <float.h>.

2008-01-18 20:19:17 +00:00

Timer.h

…