[boost] [timer] an accumulating_timer would be nice

Hi, For some measurements, it would be nice with a timer with the following interface class accumulating_timer { public: accumulating_timer(); // don't start timing void start(); void stop(); double elapsed() const; }; The benefit here would be that we don't have to convert to seconds until that data is actually needed. Thoughts? -Thorsten