(PHP 4, PHP 5, PHP 7, PHP 8)
is_double — Alias de is_float()
Cette fonction est un alias de : is_float().
