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