is_double

(PHP 3, PHP 4, PHP 5)

is_double -- Alias of is_float()

Description

This function is an alias of: is_float().