Ich habe jetzt eine für mich funktionierende Lösung gefunden.

Dabei wird das gmp PHP Modul für die zur Zeit bei df aktuelle PHP 7.3 LATEST...