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