ini section in config.json doesn't work?

[Lotti]

Hello! I'm using Zephir 0.18.0 on PHP 8.3 (macOS).

As stated here: https://docs.zephir-lang.com/latest/phpinfo/#adding-ini-directives, I expect that ini settings pop up in phpinfo() after declaring them on config.json and do a full generate/compile. Nothing changes, I can't find any trace in generated C files, nor I can set the values with ini_set nor in a dedicated .ini file.

What am I missing?

Thanks.

[Lotti]

digging into zephir source code, I couldn't find anything related to config.json ini section :\
I've tried "globals" section and it seems to work, but only boolean and string types are supported, while documentation and code sample mentions also int and double. Am I looking to wrong source/files?