compiler/phpunit/code/float-literal-special.php

<?php

function get_special_floats(): array
{
    return [
        1.0,
        0.0,
        INF,
        -INF,
        NAN,
        M_E,
    ];
}