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