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