<?php function num(int $num){ echo $num; } num(1.0);
You have javascript disabled. You will not be able to edit any code.