<?php

$a = 1.0;
$b = 2;

$c = foo($a, $b);

$d = foo($b, $c);

function foo(int $a, int $b): int {
	if ($a > $b) {
		return $a + $b + 0.5;
	}
}