is there a "double" type in PHP
<p>if not, then how to declare a double type of number?</p>

<pre><code>function testFloat(float $f)
{
    return $f;
}

echo testFloat(1.2);
</code></pre>

<blockquote>
  <p>Catchable fatal error: Argument 1 passed to testFloat() must be an instance of float, double given</p>
</blockquote>
