<?php if(isset($_GET['precision'])) { ini_set('precision', $_GET['precision']); } header('X-File: ' . php_ini_loaded_file()); header('X-Precision: ' . ini_get('precision')); ?>