<?php echo gettype(settype(gettype(1.456), 1.456));
You have javascript disabled. You will not be able to edit any code.