compiler/phpunit/code/decimal-pre-dec.php

<?php
declare(strict_types=1);
use native_types;
function main()
{
    $a = std::decimal("100");
    --$a;
}