est-il un “double” de type en PHP

si non, alors comment déclarer un double type de numéro?

function testFloat(float $f)
{
    return $f;
}

echo testFloat(1.2);

Catchable fatal error: Argument 1 passé à testFloat() doit être une instance de float, double donnée

OriginalL'auteur lovespring | 2010-07-07