Check, ob 1. Zeichen eines Strings eine Zahl ist

[dedlfix]

echo $begrüßung;

Dabei solltest du sich deutlich unterscheidende Zeiten bekommen. Ich
bekomme für ctype_digit() etwas weniger als die Hälfte an Laufzeit wie
bei is_nummeric().

Na gut, überredet. Wenn nach 2 Ziffern schon Buchstaben kommen, wie in meinem Teststring, dann bricht die Prüfung schon dort ab, und der Laufzeitunterschied ist noch nicht der Rede wert, egal wie lang der String hintenraus noch wird. Je mehr Ziffern am Anfang stehen, desto größer wird der Unterschied.

echo "$verabschiedung $name";