How to add GMP?

[RobertEcker]

How to add GMP?
I use Debian with php83 but I was not possible to run it with GMP.

https://www.php.net/manual/en/ref.gmp.php

[charlie-cheetah]

in ./bin/php83/Dockerfile add libgmp-dev / in "# Install useful tools ..." lines, then add docker-php-ext-install gmp && \ in "# Other PHP8 Extensions" lines