(PHP 4, PHP 5)
is_double — is_float() işlevinin takma adıdır
Bu işlev is_float() işlevinin takma adıdır.