PHP Decimal Extension - Stubs

PHP files with method headers for IDE integration and static analysis support.

To add the extension as a dependency, please see php-decimal/php-decimal.