Bug #720

- Fixed bug #720, so that when the 'info' report renders total active time,
  it uses a lossless format (thanks to Bernhard B).

src/Duration.h

@@ -55,6 +55,7 @@ public:
 
   std::string format () const;
   std::string formatCompact () const;
+  std::string formatPrecise () const;
 
   bool negative () const;
   static bool valid (const std::string&);