<?php f((double)5); function f(double $d){ var_dump($d); }
You have javascript disabled. You will not be able to edit any code.