--TEST--
any
--FILE--
<?php
function main()
{
    $a = any(10);
    $b = any(4);
    echo var_dump($a/$b);
}
?>
--EXPECT--
float(2.5)