is_double

(PHP 3, PHP 4 )

is_double -- Alias of is_float()

Description

This function is an alias of is_float().