<?php $value = 10.0; echo var_export($value);
You have javascript disabled. You will not be able to edit any code.