(PHP 4, PHP 5, PHP 7, PHP 8)
is_double — Alias von is_float()
Diese Funktion ist ein Alias für: is_float().