<?php var_export(1.0); echo "\n"; var_dump(1.0); echo "\n";
You have javascript disabled. You will not be able to edit any code.