float und double

[MarkusW]

macht php irgendeinen unterschied zwischen double und float?
bei folgendem code krieg ich immer eine ausgabe:

$x = 0.456;
if (is_float((double) $x)) {
    echo 'float';
}

$x = 0.456;
if (is_double((float) $x)) {
    echo 'double';
}

$x = doubleval(0.456);
if (is_float($x)) {
    echo 'float';
}

$x = floatval(0.456);
if (is_double($x)) {
    echo 'double';
} 

[Wurzel]

is_double
(PHP 3, PHP 4, PHP 5)

is_double -- Alias of is_float()
Description
This function is an alias of: is_float().

man könnte davon ausgehen, dass es umgekehrt genauso ist.

[Kropff]

beide funktionen sind identisch, analog zu count und sizeof

gruß
peter