<?php echo ini_get('precision'); echo (int) ((0.7 + 0.1) * 10);
You have javascript disabled. You will not be able to edit any code.