is_double

(PHP 3, PHP 4, PHP 5)

is_double -- Alias van is_float()

Beschrijving

Deze functie is een alias van is_float().