comparison base/RealTime.h @ 378:a38cd7823cb2

* PortAudio driver: do not specify frames per buffer, let PA decide
* Remove old non-RubberBand time stretcher -- it doesn't work with varying
  buffer sizes such as the PA driver may now be using
* Rewrite getCurrentPlayingFrame for greater correctness when using long
  buffer sizes (interpolating according to audio stream timestamp)
* Several changes to make the timestretch management RT safe(r)

     }
 
     RealTime operator*(int m) const;
     RealTime operator/(int d) const;
 
+    RealTime operator*(double m) const;
+    RealTime operator/(double d) const;
+
     /**
      * Return the ratio of two times.
      */
     double operator/(const RealTime &r) const;