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