<?php $foo = 4.05; echo var_export($foo, true);
You have javascript disabled. You will not be able to edit any code.