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