compiler/phpunit/code/bigfloat-unsupported-shift.php

<?php
function main()
{
    $a = std::bigFloat("10.0");
    $b = 2;
    $c = $a << $b;
}