(PHP 4, PHP 5, PHP 7, PHP 8)
is_double — Псевдоним is_float()
Функция является псевдонимом: is_float().