- Output for 8.0.1 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
- int(1234) float(1234) float(1234)
<?php
declare(strict_types=1);
function take_float(float $v) { return $v; };
function ret_float($v): float { return $v; };
$int = 1234;
var_dump($int);
var_dump(take_float($int));
var_dump(ret_float($int));