(PHP 4, PHP 5, PHP 7, PHP 8)
is_double — Alias of is_float()
This function is an alias of: is_float().