<?php

function duplicate (int $i) {
	echo $i * 2;
}

$i = (string) "123";

duplicate((string) $i);