ctype_digit() is a PHP function: https://www.php.net/manual/de/function.ctype-digit.php
It requires the PHP ctype extension. Maybe it’s not enabled , although that is really pretty standard, I’d say.
Where are you hosting now? Maybe you can enable it through your providers control panel.