--- a/webaudio/specification.html	Wed Nov 14 13:16:57 2012 -0800
+++ b/webaudio/specification.html	Wed Nov 14 13:24:01 2012 -0800
@@ -814,7 +814,7 @@
 
     readonly attribute AudioDestinationNode destination;
     readonly attribute float sampleRate;
-    readonly attribute float currentTime;
+    readonly attribute double currentTime;
     readonly attribute AudioListener listener;
     readonly attribute unsigned long activeSourceCount;
 
@@ -840,7 +840,7 @@
 
     AnalyserNode createAnalyser();
     GainNode createGain();
-    DelayNode createDelay(optional float maxDelayTime = 1.0);
+    DelayNode createDelay(optional double maxDelayTime = 1.0);
     BiquadFilterNode createBiquadFilter();
     WaveShaperNode createWaveShaper();
     PannerNode createPanner();
@@ -1465,19 +1465,19 @@
     readonly attribute float defaultValue;
 
     <span class="comment">// Parameter automation. </span>
-    void setValueAtTime(float value, float startTime);
-    void linearRampToValueAtTime(float value, float endTime);
-    void exponentialRampToValueAtTime(float value, float endTime);
+    void setValueAtTime(float value, double startTime);
+    void linearRampToValueAtTime(float value, double endTime);
+    void exponentialRampToValueAtTime(float value, double endTime);
 
     <span class="comment">// Exponentially approach the target value with a rate having the given time constant. </span>
-    void setTargetAtTime(float target, float startTime, float timeConstant);
+    void setTargetAtTime(float target, double startTime, double timeConstant);
 
     <span class="comment">// Sets an array of arbitrary parameter values starting at time for the given duration. </span>
     <span class="comment">// The number of values will be scaled to fit into the desired duration. </span>
-    void setValueCurveAtTime(Float32Array values, float startTime, float duration);
+    void setValueCurveAtTime(Float32Array values, double startTime, double duration);
 
     <span class="comment">// Cancels all scheduled parameter changes with times greater than or equal to startTime. </span>
-    void cancelScheduledValues(float startTime);
+    void cancelScheduledValues(double startTime);
 
 };
 </code></pre>
@@ -1909,7 +1909,7 @@
     readonly attribute long length;
 
     <span class="comment">// in seconds </span>
-    readonly attribute float duration;
+    readonly attribute double duration;
 
     readonly attribute long numberOfChannels;
 
@@ -2283,7 +2283,7 @@
 interface <dfn id="dfn-AudioProcessingEvent">AudioProcessingEvent</dfn> : Event {
 
     attribute ScriptProcessorNode node;
-    readonly attribute float playbackTime;
+    readonly attribute double playbackTime;
     readonly attribute AudioBuffer inputBuffer;
     readonly attribute AudioBuffer outputBuffer;